Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is round. Erin is smart. Big things are cold. If Erin is kind and Erin is red then Erin is big. If Erin is round and Erin is big then Erin is smart. If Erin is kind then Erin is green. If Erin is cold and Erin is big then Erin is green. If something is smart and big then it is round.
Erin is kind.
@0: Erin is big.[(triple1 OR ((triple4 triple5) -> rule2))] Erin is cold.[(triple2 OR ((triple1) -> rule1) OR ((((triple4 triple5) -> rule2)) -> rule1))] Erin is green.[(triple3 OR ((triple4) -> rule4) OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple4 triple5) -> rule2)) -> rule5) OR ((((triple1) -> rule1) triple1) -> rule5) OR ((((triple1) -> rule1) ((triple4 triple5) -> rule2)) -> rule5) OR ((((((triple4 triple5) -> rule2)) -> rule1) triple1) -> rule5) OR ((((((triple4 triple5) -> rule2)) -> rule1) ((triple4 triple5) -> rule2)) -> rule5))] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6 OR ((triple7 triple1) -> rule6) OR ((triple7 ((triple4 triple5) -> rule2)) -> rule6))] Erin is smart.[(triple7 OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple4 triple5) -> rule2)) -> rule3))]