Bob is nice. Dave is nice. Erin is quiet. Harry is nice. If someone is quiet and cold then they are green. All quiet people are green.
Bob is furry.
@0: Bob is nice.[(triple1)] Dave is nice.[(triple2)] Erin is quiet.[(triple3)] Harry is nice.[(triple4)] @1: Erin is green.[(((triple3) -> rule2))]