Anne is nice. Anne is rough. Anne is smart. Bob is big. Bob is green. Erin is green. Erin is red. Erin is round. Gary is green. Gary is red. If Anne is green and Anne is round then Anne is big. Nice people are rough. Smart people are red. All rough, nice people are round. Round people are green. If someone is green then they are rough.
Gary is not round.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule2))] Anne is smart.[(triple3)] Bob is big.[(triple4)] Bob is green.[(triple5)] Erin is green.[(triple6 OR ((triple8) -> rule5))] Erin is red.[(triple7)] Erin is round.[(triple8)] Gary is green.[(triple9)] Gary is red.[(triple10)] @1: Anne is red.[(((triple3) -> rule3))] Anne is round.[(((triple2 triple1) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule4))] Bob is rough.[(((triple5) -> rule6))] Erin is rough.[(((triple6) -> rule6) OR ((((triple8) -> rule5)) -> rule6))] Gary is rough.[(((triple9) -> rule6))] @2: Anne is green.[(((((triple2 triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule2) triple1) -> rule4)) -> rule5))] @3: Anne is big.[(((((((triple2 triple1) -> rule4)) -> rule5) ((triple2 triple1) -> rule4)) -> rule1) OR ((((((triple2 triple1) -> rule4)) -> rule5) ((((triple1) -> rule2) triple1) -> rule4)) -> rule1) OR ((((((((triple1) -> rule2) triple1) -> rule4)) -> rule5) ((triple2 triple1) -> rule4)) -> rule1) OR ((((((((triple1) -> rule2) triple1) -> rule4)) -> rule5) ((((triple1) -> rule2) triple1) -> rule4)) -> rule1))]