Dave is blue. Dave is furry. Dave is red. Dave is round. Fiona is furry. Fiona is red. Fiona is white. Gary is blue. Gary is furry. Gary is kind. Gary is round. Gary is white. All round things are kind. Round, kind things are blue. All nice, kind things are red.
Fiona is not kind.
@0: Dave is blue.[(triple1 OR ((triple4 ((triple4) -> rule1)) -> rule2))] Dave is furry.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Fiona is furry.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7)] Gary is blue.[(triple8 OR ((triple11 triple10) -> rule2) OR ((triple11 ((triple11) -> rule1)) -> rule2))] Gary is furry.[(triple9)] Gary is kind.[(triple10 OR ((triple11) -> rule1))] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Dave is kind.[(((triple4) -> rule1))]