Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is round. Charlie is blue. Dave is green. Dave is nice. Dave is round. Erin is furry. Erin is red. Erin is rough. Round, rough things are nice. All furry things are rough. All red, rough things are furry. Nice, round things are furry. All red, round things are blue. All blue things are green. If Anne is furry then Anne is green. Furry things are rough.
Charlie is round.
@0: Anne is blue.[(triple1 OR ((triple4 triple5) -> rule5))] Anne is green.[(triple2 OR ((triple1) -> rule6) OR ((((triple3 triple5) -> rule4)) -> rule7) OR ((((triple4 triple5) -> rule5)) -> rule6))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Charlie is blue.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple8)] Dave is round.[(triple9)] Erin is furry.[(triple10 OR ((triple11 triple12) -> rule3))] Erin is red.[(triple11)] Erin is rough.[(triple12 OR ((triple10) -> rule2) OR ((triple10) -> rule8))] @1: Anne is furry.[(((triple3 triple5) -> rule4))] Charlie is green.[(((triple6) -> rule6))] Dave is furry.[(((triple8 triple9) -> rule4))] @2: Anne is rough.[(((((triple3 triple5) -> rule4)) -> rule2) OR ((((triple3 triple5) -> rule4)) -> rule8))] Dave is rough.[(((((triple8 triple9) -> rule4)) -> rule2) OR ((((triple8 triple9) -> rule4)) -> rule8))]