Anne is big. Anne is furry. Anne is green. Anne is rough. Anne is round. Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is nice. All furry, nice things are kind. If something is round then it is nice. If something is furry then it is big.
Anne is not green.
@0: Anne is big.[(triple1 OR ((triple2) -> rule3))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Dave is big.[(triple6 OR ((triple7) -> rule3))] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9 OR ((triple7 triple10) -> rule1))] Dave is nice.[(triple10)] @1: Anne is nice.[(((triple5) -> rule2))] @2: Anne is kind.[(((triple2 ((triple5) -> rule2)) -> rule1))]