The cat is cold. The cat is not kind. The cat is rough. The cat is round. The cat is young. All kind things are young. If the cat is young and the cat is kind then the cat is not round.
The cat sees the cat.
@0: The cat is cold.[(triple1)] The cat is not kind.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)]