Anne is big. Anne is nice. Anne is rough. Anne is not round. Charlie is round. Charlie is smart. Erin is cold. Erin is rough. Erin is not smart. Gary is big. If Erin is big and Erin is furry then Erin is rough. If someone is smart and nice then they are rough. If someone is cold then they are nice. If someone is smart then they are cold. All smart, big people are not cold. If someone is rough and not big then they are round.
Charlie is big.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is not round.[(triple4)] Anne is rough.[(triple3)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Erin is cold.[(triple7)] Erin is not smart.[(triple9)] Erin is rough.[(triple8)] Gary is big.[(triple10)] @1: Charlie is cold.[(((triple6) -> rule4))] Erin is nice.[(((triple7) -> rule3))] @2: Charlie is nice.[(((((triple6) -> rule4)) -> rule3))] @3: Charlie is rough.[(((triple6 ((((triple6) -> rule4)) -> rule3)) -> rule2))]