Erin is big. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is smart. Smart, kind things are big. Green things are rough. If Erin is big and Erin is blue then Erin is rough. All nice things are smart. Smart, rough things are green. If Erin is smart then Erin is blue. Smart, kind things are rough. All smart, rough things are kind.
Erin is big.
@0: Erin is big.[(triple1 OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple7 triple6) -> rule8)) -> rule1) OR ((((triple5) -> rule4) triple4) -> rule1) OR ((((triple5) -> rule4) ((triple7 triple6) -> rule8)) -> rule1) OR ((triple7 ((triple7 ((triple3) -> rule2)) -> rule8)) -> rule1) OR ((triple7 ((((triple5) -> rule4) triple6) -> rule8)) -> rule1) OR ((triple7 ((((triple5) -> rule4) ((triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple5) -> rule4) ((triple7 ((triple3) -> rule2)) -> rule8)) -> rule1) OR ((((triple5) -> rule4) ((((triple5) -> rule4) triple6) -> rule8)) -> rule1) OR ((((triple5) -> rule4) ((((triple5) -> rule4) ((triple3) -> rule2)) -> rule8)) -> rule1))] Erin is blue.[(triple2 OR ((triple7) -> rule6) OR ((((triple5) -> rule4)) -> rule6))] Erin is green.[(triple3 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple1 triple2) -> rule3)) -> rule5) OR ((triple7 ((triple7 triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule4) triple6) -> rule5) OR ((((triple5) -> rule4) ((triple1 triple2) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((triple7 triple4) -> rule7)) -> rule5) OR ((triple7 ((triple1 ((triple7) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((triple5) -> rule4) triple4) -> rule7)) -> rule5) OR ((triple7 ((((triple7 triple4) -> rule1) triple2) -> rule3)) -> rule5) OR ((triple7 ((((triple7 triple4) -> rule1) ((triple7) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((triple1 ((triple7) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((((triple5) -> rule4) triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule4) ((((triple7 triple4) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((((triple7 triple4) -> rule1) ((triple7) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((triple1 ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((((triple5) -> rule4) triple4) -> rule1) triple2) -> rule3)) -> rule5) OR ((triple7 ((((triple7 triple4) -> rule1) ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((((triple5) -> rule4) triple4) -> rule1) ((triple7) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((triple1 ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((((((triple5) -> rule4) triple4) -> rule1) triple2) -> rule3)) -> rule5) OR ((triple7 ((((((triple5) -> rule4) triple4) -> rule1) ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((((triple7 triple4) -> rule1) ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((((((triple5) -> rule4) triple4) -> rule1) ((triple7) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((((((triple5) -> rule4) triple4) -> rule1) ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Erin is kind.[(triple4 OR ((triple7 triple6) -> rule8) OR ((triple7 ((triple3) -> rule2)) -> rule8) OR ((triple7 ((triple1 triple2) -> rule3)) -> rule8) OR ((((triple5) -> rule4) triple6) -> rule8) OR ((((triple5) -> rule4) ((triple3) -> rule2)) -> rule8) OR ((((triple5) -> rule4) ((triple1 triple2) -> rule3)) -> rule8) OR ((triple7 ((triple1 ((triple7) -> rule6)) -> rule3)) -> rule8) OR ((((triple5) -> rule4) ((triple1 ((triple7) -> rule6)) -> rule3)) -> rule8) OR ((triple7 ((triple1 ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((((triple5) -> rule4) ((triple1 ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule8))] Erin is nice.[(triple5)] Erin is rough.[(triple6 OR ((triple3) -> rule2) OR ((triple1 triple2) -> rule3) OR ((triple7 triple4) -> rule7) OR ((triple1 ((triple7) -> rule6)) -> rule3) OR ((((triple5) -> rule4) triple4) -> rule7) OR ((((triple7 triple4) -> rule1) triple2) -> rule3) OR ((((triple7 triple4) -> rule1) ((triple7) -> rule6)) -> rule3) OR ((triple1 ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((((triple5) -> rule4) triple4) -> rule1) triple2) -> rule3) OR ((((triple7 triple4) -> rule1) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((((triple5) -> rule4) triple4) -> rule1) ((triple7) -> rule6)) -> rule3) OR ((((((triple5) -> rule4) triple4) -> rule1) ((((triple5) -> rule4)) -> rule6)) -> rule3))] Erin is smart.[(triple7 OR ((triple5) -> rule4))]