Fiona is blue. Gary is big. Gary is blue. Gary is cold. Harry is cold. Harry is furry. Harry is nice. All nice people are furry.
Harry is furry.
@0: Fiona is blue.[(triple1)] Gary is big.[(triple2)] Gary is blue.[(triple3)] Gary is cold.[(triple4)] Harry is cold.[(triple5)] Harry is furry.[(triple6 OR ((triple7) -> rule1))] Harry is nice.[(triple7)]