Anne is quiet. Dave is quiet. Gary is blue. Harry is blue. Quiet things are green. If something is cold then it is furry. If something is blue then it is quiet. All nice, quiet things are green. All nice, cold things are smart. All green things are nice.
Anne is not cold.
@0: Anne is quiet.[(triple1)] Dave is quiet.[(triple2)] Gary is blue.[(triple3)] Harry is blue.[(triple4)] @1: Anne is green.[(((triple1) -> rule1))] Dave is green.[(((triple2) -> rule1))] Gary is quiet.[(((triple3) -> rule3))] Harry is quiet.[(((triple4) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule6))] Dave is nice.[(((((triple2) -> rule1)) -> rule6))] Gary is green.[(((((triple3) -> rule3)) -> rule1))] Harry is green.[(((((triple4) -> rule3)) -> rule1))] @3: Gary is nice.[(((((((triple3) -> rule3)) -> rule1)) -> rule6))] Harry is nice.[(((((((triple4) -> rule3)) -> rule1)) -> rule6))]