Dave is green. Erin is not big. Harry is quiet. If something is white and cold then it is big. All white, cold things are big. If something is cold then it is big. Quiet, white things are round. All white things are not round. All big, cold things are not red. If something is green then it is cold. Red, round things are not white.
Erin is not round.
@0: Dave is green.[(triple1)] Erin is not big.[(triple2)] Harry is quiet.[(triple3)] @1: Dave is cold.[(((triple1) -> rule7))] @2: Dave is big.[(((((triple1) -> rule7)) -> rule3))] @3: Dave is not red.[(((((((triple1) -> rule7)) -> rule3) ((triple1) -> rule7)) -> rule6))]