Anne is big. Anne is furry. Anne is kind. Anne is quiet. Anne is young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is white. Gary is big. If someone is rough then they are kind. If someone is big then they are white. If Gary is young then Gary is quiet. All furry, kind people are quiet. All white, big people are furry. If someone is big and young then they are rough.
Anne is not kind.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((((triple1) -> rule2) triple1) -> rule5))] Anne is kind.[(triple3 OR ((((triple1 triple5) -> rule6)) -> rule1))] Anne is quiet.[(triple4 OR ((triple2 triple3) -> rule4) OR ((triple2 ((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) OR ((((((triple1) -> rule2) triple1) -> rule5) triple3) -> rule4) OR ((((((triple1) -> rule2) triple1) -> rule5) ((((triple1 triple5) -> rule6)) -> rule1)) -> rule4))] Anne is young.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7 OR ((triple9 triple6) -> rule5) OR ((((triple6) -> rule2) triple6) -> rule5))] Fiona is kind.[(triple8)] Fiona is white.[(triple9 OR ((triple6) -> rule2))] Gary is big.[(triple10)] @1: Anne is rough.[(((triple1 triple5) -> rule6))] Anne is white.[(((triple1) -> rule2))] Fiona is quiet.[(((triple7 triple8) -> rule4) OR ((((triple9 triple6) -> rule5) triple8) -> rule4) OR ((((((triple6) -> rule2) triple6) -> rule5) triple8) -> rule4))] Gary is white.[(((triple10) -> rule2))] @2: Gary is furry.[(((((triple10) -> rule2) triple10) -> rule5))]