Charlie is quiet. Dave is green. Dave is not nice. Dave is smart. Fiona is red. Fiona is rough. Harry is green. If Harry is green then Harry is red. If someone is nice then they are white.
Dave is smart.
@0: Charlie is quiet.[(triple1)] Dave is green.[(triple2)] Dave is not nice.[(triple3)] Dave is smart.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Harry is green.[(triple7)] @1: Harry is red.[(((triple7) -> rule1))]