Dave is smart. Gary is round. Harry is not smart. If Dave is round then Dave is not quiet. If Harry is green and Harry is not quiet then Harry is cold. Blue people are round. If Harry is round then Harry is not big. If someone is smart then they are blue. If someone is blue and not round then they are not big.
Dave is blue.
@0: Dave is smart.[(triple1)] Gary is round.[(triple2)] Harry is not smart.[(triple3)] @1: Dave is blue.[(((triple1) -> rule5))] @2: Dave is round.[(((((triple1) -> rule5)) -> rule3))] @3: Dave is not quiet.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))]