Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is smart. Anne is white. Dave is big. Dave is furry. Dave is rough. Fiona is big. Fiona is green. Fiona is rough. Fiona is smart. Fiona is white. If Anne is rough and Anne is kind then Anne is white. Furry, green things are smart. If something is furry and rough then it is green. If something is smart and green then it is rough. Green, furry things are rough. If Dave is big then Dave is white. If Fiona is kind and Fiona is green then Fiona is furry. If something is smart and furry then it is kind.
Dave is not kind.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple2 triple5) -> rule3))] Anne is kind.[(triple4 OR ((triple6 triple2) -> rule8) OR ((((triple2 triple3) -> rule2) triple2) -> rule8) OR ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8))] Anne is rough.[(triple5 OR ((triple3 triple2) -> rule5) OR ((triple6 triple3) -> rule4) OR ((((triple2 triple3) -> rule2) triple3) -> rule4))] Anne is smart.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2 triple5) -> rule3)) -> rule2))] Anne is white.[(triple7 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple6 triple2) -> rule8)) -> rule1) OR ((((triple3 triple2) -> rule5) triple4) -> rule1) OR ((((triple6 triple3) -> rule4) triple4) -> rule1) OR ((((triple3 triple2) -> rule5) ((triple6 triple2) -> rule8)) -> rule1) OR ((((triple6 triple3) -> rule4) ((triple6 triple2) -> rule8)) -> rule1) OR ((triple5 ((((triple2 triple3) -> rule2) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule2) triple3) -> rule4) triple4) -> rule1) OR ((((triple3 triple2) -> rule5) ((((triple2 triple3) -> rule2) triple2) -> rule8)) -> rule1) OR ((((triple6 triple3) -> rule4) ((((triple2 triple3) -> rule2) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule2) triple3) -> rule4) ((triple6 triple2) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule2) triple3) -> rule4) ((((triple2 triple3) -> rule2) triple2) -> rule8)) -> rule1) OR ((triple5 ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8)) -> rule1) OR ((((triple3 triple2) -> rule5) ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8)) -> rule1) OR ((((triple6 triple3) -> rule4) ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule2) triple3) -> rule4) ((((triple2 ((triple2 triple5) -> rule3)) -> rule2) triple2) -> rule8)) -> rule1))] Dave is big.[(triple8)] Dave is furry.[(triple9)] Dave is rough.[(triple10)] Fiona is big.[(triple11)] Fiona is green.[(triple12)] Fiona is rough.[(triple13 OR ((triple14 triple12) -> rule4))] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Dave is green.[(((triple9 triple10) -> rule3))] Dave is white.[(((triple8) -> rule6))] @2: Dave is smart.[(((triple9 ((triple9 triple10) -> rule3)) -> rule2))] @3: Dave is kind.[(((((triple9 ((triple9 triple10) -> rule3)) -> rule2) triple9) -> rule8))]