Dave is not furry. Dave is quiet. Dave is young. Smart people are not quiet. If someone is young then they are cold. If Dave is big and Dave is smart then Dave is quiet. If Dave is cold and Dave is not furry then Dave is quiet. All smart people are rough. If someone is cold then they are rough. If someone is quiet and cold then they are young. Rough people are big.
Dave is not big.
@0: Dave is not furry.[(triple1)] Dave is quiet.[(triple2 OR ((((triple3) -> rule2) triple1) -> rule4))] Dave is young.[(triple3)] @1: Dave is cold.[(((triple3) -> rule2))] @2: Dave is rough.[(((((triple3) -> rule2)) -> rule6))] @3: Dave is big.[(((((((triple3) -> rule2)) -> rule6)) -> rule8))]