Fiona is furry. Fiona is rough. Fiona is white. Gary is big. Gary is blue. Gary is quiet. Gary is white. Harry is blue. Harry is furry. Harry is quiet. All rough things are white. If Harry is furry and Harry is quiet then Harry is cold. Quiet, cold things are big.
Harry is cold.
@0: Fiona is furry.[(triple1)] Fiona is rough.[(triple2)] Fiona is white.[(triple3 OR ((triple2) -> rule1))] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is quiet.[(triple6)] Gary is white.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] @1: Harry is cold.[(((triple9 triple10) -> rule2))] @2: Harry is big.[(((triple10 ((triple9 triple10) -> rule2)) -> rule3))]