Anne is rough. Anne is round. Anne is white. Charlie is smart. Charlie is white. Erin is blue. Gary is big. Gary is blue. Gary is smart. Gary is white. If someone is big then they are smart. If someone is blue and round then they are smart. If someone is round then they are blue. If someone is big and rough then they are round. If someone is round then they are blue. All blue people are smart.
Charlie is rough.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Erin is blue.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is smart.[(triple9 OR ((triple7) -> rule1) OR ((triple8) -> rule6))] Gary is white.[(triple10)] @1: Anne is blue.[(((triple2) -> rule3) OR ((triple2) -> rule5))] Erin is smart.[(((triple6) -> rule6))] @2: Anne is smart.[(((((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule2))]