Bob is blue. Bob is rough. Bob is round. Bob is smart. Bob is white. Charlie is blue. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Gary is red. Gary is rough. Gary is white. White people are smart. If someone is white then they are smart. If someone is smart and not white then they are not green. All rough, white people are green. If someone is round then they are rough. Smart, blue people are rough. If Bob is not round then Bob is not rough. If Charlie is green then Charlie is rough.
Charlie is smart.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2 OR ((triple3) -> rule5) OR ((triple4 triple1) -> rule6) OR ((((triple5) -> rule1) triple1) -> rule6) OR ((((triple5) -> rule2) triple1) -> rule6))] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple5) -> rule1) OR ((triple5) -> rule2))] Bob is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is green.[(triple7 OR ((triple9 triple12) -> rule4) OR ((((triple10) -> rule5) triple12) -> rule4) OR ((((triple11 triple6) -> rule6) triple12) -> rule4) OR ((((((triple12) -> rule1) triple6) -> rule6) triple12) -> rule4) OR ((((((triple12) -> rule2) triple6) -> rule6) triple12) -> rule4))] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple10) -> rule5) OR ((triple7) -> rule8) OR ((triple11 triple6) -> rule6) OR ((((triple12) -> rule1) triple6) -> rule6) OR ((((triple12) -> rule2) triple6) -> rule6))] Charlie is round.[(triple10)] Charlie is smart.[(triple11 OR ((triple12) -> rule1) OR ((triple12) -> rule2))] Charlie is white.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] @1: Bob is green.[(((triple2 triple5) -> rule4) OR ((((triple3) -> rule5) triple5) -> rule4) OR ((((triple4 triple1) -> rule6) triple5) -> rule4) OR ((((((triple5) -> rule1) triple1) -> rule6) triple5) -> rule4) OR ((((((triple5) -> rule2) triple1) -> rule6) triple5) -> rule4))] Gary is green.[(((triple14 triple15) -> rule4))] Gary is smart.[(((triple15) -> rule1) OR ((triple15) -> rule2))]