Gary is cold. Gary is red. Gary is white. Harry is cold. Harry is furry. Harry is red. Harry is rough. Harry is round. Harry is white. Harry is young. All furry things are red. All furry things are round.
Harry is not young.
@0: Gary is cold.[(triple1)] Gary is red.[(triple2)] Gary is white.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is red.[(triple6 OR ((triple5) -> rule1))] Harry is rough.[(triple7)] Harry is round.[(triple8 OR ((triple5) -> rule2))] Harry is white.[(triple9)] Harry is young.[(triple10)]