Anne is blue. Anne is green. Anne is quiet. Bob is blue. Bob is green. Bob is kind. Bob is red. Gary is cold. Gary is red. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is red. Harry is young. If Gary is red then Gary is kind. All quiet things are young. All blue, quiet things are kind. Young, green things are cold. All red, kind things are green. All red things are cold. All red, green things are blue. Quiet things are kind.
Harry is quiet.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Bob is blue.[(triple4 OR ((triple7 triple5) -> rule7) OR ((triple7 ((triple7 triple6) -> rule5)) -> rule7))] Bob is green.[(triple5 OR ((triple7 triple6) -> rule5))] Bob is kind.[(triple6)] Bob is red.[(triple7)] Gary is cold.[(triple8 OR ((triple9) -> rule6))] Gary is red.[(triple9)] Harry is blue.[(triple10 OR ((triple14 triple12) -> rule7) OR ((triple14 ((triple14 ((triple13) -> rule8)) -> rule5)) -> rule7))] Harry is cold.[(triple11 OR ((triple14) -> rule6) OR ((triple15 triple12) -> rule4) OR ((((triple13) -> rule2) triple12) -> rule4) OR ((triple15 ((triple14 ((triple13) -> rule8)) -> rule5)) -> rule4) OR ((triple15 ((triple14 ((triple10 triple13) -> rule3)) -> rule5)) -> rule4) OR ((((triple13) -> rule2) ((triple14 ((triple13) -> rule8)) -> rule5)) -> rule4) OR ((((triple13) -> rule2) ((triple14 ((triple10 triple13) -> rule3)) -> rule5)) -> rule4))] Harry is green.[(triple12 OR ((triple14 ((triple13) -> rule8)) -> rule5) OR ((triple14 ((triple10 triple13) -> rule3)) -> rule5))] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15 OR ((triple13) -> rule2))] @1: Anne is kind.[(((triple3) -> rule8) OR ((triple1 triple3) -> rule3))] Anne is young.[(((triple3) -> rule2))] Bob is cold.[(((triple7) -> rule6))] Gary is kind.[(((triple9) -> rule1))] Harry is kind.[(((triple13) -> rule8) OR ((triple10 triple13) -> rule3) OR ((((triple14 triple12) -> rule7) triple13) -> rule3))] @2: Anne is cold.[(((((triple3) -> rule2) triple2) -> rule4))] Gary is green.[(((triple9 ((triple9) -> rule1)) -> rule5))] @3: Gary is blue.[(((triple9 ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule7))]