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