Bob is white. Erin is white. Gary is smart. All red people are furry. If someone is green then they are furry. If Gary is red and Gary is green then Gary is smart. Red, smart people are green. If Erin is white then Erin is green. If Gary is white and Gary is furry then Gary is rough.
Erin is furry.
@0: Bob is white.[(triple1)] Erin is white.[(triple2)] Gary is smart.[(triple3)] @1: Erin is green.[(((triple2) -> rule5))] @2: Erin is furry.[(((((triple2) -> rule5)) -> rule2))]