Harry is blue. Harry is cold. Harry is quiet. Harry is rough. Harry is round. Harry is white. Harry is young. If Harry is round and Harry is young then Harry is cold. All quiet people are rough. Young, round people are quiet. All cold people are rough. If Harry is white then Harry is cold. Round, blue people are rough.
Harry is blue.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2 OR ((triple6) -> rule5) OR ((triple5 triple7) -> rule1))] Harry is quiet.[(triple3 OR ((triple7 triple5) -> rule3))] Harry is rough.[(triple4 OR ((triple2) -> rule4) OR ((triple3) -> rule2) OR ((triple5 triple1) -> rule6) OR ((((triple6) -> rule5)) -> rule4) OR ((((triple5 triple7) -> rule1)) -> rule4) OR ((((triple7 triple5) -> rule3)) -> rule2))] Harry is round.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]