The cow is not big. The cow is blue. The cow is not cold. The cow is not kind. The cow is not nice. All big, kind things are cold. If something is kind and not nice then it is cold. If the cow is blue and the cow is nice then the cow is cold. Nice things are big. All kind, cold things are big. If something is blue and cold then it is big. If something is blue and cold then it is kind. Nice things are blue.
The cow chases the cow.
@0: The cow is blue.[(triple2)] The cow is not big.[(triple1)] The cow is not cold.[(triple3)] The cow is not kind.[(triple4)] The cow is not nice.[(triple5)]