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