The cat is not big. The cat is cold. The cat is rough. The cat does not visit the lion. The cow is nice. The cow likes the cat. The cow sees the lion. The lion is kind. The lion sees the cat. The lion sees the squirrel. The lion visits the cat. The lion visits the cow. The squirrel likes the cat. The squirrel visits the cow. The squirrel visits the lion. If the squirrel likes the lion and the lion likes the squirrel then the squirrel is big. Big things are nice.
The squirrel does not visit the lion.
@0: The cat does not visit the lion.[(triple4)] The cat is cold.[(triple2)] The cat is not big.[(triple1)] The cat is rough.[(triple3)] The cow is nice.[(triple5)] The cow likes the cat.[(triple6)] The cow sees the lion.[(triple7)] The lion is kind.[(triple8)] The lion sees the cat.[(triple9)] The lion sees the squirrel.[(triple10)] The lion visits the cat.[(triple11)] The lion visits the cow.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel visits the cow.[(triple14)] The squirrel visits the lion.[(triple15)]