Anne is kind. Anne is quiet. Anne is round. Anne is smart. Anne is white. Bob is cold. Bob is kind. Gary is cold. Gary is green. Gary is round. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Cold, smart people are green. All cold people are smart. Kind, quiet people are white. Green people are quiet. All quiet people are smart. If someone is white then they are cold.
Harry is not cold.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2 OR ((((((triple5) -> rule6) triple4) -> rule1)) -> rule4) OR ((((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule4))] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple2) -> rule5) OR ((((triple5) -> rule6)) -> rule2) OR ((((((triple1 triple2) -> rule3)) -> rule6)) -> rule2))] Anne is white.[(triple5 OR ((triple1 triple2) -> rule3))] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9 OR ((triple8 ((triple8) -> rule2)) -> rule1))] Gary is round.[(triple10)] Harry is cold.[(triple11 OR ((((triple13 triple14) -> rule3)) -> rule6) OR ((((triple13 ((triple12) -> rule4)) -> rule3)) -> rule6))] Harry is green.[(triple12 OR ((triple11 triple16) -> rule1) OR ((triple11 ((triple11) -> rule2)) -> rule1) OR ((triple11 ((triple14) -> rule5)) -> rule1) OR ((((((triple13 triple14) -> rule3)) -> rule6) triple16) -> rule1) OR ((((((triple13 triple14) -> rule3)) -> rule6) ((triple11) -> rule2)) -> rule1) OR ((((((triple13 triple14) -> rule3)) -> rule6) ((triple14) -> rule5)) -> rule1) OR ((triple11 ((((((triple13 triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple13 triple14) -> rule3)) -> rule6) ((((((triple13 triple14) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Harry is kind.[(triple13)] Harry is quiet.[(triple14 OR ((triple12) -> rule4) OR ((((triple11 triple16) -> rule1)) -> rule4) OR ((((triple11 ((triple11) -> rule2)) -> rule1)) -> rule4))] Harry is round.[(triple15)] Harry is smart.[(triple16 OR ((triple11) -> rule2) OR ((triple14) -> rule5) OR ((((triple12) -> rule4)) -> rule5) OR ((((((triple13 triple14) -> rule3)) -> rule6)) -> rule2) OR ((((((triple13 ((triple12) -> rule4)) -> rule3)) -> rule6)) -> rule2))] @1: Anne is cold.[(((triple5) -> rule6) OR ((((triple1 triple2) -> rule3)) -> rule6))] Bob is smart.[(((triple6) -> rule2))] Gary is quiet.[(((triple9) -> rule4) OR ((((triple8 ((triple8) -> rule2)) -> rule1)) -> rule4))] Gary is smart.[(((triple8) -> rule2) OR ((((triple9) -> rule4)) -> rule5))] Harry is white.[(((triple13 triple14) -> rule3) OR ((triple13 ((triple12) -> rule4)) -> rule3) OR ((triple13 ((((triple11 triple16) -> rule1)) -> rule4)) -> rule3) OR ((triple13 ((((triple11 ((triple11) -> rule2)) -> rule1)) -> rule4)) -> rule3))] @2: Anne is green.[(((((triple5) -> rule6) triple4) -> rule1) OR ((((triple5) -> rule6) ((triple2) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3)) -> rule6) triple4) -> rule1) OR ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule2)) -> rule1) OR ((((((triple1 triple2) -> rule3)) -> rule6) ((triple2) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3)) -> rule6) ((((triple5) -> rule6)) -> rule2)) -> rule1) OR ((((triple5) -> rule6) ((((((triple1 triple2) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple1 triple2) -> rule3)) -> rule6) ((((((triple1 triple2) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Bob is green.[(((triple6 ((triple6) -> rule2)) -> rule1))] @3: Bob is quiet.[(((((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4))] @4: Bob is white.[(((triple7 ((((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4)) -> rule3))]