Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is round. Green things are nice. If Erin is big then Erin is cold. Big things are red. All blue things are round. Cold, round things are big. Nice things are cold. All nice things are green. If Erin is red then Erin is big.
Erin is nice.
@0: Erin is big.[(triple1 OR ((triple6) -> rule8) OR ((triple3 triple7) -> rule5) OR ((triple3 ((triple2) -> rule4)) -> rule5) OR ((((triple5) -> rule6) triple7) -> rule5) OR ((((triple5) -> rule6) ((triple2) -> rule4)) -> rule5) OR ((((((triple4) -> rule1)) -> rule6) triple7) -> rule5) OR ((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule4)) -> rule5))] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((triple1) -> rule2) OR ((triple5) -> rule6) OR ((((triple4) -> rule1)) -> rule6) OR ((((triple6) -> rule8)) -> rule2))] Erin is green.[(triple4 OR ((triple5) -> rule7))] Erin is nice.[(triple5 OR ((triple4) -> rule1))] Erin is red.[(triple6 OR ((triple1) -> rule3) OR ((((triple3 triple7) -> rule5)) -> rule3) OR ((((triple3 ((triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple5) -> rule6) triple7) -> rule5)) -> rule3) OR ((((((triple5) -> rule6) ((triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule6) triple7) -> rule5)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule4)) -> rule5)) -> rule3))] Erin is round.[(triple7 OR ((triple2) -> rule4))]