Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is white. If someone is red then they are smart. Red, smart people are white.
Erin is red.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple4) -> rule1))] Erin is white.[(triple7 OR ((triple4 triple6) -> rule2) OR ((triple4 ((triple4) -> rule1)) -> rule2))]