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.
Harry is not green.
@0: Bob is nice.[(triple1)] Dave is nice.[(triple2)] Erin is quiet.[(triple3)] Harry is nice.[(triple4)] @1: Erin is green.[(((triple3) -> rule2))]