Dave is green. Harry is big. Harry is quiet. All red, blue things are nice. If something is nice and green then it is white. Red things are white. All white, green things are quiet. If something is nice and blue then it is quiet. If Dave is blue and Dave is nice then Dave is big. If Dave is green and Dave is big then Dave is nice. All green things are blue.
Harry is quiet.
@0: Dave is green.[(triple1)] Harry is big.[(triple2)] Harry is quiet.[(triple3)] @1: Dave is blue.[(((triple1) -> rule8))]