Harry is blue. Harry is cold. Harry is quiet. Harry is red. Harry is round. Harry is white. Harry is young. If something is young then it is quiet. If something is young then it is red. White things are quiet. All quiet things are red. If Harry is young then Harry is blue. Young, quiet things are red. Young, cold things are blue. Cold, red things are blue.
Harry is not cold.
@0: Harry is blue.[(triple1 OR ((triple7) -> rule5) OR ((triple2 triple4) -> rule8) OR ((triple7 triple2) -> rule7) OR ((triple2 ((triple3) -> rule4)) -> rule8) OR ((triple2 ((triple7) -> rule2)) -> rule8) OR ((triple2 ((triple7 triple3) -> rule6)) -> rule8) OR ((triple2 ((((triple6) -> rule3)) -> rule4)) -> rule8) OR ((triple2 ((((triple7) -> rule1)) -> rule4)) -> rule8) OR ((triple2 ((triple7 ((triple6) -> rule3)) -> rule6)) -> rule8) OR ((triple2 ((triple7 ((triple7) -> rule1)) -> rule6)) -> rule8))] Harry is cold.[(triple2)] Harry is quiet.[(triple3 OR ((triple6) -> rule3) OR ((triple7) -> rule1))] Harry is red.[(triple4 OR ((triple3) -> rule4) OR ((triple7) -> rule2) OR ((triple7 triple3) -> rule6) OR ((((triple6) -> rule3)) -> rule4) OR ((((triple7) -> rule1)) -> rule4) OR ((triple7 ((triple6) -> rule3)) -> rule6) OR ((triple7 ((triple7) -> rule1)) -> rule6))] Harry is round.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]