Charlie is blue. Charlie is nice. Dave is furry. Erin is green. Erin is smart. Harry is nice. Harry is quiet. If Erin is blue then Erin is smart. All furry people are green. All quiet people are cold. If someone is furry then they are quiet. Cold people are blue. All furry, nice people are green.
Harry is not quiet.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2)] Dave is furry.[(triple3)] Erin is green.[(triple4)] Erin is smart.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Dave is green.[(((triple3) -> rule2))] Dave is quiet.[(((triple3) -> rule4))] Harry is cold.[(((triple7) -> rule3))] @2: Dave is cold.[(((((triple3) -> rule4)) -> rule3))] Harry is blue.[(((((triple7) -> rule3)) -> rule5))] @3: Dave is blue.[(((((((triple3) -> rule4)) -> rule3)) -> rule5))]