Dave is big. Red, big people are young. If someone is red then they are cold. Red, green people are cold. If Dave is cold and Dave is smart then Dave is red. Cold, green people are young. If Dave is big then Dave is blue. If someone is big then they are green. If someone is big and blue then they are smart.
Dave is not big.
@0: Dave is big.[(triple1)] @1: Dave is blue.[(((triple1) -> rule6))] Dave is green.[(((triple1) -> rule7))] @2: Dave is smart.[(((triple1 ((triple1) -> rule6)) -> rule8))]