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