Dave is blue. Fiona is not green. Gary is white. Harry is blue. All white people are not nice. If Dave is green and Dave is not blue then Dave is big. All blue, big people are green. If someone is big and not white then they are round. If Fiona is blue and Fiona is big then Fiona is green. If Dave is blue then Dave is nice.
Harry is blue.
@0: Dave is blue.[(triple1)] Fiona is not green.[(triple2)] Gary is white.[(triple3)] Harry is blue.[(triple4)] @1: Dave is nice.[(((triple1) -> rule6))] Gary is not nice.[(((triple3) -> rule1))]