The cat is not big. The dog is kind. The lion is kind. The tiger sees the cat. If something likes the cat then the cat is rough. All red things are kind. If something likes the cat and the cat is kind then it is big.
The lion visits the lion.
@0: The cat is not big.[(triple1)] The dog is kind.[(triple2)] The lion is kind.[(triple3)] The tiger sees the cat.[(triple4)]