Charlie is nice. Charlie is red. Dave is cold. Dave is kind. Dave is not red. Gary is big. Gary is quiet. Harry is big. Harry is kind. Harry is quiet. Nice, cold people are smart. If someone is cold then they are not nice. If someone is kind and not smart then they are red.
Gary is cold.
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is not red.[(triple5)] Gary is big.[(triple6)] Gary is quiet.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] @1: Dave is not nice.[(((triple3) -> rule2))]