Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is young. All kind, green people are big. Blue people are big. Furry people are kind. If someone is blue then they are big. All furry people are kind. All blue people are young.
Anne is not kind.
@0: Anne is big.[(triple1 OR ((triple2) -> rule2) OR ((triple2) -> rule4) OR ((triple5 triple4) -> rule1) OR ((((triple3) -> rule3) triple4) -> rule1) OR ((((triple3) -> rule5) triple4) -> rule1))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5 OR ((triple3) -> rule3) OR ((triple3) -> rule5))] Anne is rough.[(triple6)] Anne is young.[(triple7 OR ((triple2) -> rule6))]