Dave is blue. If something is quiet then it is rough. Young things are big. All rough things are cold. If Dave is young then Dave is rough. If Dave is kind and Dave is blue then Dave is young. All blue things are young.
Dave is young.
@0: Dave is blue.[(triple1)] @1: Dave is young.[(((triple1) -> rule6))] @2: Dave is big.[(((((triple1) -> rule6)) -> rule2))] Dave is rough.[(((((triple1) -> rule6)) -> rule4))] @3: Dave is cold.[(((((((triple1) -> rule6)) -> rule4)) -> rule3))]