Anne is blue. Anne is not green. Anne is quiet. Fiona is big. Fiona is green. Fiona is not red. Fiona is smart. Gary is blue. Gary is nice. Gary is smart. If someone is nice and not blue then they are green. If someone is big and blue then they are green. All big people are smart. Big people are smart. If Anne is smart and Anne is blue then Anne is not green. If someone is smart then they are nice. If someone is green and not quiet then they are nice. If Anne is quiet then Anne is smart.
Fiona is nice.
@0: Anne is blue.[(triple1)] Anne is not green.[(triple2 OR ((((triple3) -> rule8) triple1) -> rule5))] Anne is quiet.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Fiona is not red.[(triple6)] Fiona is smart.[(triple7 OR ((triple4) -> rule3) OR ((triple4) -> rule4))] Gary is blue.[(triple8)] Gary is nice.[(triple9 OR ((triple10) -> rule6))] Gary is smart.[(triple10)] @1: Anne is smart.[(((triple3) -> rule8))] Fiona is nice.[(((triple7) -> rule6) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple4) -> rule4)) -> rule6))] @2: Anne is nice.[(((((triple3) -> rule8)) -> rule6))]