Anne is big. Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is young. Dave is big. Dave is blue. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is quiet. Erin is smart. If something is rough and red then it is young. Big, smart things are rough. Rough, young things are red. If Anne is red then Anne is rough. If something is rough and quiet then it is red. If Dave is red and Dave is smart then Dave is big.
Anne is smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple5 triple3) -> rule5) OR ((triple5 triple6) -> rule3))] Anne is rough.[(triple5 OR ((triple4) -> rule4))] Anne is young.[(triple6 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple4) -> rule4) triple4) -> rule1) OR ((((triple4) -> rule4) ((triple5 triple3) -> rule5)) -> rule1))] Dave is big.[(triple7 OR ((triple10 triple12) -> rule6) OR ((((triple11 triple13) -> rule3) triple12) -> rule6) OR ((((triple11 triple9) -> rule5) triple12) -> rule6))] Dave is blue.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10 OR ((triple11 triple13) -> rule3) OR ((triple11 triple9) -> rule5) OR ((((triple7 triple12) -> rule2) triple13) -> rule3) OR ((((triple7 triple12) -> rule2) triple9) -> rule5))] Dave is rough.[(triple11 OR ((triple7 triple12) -> rule2) OR ((((triple10 triple12) -> rule6) triple12) -> rule2))] Dave is smart.[(triple12)] Dave is young.[(triple13 OR ((triple11 triple10) -> rule1) OR ((triple11 ((triple11 triple9) -> rule5)) -> rule1) OR ((((triple7 triple12) -> rule2) triple10) -> rule1) OR ((((triple7 triple12) -> rule2) ((triple11 triple9) -> rule5)) -> rule1) OR ((triple11 ((((triple7 triple12) -> rule2) triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule6) triple12) -> rule2) triple10) -> rule1) OR ((((triple7 triple12) -> rule2) ((((triple7 triple12) -> rule2) triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule6) triple12) -> rule2) ((triple11 triple9) -> rule5)) -> rule1) OR ((((((triple10 triple12) -> rule6) triple12) -> rule2) ((((triple7 triple12) -> rule2) triple9) -> rule5)) -> rule1))] Erin is big.[(triple14)] Erin is quiet.[(triple15)] Erin is smart.[(triple16)] @1: Erin is rough.[(((triple14 triple16) -> rule2))] @2: Erin is red.[(((((triple14 triple16) -> rule2) triple15) -> rule5))] @3: Erin is young.[(((((triple14 triple16) -> rule2) ((((triple14 triple16) -> rule2) triple15) -> rule5)) -> rule1))]