Anne is big. Anne is blue. Anne is green. Anne is white. Charlie is blue. Charlie is not nice. Dave is kind. Fiona is furry. Fiona is kind. Fiona is nice. Nice, big people are kind. Big people are kind. Kind, blue people are nice. If Dave is not big then Dave is green. If Charlie is furry then Charlie is not nice. If someone is big and nice then they are furry. If Anne is white and Anne is green then Anne is kind. If someone is nice and not white then they are green.
Dave is not furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is not nice.[(triple6)] Dave is kind.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] @1: Anne is kind.[(((triple1) -> rule2) OR ((triple4 triple3) -> rule7))] @2: Anne is nice.[(((((triple1) -> rule2) triple2) -> rule3) OR ((((triple4 triple3) -> rule7) triple2) -> rule3))] @3: Anne is furry.[(((triple1 ((((triple1) -> rule2) triple2) -> rule3)) -> rule6) OR ((triple1 ((((triple4 triple3) -> rule7) triple2) -> rule3)) -> rule6))]