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