Dave is big. Dave is nice. Dave is not smart. If someone is green then they are white. Young people are not white. All white people are cold. If someone is young and not smart then they are not green. If Dave is young and Dave is smart then Dave is nice. If Dave is nice then Dave is green.
Dave is green.
@0: Dave is big.[(triple1)] Dave is nice.[(triple2)] Dave is not smart.[(triple3)] @1: Dave is green.[(((triple2) -> rule6))] @2: Dave is white.[(((((triple2) -> rule6)) -> rule1))] @3: Dave is cold.[(((((((triple2) -> rule6)) -> rule1)) -> rule3))]