Anne is red. Dave is big. Dave is blue. If Dave is blue then Dave is not round.
Dave is not rough.
@0: Anne is red.[(triple1)] Dave is big.[(triple2)] Dave is blue.[(triple3)] @1: Dave is not round.[(((triple3) -> rule1))]