Anne is not big. Anne is green. Anne is nice. Erin is big. Erin is nice. Fiona is furry. Fiona is round. Gary is green. Gary is nice. Gary is white. All white things are smart. If something is white and furry then it is smart. If something is big and not furry then it is green. If Erin is green then Erin is white. Green things are round. All round, white things are not big.
Anne is not green.
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not big.[(triple1)] Erin is big.[(triple4)] Erin is nice.[(triple5)] Fiona is furry.[(triple6)] Fiona is round.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)] @1: Anne is round.[(((triple2) -> rule5))] Gary is round.[(((triple8) -> rule5))] Gary is smart.[(((triple10) -> rule1))] @2: Gary is not big.[(((((triple8) -> rule5) triple10) -> rule6))]