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