Charlie is nice. Dave is cold. Dave is red. Dave is round. Dave is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is white. Gary is cold. Gary is furry. If Gary is cold and Gary is red then Gary is blue. If something is cold then it is red.
Charlie is furry.
@0: Charlie is nice.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3 OR ((triple2) -> rule2))] Dave is round.[(triple4)] Dave is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] @1: Fiona is red.[(((triple7) -> rule2))] Gary is red.[(((triple11) -> rule2))] @2: Gary is blue.[(((triple11 ((triple11) -> rule2)) -> rule1))]