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