Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is round. Anne is white. Dave is big. Dave is round. Dave is white. If Anne is blue then Anne is nice. All round, blue people are furry. If someone is furry then they are quiet. Round, nice people are blue. If someone is quiet and white then they are nice. Furry people are nice. Big people are nice. All big people are round.
Dave is not nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple1) -> rule7)) -> rule4) OR ((triple6 ((triple3) -> rule6)) -> rule4) OR ((triple6 ((triple5 triple7) -> rule5)) -> rule4) OR ((((triple1) -> rule8) triple4) -> rule4) OR ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4) OR ((((triple1) -> rule8) ((triple3) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((triple5 triple7) -> rule5)) -> rule4) OR ((triple6 ((((triple3) -> rule3) triple7) -> rule5)) -> rule4) OR ((((triple1) -> rule8) ((((triple3) -> rule3) triple7) -> rule5)) -> rule4))] Anne is furry.[(triple3 OR ((triple6 triple2) -> rule2) OR ((triple6 ((triple6 triple4) -> rule4)) -> rule2) OR ((((triple1) -> rule8) triple2) -> rule2) OR ((((triple1) -> rule8) ((triple6 triple4) -> rule4)) -> rule2) OR ((triple6 ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule2) OR ((triple6 ((triple6 ((triple5 triple7) -> rule5)) -> rule4)) -> rule2) OR ((triple6 ((((triple1) -> rule8) triple4) -> rule4)) -> rule2) OR ((triple6 ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4)) -> rule2) OR ((triple6 ((((triple1) -> rule8) ((triple5 triple7) -> rule5)) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((triple6 ((triple5 triple7) -> rule5)) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((((triple1) -> rule8) triple4) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4)) -> rule2) OR ((((triple1) -> rule8) ((((triple1) -> rule8) ((triple5 triple7) -> rule5)) -> rule4)) -> rule2))] Anne is nice.[(triple4 OR ((triple1) -> rule7) OR ((triple2) -> rule1) OR ((triple3) -> rule6) OR ((triple5 triple7) -> rule5) OR ((((triple6 triple2) -> rule2)) -> rule6) OR ((((triple3) -> rule3) triple7) -> rule5) OR ((((((triple1) -> rule8) triple2) -> rule2)) -> rule6) OR ((((((triple6 triple2) -> rule2)) -> rule3) triple7) -> rule5) OR ((((((((triple1) -> rule8) triple2) -> rule2)) -> rule3) triple7) -> rule5))] Anne is quiet.[(triple5 OR ((triple3) -> rule3) OR ((((triple6 triple2) -> rule2)) -> rule3) OR ((((triple6 ((triple6 triple4) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) triple2) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) ((triple6 triple4) -> rule4)) -> rule2)) -> rule3) OR ((((triple6 ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((triple6 ((((triple1) -> rule8) triple4) -> rule4)) -> rule2)) -> rule3) OR ((((triple6 ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) ((((triple1) -> rule8) triple4) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule8) ((((triple1) -> rule8) ((triple1) -> rule7)) -> rule4)) -> rule2)) -> rule3))] Anne is round.[(triple6 OR ((triple1) -> rule8))] Anne is white.[(triple7)] Dave is big.[(triple8)] Dave is round.[(triple9 OR ((triple8) -> rule8))] Dave is white.[(triple10)] @1: Dave is nice.[(((triple8) -> rule7))] @2: Dave is blue.[(((triple9 ((triple8) -> rule7)) -> rule4) OR ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4))] @3: Dave is furry.[(((triple9 ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((triple9 ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((((triple8) -> rule8) ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2))] @4: Dave is quiet.[(((((triple9 ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((triple9 ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8) ((triple9 ((triple8) -> rule7)) -> rule4)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule7)) -> rule4)) -> rule2)) -> rule3))]