Dave is cold. Dave is quiet. Dave is round. If Dave is big then Dave is quiet. Quiet people are red. If someone is quiet then they are cold. If Dave is young then Dave is cold. All round, red people are cold. If Dave is round and Dave is quiet then Dave is red.
Dave is not round.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule3) OR ((triple3 ((triple2) -> rule2)) -> rule5) OR ((triple3 ((triple3 triple2) -> rule6)) -> rule5))] Dave is quiet.[(triple2)] Dave is round.[(triple3)] @1: Dave is red.[(((triple2) -> rule2) OR ((triple3 triple2) -> rule6))]