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