Anne is green. Anne is kind. Anne is nice. Anne is red. Dave is furry. Dave is green. Dave is young. If Dave is round and Dave is green then Dave is kind. Red things are nice. If something is furry then it is nice. If something is nice then it is red. Kind, red things are round. If Anne is red and Anne is nice then Anne is young. If Dave is red then Dave is kind. If Anne is furry then Anne is round.
Anne is round.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule2))] Anne is red.[(triple4 OR ((triple3) -> rule4))] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is young.[(triple7)] @1: Anne is round.[(((triple2 triple4) -> rule5) OR ((triple2 ((triple3) -> rule4)) -> rule5))] Anne is young.[(((triple4 triple3) -> rule6) OR ((triple4 ((triple4) -> rule2)) -> rule6) OR ((((triple3) -> rule4) triple3) -> rule6) OR ((((triple3) -> rule4) ((triple4) -> rule2)) -> rule6))] Dave is nice.[(((triple5) -> rule3))] @2: Dave is red.[(((((triple5) -> rule3)) -> rule4))] @3: Dave is kind.[(((((((triple5) -> rule3)) -> rule4)) -> rule7))] @4: Dave is round.[(((((((((triple5) -> rule3)) -> rule4)) -> rule7) ((((triple5) -> rule3)) -> rule4)) -> rule5))]