Anne is blue. Anne is kind. Anne is round. Anne is white. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. Fiona is kind. Fiona is quiet. Gary is blue. Gary is kind. Gary is quiet. Gary is red. Gary is white. If Fiona is round and Fiona is white then Fiona is quiet. All quiet people are white. If Fiona is kind and Fiona is quiet then Fiona is round. Kind, red people are nice. Nice people are white. All round, blue people are nice.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((((triple3 triple1) -> rule6)) -> rule5))] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9 OR ((triple5) -> rule5) OR ((triple6) -> rule2))] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Gary is blue.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule2) OR ((((triple13 triple15) -> rule4)) -> rule5))] @1: Anne is nice.[(((triple3 triple1) -> rule6))] Fiona is round.[(((triple10 triple11) -> rule3))] Fiona is white.[(((triple11) -> rule2))] Gary is nice.[(((triple13 triple15) -> rule4))]