Bob is nice. Erin is red. Nice people are furry. All green people are not furry. If Erin is furry and Erin is not blue then Erin is not red. Green, blue people are nice. If someone is red then they are nice. All furry people are cold.
Bob is green.
@0: Bob is nice.[(triple1)] Erin is red.[(triple2)] @1: Bob is furry.[(((triple1) -> rule1))] Erin is nice.[(((triple2) -> rule5))] @2: Bob is cold.[(((((triple1) -> rule1)) -> rule6))] Erin is furry.[(((((triple2) -> rule5)) -> rule1))] @3: Erin is cold.[(((((((triple2) -> rule5)) -> rule1)) -> rule6))]