Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is white. Harry is young. If something is young and cold then it is white. White, cold things are kind. If something is cold and quiet then it is big. If Harry is young then Harry is cold. If something is cold and green then it is quiet. If something is white then it is cold. Big things are cold. Young things are white.
Harry is kind.
@0: Harry is big.[(triple1 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple2 triple3) -> rule5)) -> rule3) OR ((((triple6) -> rule6) triple5) -> rule3) OR ((((triple7) -> rule4) triple5) -> rule3) OR ((((triple6) -> rule6) ((triple2 triple3) -> rule5)) -> rule3) OR ((((triple7) -> rule4) ((triple2 triple3) -> rule5)) -> rule3) OR ((triple2 ((((triple6) -> rule6) triple3) -> rule5)) -> rule3) OR ((triple2 ((((triple7) -> rule4) triple3) -> rule5)) -> rule3) OR ((((((triple7) -> rule8)) -> rule6) triple5) -> rule3) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple3) -> rule5)) -> rule3) OR ((((triple6) -> rule6) ((((triple7) -> rule4) triple3) -> rule5)) -> rule3) OR ((((triple7) -> rule4) ((((triple6) -> rule6) triple3) -> rule5)) -> rule3) OR ((((triple7) -> rule4) ((((triple7) -> rule4) triple3) -> rule5)) -> rule3) OR ((((((triple7) -> rule8)) -> rule6) ((triple2 triple3) -> rule5)) -> rule3) OR ((((((triple7) -> rule8)) -> rule6) ((((triple6) -> rule6) triple3) -> rule5)) -> rule3) OR ((((((triple7) -> rule8)) -> rule6) ((((triple7) -> rule4) triple3) -> rule5)) -> rule3) OR ((triple2 ((((((triple7) -> rule8)) -> rule6) triple3) -> rule5)) -> rule3) OR ((((triple6) -> rule6) ((((((triple7) -> rule8)) -> rule6) triple3) -> rule5)) -> rule3) OR ((((triple7) -> rule4) ((((((triple7) -> rule8)) -> rule6) triple3) -> rule5)) -> rule3) OR ((((((triple7) -> rule8)) -> rule6) ((((((triple7) -> rule8)) -> rule6) triple3) -> rule5)) -> rule3))] Harry is cold.[(triple2 OR ((triple1) -> rule7) OR ((triple6) -> rule6) OR ((triple7) -> rule4) OR ((((triple7) -> rule8)) -> rule6))] Harry is green.[(triple3)] Harry is kind.[(triple4 OR ((triple6 triple2) -> rule2) OR ((triple6 ((triple1) -> rule7)) -> rule2) OR ((triple6 ((triple6) -> rule6)) -> rule2) OR ((triple6 ((triple7) -> rule4)) -> rule2) OR ((((triple7) -> rule8) triple2) -> rule2) OR ((((triple7 triple2) -> rule1) triple2) -> rule2) OR ((((triple7) -> rule8) ((triple1) -> rule7)) -> rule2) OR ((((triple7) -> rule8) ((triple6) -> rule6)) -> rule2) OR ((((triple7) -> rule8) ((triple7) -> rule4)) -> rule2) OR ((((triple7 triple2) -> rule1) ((triple1) -> rule7)) -> rule2) OR ((((triple7 triple2) -> rule1) ((triple6) -> rule6)) -> rule2) OR ((((triple7 triple2) -> rule1) ((triple7) -> rule4)) -> rule2) OR ((triple6 ((((triple7) -> rule8)) -> rule6)) -> rule2) OR ((((triple7 ((triple1) -> rule7)) -> rule1) triple2) -> rule2) OR ((((triple7 ((triple7) -> rule4)) -> rule1) triple2) -> rule2) OR ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule2) OR ((((triple7 triple2) -> rule1) ((((triple7) -> rule8)) -> rule6)) -> rule2) OR ((((triple7 ((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule2) OR ((((triple7 ((triple1) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule2) OR ((((triple7 ((triple1) -> rule7)) -> rule1) ((triple7) -> rule4)) -> rule2) OR ((((triple7 ((triple7) -> rule4)) -> rule1) ((triple1) -> rule7)) -> rule2) OR ((((triple7 ((triple7) -> rule4)) -> rule1) ((triple6) -> rule6)) -> rule2) OR ((((triple7 ((triple7) -> rule4)) -> rule1) ((triple7) -> rule4)) -> rule2) OR ((((triple7 ((triple1) -> rule7)) -> rule1) ((((triple7) -> rule8)) -> rule6)) -> rule2) OR ((((triple7 ((triple7) -> rule4)) -> rule1) ((((triple7) -> rule8)) -> rule6)) -> rule2))] Harry is quiet.[(triple5 OR ((triple2 triple3) -> rule5) OR ((((triple1) -> rule7) triple3) -> rule5) OR ((((triple6) -> rule6) triple3) -> rule5) OR ((((triple7) -> rule4) triple3) -> rule5) OR ((((((triple7) -> rule8)) -> rule6) triple3) -> rule5))] Harry is white.[(triple6 OR ((triple7) -> rule8) OR ((triple7 triple2) -> rule1) OR ((triple7 ((triple1) -> rule7)) -> rule1) OR ((triple7 ((triple7) -> rule4)) -> rule1))] Harry is young.[(triple7)]