Dave is big. Dave is cold. Dave is not green. Dave is kind. Dave is red. Dave is not rough. Dave is white. Gary is green. Gary is not kind. Gary is not red. Gary is rough. Gary is white. If Gary is big then Gary is cold. All red, rough people are kind. If someone is green then they are cold.
Dave is big.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple4)] Dave is not green.[(triple3)] Dave is not rough.[(triple6)] Dave is red.[(triple5)] Dave is white.[(triple7)] Gary is green.[(triple8)] Gary is not kind.[(triple9)] Gary is not red.[(triple10)] Gary is rough.[(triple11)] Gary is white.[(triple12)] @1: Gary is cold.[(((triple8) -> rule3))]