Problem: K Theory is an electronic hip-hop act by Dylan Lewman, which formerly included Dustin Musser and Malcolm Anthony. The group was founded by Dylan Lewman and Dustin Musser in 2011. They have done official remixes for Flo Rida's "GDFR", Rich Homie Quan's "Flex", Fetty Wap's "Trap Queen", and many more songs. Their remixes and originals have over to 100 millions plays across all platforms.

Based on the paragraph above can we conclude that "Malcolm Anthony left K Theory because of internal disputes."? OPTIONS:
- Yes
- It's impossible to say
- No

A: It's impossible to say

Problem: Semonkong is a community council located in the Maseru District of Lesotho. Semonkong, meaning "Place of Smoke", was established in the 1880s as a refuge for Basotho displaced by the Gun War. It is located close to several major natural features, including the Maletsunyane Falls and the 3096-metre peak of Thaba Putsoa. The population in 2006 was 7,781.

Based on the paragraph above can we conclude that "Basotho is a group of people?"? OPTIONS:
- Yes
- It's impossible to say
- No

A: Yes

Problem: Howard Culver (June 4, 1918 - August 4, 1984) was an American radio and television actor, best known as hotel clerk Howie Uzzell during the entire run of TV's "Gunsmoke". On radio he starred in the title role of the Western adventure series "Straight Arrow", which aired on Mutual from May 6, 1948 to June 21, 1951.

Based on the paragraph above can we conclude that "Howard Culver was an American radio and television actor who was best known as hotel clerk vinnie barbarino during the entire run of TV's "Gunsmoke"."? OPTIONS:
- Yes
- It's impossible to say
- No

A:
No