Anne is blue. Anne is furry. Anne is quiet. Anne is round. Anne is smart. Anne is white. Anne is young. Dave is quiet. Dave is smart. Dave is young. Harry is blue. Harry is quiet. Harry is round. Harry is smart. Harry is white. Harry is young. If someone is young then they are white. If someone is blue then they are furry. Smart, quiet people are young. All white, smart people are blue. If Anne is young then Anne is white. If someone is round then they are blue.
Dave is blue.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule6) OR ((triple6 triple5) -> rule4) OR ((((triple7) -> rule1) triple5) -> rule4) OR ((((triple7) -> rule5) triple5) -> rule4) OR ((((((triple5 triple3) -> rule3)) -> rule1) triple5) -> rule4) OR ((((((triple5 triple3) -> rule3)) -> rule5) triple5) -> rule4))] Anne is furry.[(triple2 OR ((triple1) -> rule2) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple6 triple5) -> rule4)) -> rule2) OR ((((((triple7) -> rule1) triple5) -> rule4)) -> rule2) OR ((((((triple7) -> rule5) triple5) -> rule4)) -> rule2) OR ((((((((triple5 triple3) -> rule3)) -> rule1) triple5) -> rule4)) -> rule2) OR ((((((((triple5 triple3) -> rule3)) -> rule5) triple5) -> rule4)) -> rule2))] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple7) -> rule1) OR ((triple7) -> rule5) OR ((((triple5 triple3) -> rule3)) -> rule1) OR ((((triple5 triple3) -> rule3)) -> rule5))] Anne is young.[(triple7 OR ((triple5 triple3) -> rule3))] Dave is quiet.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10 OR ((triple9 triple8) -> rule3))] Harry is blue.[(triple11 OR ((triple13) -> rule6) OR ((triple15 triple14) -> rule4) OR ((((triple16) -> rule1) triple14) -> rule4) OR ((((((triple14 triple12) -> rule3)) -> rule1) triple14) -> rule4))] Harry is quiet.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple16) -> rule1) OR ((((triple14 triple12) -> rule3)) -> rule1))] Harry is young.[(triple16 OR ((triple14 triple12) -> rule3))] @1: Dave is white.[(((triple10) -> rule1) OR ((((triple9 triple8) -> rule3)) -> rule1))] Harry is furry.[(((triple11) -> rule2) OR ((((triple13) -> rule6)) -> rule2) OR ((((triple15 triple14) -> rule4)) -> rule2) OR ((((((triple16) -> rule1) triple14) -> rule4)) -> rule2) OR ((((((((triple14 triple12) -> rule3)) -> rule1) triple14) -> rule4)) -> rule2))] @2: Dave is blue.[(((((triple10) -> rule1) triple9) -> rule4) OR ((((((triple9 triple8) -> rule3)) -> rule1) triple9) -> rule4))] @3: Dave is furry.[(((((((triple10) -> rule1) triple9) -> rule4)) -> rule2) OR ((((((((triple9 triple8) -> rule3)) -> rule1) triple9) -> rule4)) -> rule2))]