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