Dave is red. If someone is nice then they are quiet. If someone is young then they are big. All young people are big. All round, red people are smart. If Dave is quiet then Dave is not big. All red people are nice. If Dave is young and Dave is not red then Dave is not quiet. If Dave is quiet and Dave is not red then Dave is young.
Dave is not quiet.
@0: Dave is red.[(triple1)] @1: Dave is nice.[(((triple1) -> rule6))] @2: Dave is quiet.[(((((triple1) -> rule6)) -> rule1))] @3: Dave is not big.[(((((((triple1) -> rule6)) -> rule1)) -> rule5))]