Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is white. Furry people are cold.
Harry is red.
@0: Harry is cold.[(triple1 OR ((triple2) -> rule1))] Harry is furry.[(triple2)] Harry is green.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]