Dave is smart. If someone is cold then they are green. If Dave is red and Dave is quiet then Dave is cold. All big people are green. All smart, quiet people are big. If someone is green and quiet then they are cold. Big people are quiet. If someone is big and red then they are green. All smart people are big.
Dave is not cold.
@0: Dave is smart.[(triple1)] @1: Dave is big.[(((triple1) -> rule8))] @2: Dave is green.[(((((triple1) -> rule8)) -> rule3))] Dave is quiet.[(((((triple1) -> rule8)) -> rule6))] @3: Dave is cold.[(((((((triple1) -> rule8)) -> rule3) ((((triple1) -> rule8)) -> rule6)) -> rule5))]