Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is round. If Erin is red then Erin is nice. If someone is cold then they are rough. Rough people are red. If Erin is cold then Erin is kind. If Erin is rough and Erin is round then Erin is kind. Nice, furry people are red. Kind people are cold. Rough people are red.
Erin is kind.
@0: Erin is cold.[(triple1 OR ((triple3) -> rule7) OR ((((triple6 triple7) -> rule5)) -> rule7))] Erin is furry.[(triple2)] Erin is kind.[(triple3 OR ((triple1) -> rule4) OR ((triple6 triple7) -> rule5) OR ((((triple1) -> rule2) triple7) -> rule5))] Erin is nice.[(triple4 OR ((triple5) -> rule1) OR ((((triple6) -> rule3)) -> rule1) OR ((((triple6) -> rule8)) -> rule1) OR ((((((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule2)) -> rule8)) -> rule1))] Erin is red.[(triple5 OR ((triple6) -> rule3) OR ((triple6) -> rule8) OR ((triple4 triple2) -> rule6) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule2)) -> rule8) OR ((((((triple3) -> rule7)) -> rule2)) -> rule3) OR ((((((triple3) -> rule7)) -> rule2)) -> rule8))] Erin is rough.[(triple6 OR ((triple1) -> rule2) OR ((((triple3) -> rule7)) -> rule2))] Erin is round.[(triple7)]