Charlie is rough. Dave is red. Fiona is red. Harry is white. If something is white then it is round.
Charlie is not round.
@0: Charlie is rough.[(triple1)] Dave is red.[(triple2)] Fiona is red.[(triple3)] Harry is white.[(triple4)] @1: Harry is round.[(((triple4) -> rule1))]