Dave is red. Harry is quiet. If something is red and green then it is smart. All quiet things are smart. Round things are not quiet. If something is quiet then it is not big. If Harry is smart then Harry is quiet. If Dave is rough then Dave is smart. All smart, rough things are red. If something is quiet and not green then it is not round.
Dave is red.
@0: Dave is red.[(triple1)] Harry is quiet.[(triple2)] @1: Harry is not big.[(((triple2) -> rule4))] Harry is smart.[(((triple2) -> rule2))]