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