Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is young. If Anne is young and Anne is nice then Anne is big. If something is nice and big then it is rough. If something is quiet and big then it is nice. If something is rough then it is round. All quiet, round things are kind. Quiet things are round.
Anne is nice.
@0: Anne is big.[(triple1 OR ((triple7 triple3) -> rule1))] Anne is kind.[(triple2 OR ((triple4 triple6) -> rule5) OR ((triple4 ((triple4) -> rule6)) -> rule5) OR ((triple4 ((triple5) -> rule4)) -> rule5) OR ((triple4 ((((triple3 triple1) -> rule2)) -> rule4)) -> rule5) OR ((triple4 ((((triple3 ((triple7 triple3) -> rule1)) -> rule2)) -> rule4)) -> rule5) OR ((triple4 ((((((triple4 triple1) -> rule3) triple1) -> rule2)) -> rule4)) -> rule5) OR ((triple4 ((((((triple4 triple1) -> rule3) ((triple7 triple3) -> rule1)) -> rule2)) -> rule4)) -> rule5))] Anne is nice.[(triple3 OR ((triple4 triple1) -> rule3))] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple7 triple3) -> rule1)) -> rule2) OR ((((triple4 triple1) -> rule3) triple1) -> rule2) OR ((((triple4 triple1) -> rule3) ((triple7 triple3) -> rule1)) -> rule2))] Anne is round.[(triple6 OR ((triple4) -> rule6) OR ((triple5) -> rule4) OR ((((triple3 triple1) -> rule2)) -> rule4) OR ((((triple3 ((triple7 triple3) -> rule1)) -> rule2)) -> rule4) OR ((((((triple4 triple1) -> rule3) triple1) -> rule2)) -> rule4) OR ((((((triple4 triple1) -> rule3) ((triple7 triple3) -> rule1)) -> rule2)) -> rule4))] Anne is young.[(triple7)]