Dave is blue. Fiona is white. Gary is blue. Gary is green. Gary is kind. Gary is red. Gary is rough. Gary is round. Gary is white. Harry is green. Harry is kind. Harry is white. All white things are kind. Rough things are kind. If something is red then it is white. If Gary is kind and Gary is rough then Gary is red. All green, round things are white. Red things are kind. All green, red things are kind. All blue things are red.
Harry is rough.
@0: Dave is blue.[(triple1)] Fiona is white.[(triple2)] Gary is blue.[(triple3)] Gary is green.[(triple4)] Gary is kind.[(triple5 OR ((triple6) -> rule6) OR ((triple7) -> rule2) OR ((triple9) -> rule1) OR ((triple4 triple6) -> rule7) OR ((((triple3) -> rule8)) -> rule6) OR ((((triple6) -> rule3)) -> rule1) OR ((((triple4 triple8) -> rule5)) -> rule1) OR ((triple4 ((triple3) -> rule8)) -> rule7) OR ((((((triple3) -> rule8)) -> rule3)) -> rule1))] Gary is red.[(triple6 OR ((triple3) -> rule8) OR ((triple5 triple7) -> rule4) OR ((((triple7) -> rule2) triple7) -> rule4) OR ((((triple9) -> rule1) triple7) -> rule4) OR ((((((triple4 triple8) -> rule5)) -> rule1) triple7) -> rule4))] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9 OR ((triple6) -> rule3) OR ((triple4 triple8) -> rule5) OR ((((triple3) -> rule8)) -> rule3) OR ((((triple5 triple7) -> rule4)) -> rule3) OR ((((((triple7) -> rule2) triple7) -> rule4)) -> rule3))] Harry is green.[(triple10)] Harry is kind.[(triple11 OR ((triple12) -> rule1))] Harry is white.[(triple12)] @1: Dave is red.[(((triple1) -> rule8))] Fiona is kind.[(((triple2) -> rule1))] @2: Dave is kind.[(((((triple1) -> rule8)) -> rule6) OR ((((((triple1) -> rule8)) -> rule3)) -> rule1))] Dave is white.[(((((triple1) -> rule8)) -> rule3))]