Anne is young. Bob is smart. Gary is cold. Harry is cold. Harry is furry. Harry is nice. Harry is young. If Harry is cold then Harry is furry. If Bob is big and Bob is red then Bob is furry. Smart, cold people are red.
Gary is cold.
@0: Anne is young.[(triple1)] Bob is smart.[(triple2)] Gary is cold.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5 OR ((triple4) -> rule1))] Harry is nice.[(triple6)] Harry is young.[(triple7)]