Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Dave is kind. Dave is nice. Gary is blue. Gary is not kind. Gary is not nice. Gary is quiet. Gary is not red. Harry is blue. Harry is not kind. Harry is nice. Harry is not quiet. If Harry is not white then Harry is not nice. If Charlie is not white then Charlie is smart. Smart, kind people are blue. All nice, red people are smart. Quiet, white people are not smart. If Dave is kind then Dave is blue.
Charlie is smart.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Gary is blue.[(triple7)] Gary is not kind.[(triple8)] Gary is not nice.[(triple9)] Gary is not red.[(triple11)] Gary is quiet.[(triple10)] Harry is blue.[(triple12)] Harry is nice.[(triple14)] Harry is not kind.[(triple13)] Harry is not quiet.[(triple15)] @1: Charlie is smart.[(((triple2 triple3) -> rule4))] Dave is blue.[(((triple5) -> rule6))] @2: Charlie is blue.[(((((triple2 triple3) -> rule4) triple1) -> rule3))]