Anne is round. Dave is red. Dave is rough. Dave is round. Gary is green. Gary is rough. Harry is rough. If something is nice and green then it is round. If Anne is green then Anne is cold. If Harry is green and Harry is red then Harry is nice. If something is red and young then it is green. All red things are young. All cold things are red.
Dave is not red.
@0: Anne is round.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Harry is rough.[(triple7)] @1: Dave is young.[(((triple2) -> rule5))] @2: Dave is green.[(((triple2 ((triple2) -> rule5)) -> rule4))]