Anne is big. Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is young. If someone is big then they are cold. All kind, cold people are nice. Round, nice people are young. Cold, green people are round. If Anne is green then Anne is cold. All kind people are young. Cold people are round. All green people are nice.
Anne is young.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule1) OR ((triple3) -> rule5))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple3) -> rule8) OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple1) -> rule1)) -> rule2) OR ((triple4 ((triple3) -> rule5)) -> rule2))] Anne is round.[(triple6 OR ((triple2) -> rule7) OR ((triple2 triple3) -> rule4) OR ((((triple1) -> rule1)) -> rule7) OR ((((triple3) -> rule5)) -> rule7) OR ((((triple1) -> rule1) triple3) -> rule4) OR ((((triple3) -> rule5) triple3) -> rule4))] Anne is young.[(triple7 OR ((triple4) -> rule6) OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple3) -> rule8)) -> rule3) OR ((triple6 ((triple4 triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule7) triple5) -> rule3) OR ((((triple2 triple3) -> rule4) triple5) -> rule3) OR ((((triple2) -> rule7) ((triple3) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((triple4 triple2) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple2 triple3) -> rule4) ((triple4 triple2) -> rule2)) -> rule3) OR ((triple6 ((triple4 ((triple1) -> rule1)) -> rule2)) -> rule3) OR ((triple6 ((triple4 ((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule7) triple5) -> rule3) OR ((((((triple3) -> rule5)) -> rule7) triple5) -> rule3) OR ((((((triple1) -> rule1) triple3) -> rule4) triple5) -> rule3) OR ((((((triple3) -> rule5) triple3) -> rule4) triple5) -> rule3) OR ((((triple2) -> rule7) ((triple4 ((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((triple2) -> rule7) ((triple4 ((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule7) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule1)) -> rule7) ((triple4 triple2) -> rule2)) -> rule3) OR ((((((triple3) -> rule5)) -> rule7) ((triple3) -> rule8)) -> rule3) OR ((((((triple3) -> rule5)) -> rule7) ((triple4 triple2) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule4) ((triple4 ((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule4) ((triple4 ((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1) triple3) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule1) triple3) -> rule4) ((triple4 triple2) -> rule2)) -> rule3) OR ((((((triple3) -> rule5) triple3) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple3) -> rule5) triple3) -> rule4) ((triple4 triple2) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule7) ((triple4 ((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule7) ((triple4 ((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((((triple3) -> rule5)) -> rule7) ((triple4 ((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((((triple3) -> rule5)) -> rule7) ((triple4 ((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1) triple3) -> rule4) ((triple4 ((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1) triple3) -> rule4) ((triple4 ((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((((triple3) -> rule5) triple3) -> rule4) ((triple4 ((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((((triple3) -> rule5) triple3) -> rule4) ((triple4 ((triple3) -> rule5)) -> rule2)) -> rule3))]