Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is red. Harry is round. Harry is white. If someone is round and furry then they are red. Blue people are big. Furry, blue people are red. If Harry is cold then Harry is round. All red people are round. Furry, cold people are red.
Harry is not white.
@0: Harry is big.[(triple1 OR ((triple2) -> rule2))] Harry is blue.[(triple2)] Harry is cold.[(triple3)] Harry is furry.[(triple4)] Harry is red.[(triple5 OR ((triple4 triple2) -> rule3) OR ((triple4 triple3) -> rule6) OR ((triple6 triple4) -> rule1) OR ((((triple3) -> rule4) triple4) -> rule1))] Harry is round.[(triple6 OR ((triple3) -> rule4) OR ((triple5) -> rule5) OR ((((triple4 triple2) -> rule3)) -> rule5) OR ((((triple4 triple3) -> rule6)) -> rule5))] Harry is white.[(triple7)]