Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is round. Big, nice people are furry. If Anne is kind then Anne is round. If someone is furry then they are kind.
Anne is round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple1 triple5) -> rule1))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple2) -> rule3) OR ((((triple1 triple5) -> rule1)) -> rule3))] Anne is nice.[(triple5)] Anne is red.[(triple6)] Anne is round.[(triple7 OR ((triple4) -> rule2) OR ((((triple2) -> rule3)) -> rule2) OR ((((((triple1 triple5) -> rule1)) -> rule3)) -> rule2))]