Charlie is white. Erin is white. All quiet, red people are big. All white people are furry. Blue people are white. If someone is blue then they are red. If Charlie is rough and Charlie is not blue then Charlie is furry. If Erin is furry then Erin is blue.
Erin is blue.
@0: Charlie is white.[(triple1)] Erin is white.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule2))] Erin is furry.[(((triple2) -> rule2))] @2: Erin is blue.[(((((triple2) -> rule2)) -> rule6))] @3: Erin is red.[(((((((triple2) -> rule2)) -> rule6)) -> rule4))]