The cat is big. The cow eats the cat. The cow eats the rabbit. The cow is big. The cow is blue. The cow is rough. The cow sees the cat. The cow visits the cat. The cow visits the rabbit. The rabbit eats the cat. The rabbit eats the cow. The rabbit sees the cat. If the cow is nice then the cow visits the rabbit.
The rabbit does not eat the cat.
@0: The cat is big.[(triple1)] The cow eats the cat.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is big.[(triple4)] The cow is blue.[(triple5)] The cow is rough.[(triple6)] The cow sees the cat.[(triple7)] The cow visits the cat.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit eats the cow.[(triple11)] The rabbit sees the cat.[(triple12)]