Dave is white. Fiona is young. If something is smart then it is not young. White things are big. If something is kind and white then it is big. If something is kind and smart then it is rough. If something is quiet and not white then it is smart. All big things are smart.
Dave is not big.
@0: Dave is white.[(triple1)] Fiona is young.[(triple2)] @1: Dave is big.[(((triple1) -> rule2))] @2: Dave is smart.[(((((triple1) -> rule2)) -> rule6))] @3: Dave is not young.[(((((((triple1) -> rule2)) -> rule6)) -> rule1))]