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