Bob is furry. Bob is round. Fiona is big. Gary is not blue. Gary is cold. Gary is nice. Gary is red. Harry is not big. Harry is cold. Harry is round. Furry things are cold. If Harry is blue then Harry is not cold. All nice things are red.
Fiona is furry.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Fiona is big.[(triple3)] Gary is cold.[(triple5)] Gary is nice.[(triple6)] Gary is not blue.[(triple4)] Gary is red.[(triple7 OR ((triple6) -> rule3))] Harry is cold.[(triple9)] Harry is not big.[(triple8)] Harry is round.[(triple10)] @1: Bob is cold.[(((triple1) -> rule1))]