Anne is blue. Anne is not kind. Bob is nice. Charlie is not blue. Charlie is not cold. Gary is kind. Gary is not nice. If something is cold and not kind then it is red. All quiet things are not smart. If Gary is nice then Gary is not blue. Cold, quiet things are nice. If Gary is kind then Gary is not nice. All nice, kind things are cold. If Charlie is red and Charlie is kind then Charlie is cold. If Anne is not red then Anne is not smart.
Charlie is not cold.
@0: Anne is blue.[(triple1)] Anne is not kind.[(triple2)] Bob is nice.[(triple3)] Charlie is not blue.[(triple4)] Charlie is not cold.[(triple5)] Gary is kind.[(triple6)] Gary is not nice.[(triple7 OR ((triple6) -> rule5))]