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