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