Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is round. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is round. If something is green and red then it is quiet. Red, cold things are green.
Gary is red.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple5 triple1) -> rule2))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple2 triple5) -> rule1) OR ((((triple5 triple1) -> rule2) triple5) -> rule1))] Anne is red.[(triple5)] Anne is round.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14 OR ((triple12 triple15) -> rule1))] Gary is red.[(triple15)] Gary is round.[(triple16)] @1: Fiona is green.[(((triple10 triple7) -> rule2))] @2: Fiona is quiet.[(((((triple10 triple7) -> rule2) triple10) -> rule1))]