Anne is big. Anne is furry. Anne is quiet. Anne is red. Anne is white. Erin is furry. Erin is round. Erin is white. Gary is cold. Gary is furry. Gary is red. Gary is round. All big things are quiet. Round things are big. Furry, round things are big. All cold things are big. Red, cold things are furry. Big, red things are cold.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple4 ((triple1 triple4) -> rule6)) -> rule5))] Anne is quiet.[(triple3 OR ((triple1) -> rule1))] Anne is red.[(triple4)] Anne is white.[(triple5)] Erin is furry.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Gary is cold.[(triple9 OR ((((triple12) -> rule2) triple11) -> rule6) OR ((((triple10 triple12) -> rule3) triple11) -> rule6))] Gary is furry.[(triple10 OR ((triple11 triple9) -> rule5) OR ((triple11 ((((triple12) -> rule2) triple11) -> rule6)) -> rule5))] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Anne is cold.[(((triple1 triple4) -> rule6))] Erin is big.[(((triple7) -> rule2) OR ((triple6 triple7) -> rule3))] Gary is big.[(((triple12) -> rule2) OR ((triple9) -> rule4) OR ((triple10 triple12) -> rule3) OR ((((triple11 triple9) -> rule5) triple12) -> rule3))] @2: Erin is quiet.[(((((triple7) -> rule2)) -> rule1) OR ((((triple6 triple7) -> rule3)) -> rule1))] Gary is quiet.[(((((triple12) -> rule2)) -> rule1) OR ((((triple9) -> rule4)) -> rule1) OR ((((triple10 triple12) -> rule3)) -> rule1) OR ((((((triple11 triple9) -> rule5) triple12) -> rule3)) -> rule1))]