The cat is nice. The cat likes the dog. The cat visits the squirrel. The dog likes the cat. The dog likes the rabbit. The dog sees the squirrel. The dog visits the cat. The dog visits the rabbit. The rabbit is young. The rabbit likes the dog. The squirrel likes the cat. The squirrel likes the dog. The squirrel sees the cat. The squirrel sees the rabbit. The squirrel visits the cat. The squirrel visits the dog. If something is cold then it visits the dog. If something is blue then it visits the squirrel. If something likes the dog and it sees the dog then the dog likes the rabbit. If the squirrel is red then the squirrel sees the dog. All blue things are young. If the dog is nice then the dog is cold.
The rabbit sees the dog.
@0: The cat is nice.[(triple1)] The cat likes the dog.[(triple2)] The cat visits the squirrel.[(triple3)] The dog likes the cat.[(triple4)] The dog likes the rabbit.[(triple5)] The dog sees the squirrel.[(triple6)] The dog visits the cat.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the dog.[(triple10)] The squirrel likes the cat.[(triple11)] The squirrel likes the dog.[(triple12)] The squirrel sees the cat.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the cat.[(triple15)] The squirrel visits the dog.[(triple16)]