Charlie is big. Charlie is blue. Charlie is not nice. Charlie is young. Dave is big. Dave is not cold. Dave is nice. Dave is not red. Dave is not young. Erin is blue. Erin is not cold. Erin is nice. Erin is young. Gary is big. Gary is cold. Gary is green. All red, nice things are big. Blue things are green. If Gary is nice then Gary is not green.
Gary is cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is not nice.[(triple3)] Charlie is young.[(triple4)] Dave is big.[(triple5)] Dave is nice.[(triple7)] Dave is not cold.[(triple6)] Dave is not red.[(triple8)] Dave is not young.[(triple9)] Erin is blue.[(triple10)] Erin is nice.[(triple12)] Erin is not cold.[(triple11)] Erin is young.[(triple13)] Gary is big.[(triple14)] Gary is cold.[(triple15)] Gary is green.[(triple16)] @1: Charlie is green.[(((triple2) -> rule2))] Erin is green.[(((triple10) -> rule2))]