Anne is nice. Anne is quiet. Dave is quiet. All cold, quiet people are blue. All red people are quiet. Cold people are nice. If someone is quiet then they are cold. If Dave is big then Dave is blue. If Anne is nice then Anne is blue.
Anne is round.
@0: Anne is nice.[(triple1 OR ((((triple2) -> rule4)) -> rule3))] Anne is quiet.[(triple2)] Dave is quiet.[(triple3)] @1: Anne is blue.[(((triple1) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule1) OR ((((((triple2) -> rule4)) -> rule3)) -> rule6))] Anne is cold.[(((triple2) -> rule4))] Dave is cold.[(((triple3) -> rule4))] @2: Dave is blue.[(((((triple3) -> rule4) triple3) -> rule1))] Dave is nice.[(((((triple3) -> rule4)) -> rule3))]