Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is young. All red people are blue. If someone is big and cold then they are blue. If Erin is cold then Erin is furry. All cold people are furry. Red people are furry. If Erin is red and Erin is not cold then Erin is young. If someone is furry then they are red. Furry people are kind.
Erin is young.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple6) -> rule1) OR ((triple1 triple3) -> rule2) OR ((((triple4) -> rule7)) -> rule1) OR ((((((triple3) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3) -> rule4)) -> rule7)) -> rule1))] Erin is cold.[(triple3)] Erin is furry.[(triple4 OR ((triple3) -> rule3) OR ((triple3) -> rule4) OR ((triple6) -> rule5))] Erin is kind.[(triple5 OR ((triple4) -> rule8) OR ((((triple3) -> rule3)) -> rule8) OR ((((triple3) -> rule4)) -> rule8) OR ((((triple6) -> rule5)) -> rule8))] Erin is red.[(triple6 OR ((triple4) -> rule7) OR ((((triple3) -> rule3)) -> rule7) OR ((((triple3) -> rule4)) -> rule7))] Erin is young.[(triple7)]