Anne is big. Anne is blue. Anne is furry. Anne is not green. Anne is rough. Anne is round. Dave is big. Dave is not blue. Dave is furry. Dave is green. Dave is red. Dave is round. If someone is red then they are round. If Dave is furry and Dave is green then Dave is red. If Anne is rough then Anne is furry. If Anne is blue and Anne is green then Anne is furry. Furry, rough people are red. Furry, rough people are big.
Anne is not red.
@0: Anne is big.[(triple1 OR ((triple3 triple5) -> rule6) OR ((((triple5) -> rule3) triple5) -> rule6))] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple5) -> rule3))] Anne is not green.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((((triple3 triple5) -> rule5)) -> rule1) OR ((((((triple5) -> rule3) triple5) -> rule5)) -> rule1))] Dave is big.[(triple7)] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is not blue.[(triple8)] Dave is red.[(triple11 OR ((triple9 triple10) -> rule2))] Dave is round.[(triple12 OR ((triple11) -> rule1) OR ((((triple9 triple10) -> rule2)) -> rule1))] @1: Anne is red.[(((triple3 triple5) -> rule5) OR ((((triple5) -> rule3) triple5) -> rule5))]