Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Erin is rough. Erin is smart. Gary is cold. Gary is quiet. Gary is rough. Gary is smart. Gary is white. If something is round then it is cold. If Gary is rough then Gary is smart. All smart, cold things are round. If something is round then it is quiet. Rough, round things are cold. If something is smart and furry then it is quiet. Rough, white things are round. If something is round and smart then it is cold.
Erin is not quiet.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2 OR ((triple4) -> rule4) OR ((((triple3 triple5) -> rule7)) -> rule4))] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple3 triple5) -> rule7))] Charlie is white.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Gary is cold.[(triple8 OR ((((triple10 triple12) -> rule7)) -> rule1) OR ((triple10 ((triple10 triple12) -> rule7)) -> rule5) OR ((((triple10 triple12) -> rule7) triple11) -> rule8) OR ((((triple10 triple12) -> rule7) ((triple10) -> rule2)) -> rule8))] Gary is quiet.[(triple9 OR ((((triple10 triple12) -> rule7)) -> rule4) OR ((((triple11 triple8) -> rule3)) -> rule4) OR ((((((triple10) -> rule2) triple8) -> rule3)) -> rule4))] Gary is rough.[(triple10)] Gary is smart.[(triple11 OR ((triple10) -> rule2))] Gary is white.[(triple12)] @1: Charlie is cold.[(((triple4) -> rule1) OR ((triple3 triple4) -> rule5) OR ((((triple3 triple5) -> rule7)) -> rule1) OR ((triple3 ((triple3 triple5) -> rule7)) -> rule5))] Gary is round.[(((triple10 triple12) -> rule7) OR ((triple11 triple8) -> rule3) OR ((((triple10) -> rule2) triple8) -> rule3))]