Dave is round. Fiona is not cold. Fiona is green. Fiona is quiet. Fiona is round. Fiona is white. Gary is not white. All round, quiet people are green. Round, green people are not kind. Round people are quiet. If Gary is cold then Gary is quiet. All kind, white people are not furry. All kind people are not white.
Dave is cold.
@0: Dave is round.[(triple1)] Fiona is green.[(triple3 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple5) -> rule3)) -> rule1))] Fiona is not cold.[(triple2)] Fiona is quiet.[(triple4 OR ((triple5) -> rule3))] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Gary is not white.[(triple7)] @1: Dave is quiet.[(((triple1) -> rule3))] Fiona is not kind.[(((triple5 triple3) -> rule2) OR ((triple5 ((triple5 triple4) -> rule1)) -> rule2) OR ((triple5 ((triple5 ((triple5) -> rule3)) -> rule1)) -> rule2))] @2: Dave is green.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: Dave is not kind.[(((triple1 ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2))]