Anne is big. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is young. Charlie is furry. Charlie is young. Erin is round. All quiet things are furry. All rough things are quiet. If Anne is green and Anne is furry then Anne is big. If something is quiet and rough then it is green. If Anne is quiet and Anne is round then Anne is big. Big things are rough. If Charlie is big and Charlie is quiet then Charlie is green. Green, round things are quiet.
Erin is not furry.
@0: Anne is big.[(triple1 OR ((triple3 triple2) -> rule3) OR ((triple4 triple6) -> rule5) OR ((triple3 ((triple4) -> rule1)) -> rule3) OR ((((triple5) -> rule2) triple6) -> rule5) OR ((((triple3 triple6) -> rule8) triple6) -> rule5) OR ((((triple4 triple5) -> rule4) triple2) -> rule3) OR ((((triple4 triple5) -> rule4) ((triple4) -> rule1)) -> rule3) OR ((triple3 ((((triple5) -> rule2)) -> rule1)) -> rule3) OR ((triple3 ((((triple3 triple6) -> rule8)) -> rule1)) -> rule3) OR ((((((triple5) -> rule2) triple5) -> rule4) triple2) -> rule3) OR ((((triple4 triple5) -> rule4) ((((triple5) -> rule2)) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule4) ((((triple3 triple6) -> rule8)) -> rule1)) -> rule3) OR ((((((triple5) -> rule2) triple5) -> rule4) ((triple4) -> rule1)) -> rule3) OR ((((((triple5) -> rule2) triple5) -> rule4) ((((triple5) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5) -> rule2) triple5) -> rule4) ((((triple3 triple6) -> rule8)) -> rule1)) -> rule3))] Anne is furry.[(triple2 OR ((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple3 triple6) -> rule8)) -> rule1) OR ((((((triple1) -> rule6)) -> rule2)) -> rule1))] Anne is green.[(triple3 OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple1) -> rule6)) -> rule4) OR ((((triple5) -> rule2) triple5) -> rule4) OR ((((triple5) -> rule2) ((triple1) -> rule6)) -> rule4) OR ((triple4 ((((triple4 triple6) -> rule5)) -> rule6)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2) triple5) -> rule4) OR ((((triple5) -> rule2) ((((triple4 triple6) -> rule5)) -> rule6)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2) ((((triple4 triple6) -> rule5)) -> rule6)) -> rule4))] Anne is quiet.[(triple4 OR ((triple5) -> rule2) OR ((triple3 triple6) -> rule8) OR ((((triple1) -> rule6)) -> rule2) OR ((((((triple3 triple2) -> rule3)) -> rule6)) -> rule2))] Anne is rough.[(triple5 OR ((triple1) -> rule6) OR ((((triple3 triple2) -> rule3)) -> rule6) OR ((((triple4 triple6) -> rule5)) -> rule6) OR ((((triple3 ((triple4) -> rule1)) -> rule3)) -> rule6) OR ((((((triple3 triple6) -> rule8) triple6) -> rule5)) -> rule6) OR ((((triple3 ((((triple3 triple6) -> rule8)) -> rule1)) -> rule3)) -> rule6))] Anne is round.[(triple6)] Anne is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is young.[(triple9)] Erin is round.[(triple10)]