Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Harry is white. Rough things are blue. All furry things are rough. If Harry is blue and Harry is white then Harry is big.
Harry is blue.
@0: Harry is big.[(triple1 OR ((triple2 triple7) -> rule3) OR ((((triple6) -> rule1) triple7) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) triple7) -> rule3))] Harry is blue.[(triple2 OR ((triple6) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Harry is cold.[(triple3)] Harry is furry.[(triple4)] Harry is nice.[(triple5)] Harry is rough.[(triple6 OR ((triple4) -> rule2))] Harry is white.[(triple7)]