Anne is cold. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is white. Fiona is green. Fiona is round. Gary is cold. Gary is green. Gary is kind. Gary is round. Kind, round things are quiet. If Anne is red and Anne is quiet then Anne is green.
Fiona is not kind.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple4 ((triple3 triple5) -> rule1)) -> rule2))] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Fiona is green.[(triple7)] Fiona is round.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is round.[(triple12)] @1: Anne is quiet.[(((triple3 triple5) -> rule1))] Gary is quiet.[(((triple11 triple12) -> rule1))]