Gary is blue. Gary is cold. Gary is not furry. Gary is not quiet. Gary is white. Gary is young. Harry is blue. Harry is not cold. Harry is furry. Harry is not nice. Harry is quiet. Harry is white. If someone is cold and quiet then they are nice. If someone is young and cold then they are not nice. If Gary is quiet and Gary is blue then Gary is furry.
Harry is quiet.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is not furry.[(triple3)] Gary is not quiet.[(triple4)] Gary is white.[(triple5)] Gary is young.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple9)] Harry is not cold.[(triple8)] Harry is not nice.[(triple10)] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Gary is not nice.[(((triple6 triple2) -> rule2))]