Dave is furry. Dave is white. Fiona is furry. Fiona is kind. Fiona is round. Fiona is white. Gary is round. Harry is blue. Harry is cold. Harry is red. All cold things are furry. White things are furry. If something is blue and red then it is furry. All white, red things are furry. Red, round things are cold. If Harry is kind then Harry is cold.
Dave is furry.
@0: Dave is furry.[(triple1 OR ((triple2) -> rule2))] Dave is white.[(triple2)] Fiona is furry.[(triple3 OR ((triple6) -> rule2))] Fiona is kind.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Gary is round.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is red.[(triple10)] @1: Harry is furry.[(((triple9) -> rule1) OR ((triple8 triple10) -> rule3))]