Anne is big. Anne is blue. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Erin is big. Erin is round. If Anne is green then Anne is big. All round people are smart. Rough people are green. All big people are blue. If someone is smart and green then they are round. Blue, big people are rough.
Erin is rough.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Anne is blue.[(triple2 OR ((triple1) -> rule4) OR ((((triple3) -> rule1)) -> rule4) OR ((((((triple5) -> rule3)) -> rule1)) -> rule4))] Anne is green.[(triple3 OR ((triple5) -> rule3) OR ((((triple2 triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule4) triple1) -> rule6)) -> rule3))] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple3) -> rule1)) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule6) OR ((((triple1) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((((triple3) -> rule1)) -> rule4) triple1) -> rule6) OR ((((((triple3) -> rule1)) -> rule4) ((triple3) -> rule1)) -> rule6))] Anne is round.[(triple6 OR ((triple7 triple3) -> rule5) OR ((triple7 ((triple5) -> rule3)) -> rule5) OR ((triple7 ((((triple2 triple1) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((((triple1) -> rule4) triple1) -> rule6)) -> rule3)) -> rule5))] Anne is smart.[(triple7 OR ((triple6) -> rule2))] Dave is big.[(triple8)] Dave is blue.[(triple9 OR ((triple8) -> rule4))] Dave is green.[(triple10 OR ((triple12) -> rule3) OR ((((triple9 triple8) -> rule6)) -> rule3) OR ((((((triple8) -> rule4) triple8) -> rule6)) -> rule3))] Dave is quiet.[(triple11)] Dave is rough.[(triple12 OR ((triple9 triple8) -> rule6) OR ((((triple8) -> rule4) triple8) -> rule6))] Dave is round.[(triple13 OR ((triple14 triple10) -> rule5) OR ((triple14 ((triple12) -> rule3)) -> rule5) OR ((triple14 ((((triple9 triple8) -> rule6)) -> rule3)) -> rule5) OR ((triple14 ((((((triple8) -> rule4) triple8) -> rule6)) -> rule3)) -> rule5))] Dave is smart.[(triple14 OR ((triple13) -> rule2))] Erin is big.[(triple15)] Erin is round.[(triple16)] @1: Erin is blue.[(((triple15) -> rule4))] Erin is smart.[(((triple16) -> rule2))] @2: Erin is rough.[(((((triple15) -> rule4) triple15) -> rule6))] @3: Erin is green.[(((((((triple15) -> rule4) triple15) -> rule6)) -> rule3))]