Bob is furry. Bob is smart. Erin is green. Erin is red. Erin is smart. Gary is blue. Gary is red. Blue people are furry. If someone is furry and red then they are green.
Erin is not furry.
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Gary is blue.[(triple6)] Gary is red.[(triple7)] @1: Gary is furry.[(((triple6) -> rule1))] @2: Gary is green.[(((((triple6) -> rule1) triple7) -> rule2))]