The cat is big. The cat is cold. The cat is not green. The cat is nice. The cat is red. If something is red and not big then it is cold. If something is green and nice then it is not cold. If the cat is big and the cat is green then the cat is nice.
The cat sees the cat.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is nice.[(triple4)] The cat is not green.[(triple3)] The cat is red.[(triple5)]