The bear eats the cat. The cat eats the bear. The cat is green. The cat sees the bear. The cat visits the rabbit. The cow eats the rabbit. The cow is blue. The cow visits the cat. The cow visits the rabbit. The rabbit eats the bear. The rabbit eats the cat. The rabbit is green. The rabbit is red. The rabbit sees the bear. The rabbit sees the cat. The rabbit visits the cow. If something is green and it visits the cat then it is blue.
The cat is round.
@0: The bear eats the cat.[(triple1)] The cat eats the bear.[(triple2)] The cat is green.[(triple3)] The cat sees the bear.[(triple4)] The cat visits the rabbit.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is blue.[(triple7)] The cow visits the cat.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit eats the cat.[(triple11)] The rabbit is green.[(triple12)] The rabbit is red.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit sees the cat.[(triple15)] The rabbit visits the cow.[(triple16)]