Anne is big. Anne is cold. Anne is rough. Anne is white. Erin is big. Erin is furry. Erin is round. Fiona is big. Fiona is cold. Fiona is red. Gary is red. Gary is rough. If something is round and furry then it is red. If Anne is furry and Anne is round then Anne is cold. Red things are cold. If something is round and cold then it is white. If something is rough then it is furry. All red, rough things are white.
Fiona is white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is round.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple10) -> rule3))] Fiona is red.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Anne is furry.[(((triple3) -> rule5))] Erin is red.[(((triple7 triple6) -> rule1))] Gary is cold.[(((triple11) -> rule3))] Gary is furry.[(((triple12) -> rule5))] Gary is white.[(((triple11 triple12) -> rule6))] @2: Erin is cold.[(((((triple7 triple6) -> rule1)) -> rule3))] @3: Erin is white.[(((triple7 ((((triple7 triple6) -> rule1)) -> rule3)) -> rule4))]