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