Charlie is red. Dave is nice. Dave is red. Gary is blue. Harry is kind. Harry is nice. Harry is red. If someone is nice and red then they are blue.
Charlie is not blue.
@0: Charlie is red.[(triple1)] Dave is nice.[(triple2)] Dave is red.[(triple3)] Gary is blue.[(triple4)] Harry is kind.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Dave is blue.[(((triple2 triple3) -> rule1))] Harry is blue.[(((triple6 triple7) -> rule1))]