Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Anne is young. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Erin is big. Erin is green. Erin is smart. If something is smart and quiet then it is nice. All green things are nice. If something is big and quiet then it is green. Quiet things are young. If something is smart and nice then it is green. All nice things are smart.
Erin is not young.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple1 triple4) -> rule3) OR ((triple6 triple3) -> rule5) OR ((triple6 ((triple6 triple4) -> rule1)) -> rule5) OR ((((triple3) -> rule6) triple3) -> rule5) OR ((((triple3) -> rule6) ((triple6 triple4) -> rule1)) -> rule5))] Anne is nice.[(triple3 OR ((triple2) -> rule2) OR ((triple6 triple4) -> rule1) OR ((((triple1 triple4) -> rule3)) -> rule2))] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((((triple1 triple4) -> rule3)) -> rule2)) -> rule6))] Anne is young.[(triple7 OR ((triple4) -> rule4))] Charlie is big.[(triple8)] Charlie is nice.[(triple9 OR ((triple12 triple10) -> rule1) OR ((((triple8 triple10) -> rule3)) -> rule2))] Charlie is quiet.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12 OR ((triple9) -> rule6) OR ((((((triple8 triple10) -> rule3)) -> rule2)) -> rule6))] Charlie is young.[(triple13 OR ((triple10) -> rule4))] Erin is big.[(triple14)] Erin is green.[(triple15)] Erin is smart.[(triple16 OR ((((triple15) -> rule2)) -> rule6))] @1: Charlie is green.[(((triple12 triple9) -> rule5) OR ((triple8 triple10) -> rule3) OR ((triple12 ((triple12 triple10) -> rule1)) -> rule5) OR ((((triple9) -> rule6) triple9) -> rule5) OR ((((triple9) -> rule6) ((triple12 triple10) -> rule1)) -> rule5))] Erin is nice.[(((triple15) -> rule2))]