The bald eagle is red. The bald eagle likes the cow. The bald eagle does not like the rabbit. The cat is blue. The cat is red. The cat visits the cow. The cow is not rough. The cow likes the bald eagle. The rabbit is blue. The rabbit is rough. The rabbit likes the bald eagle. The rabbit sees the bald eagle. If the bald eagle is blue then the bald eagle does not like the cat.
The cat is not blue.
@0: The bald eagle does not like the rabbit.[(triple3)] The bald eagle is red.[(triple1)] The bald eagle likes the cow.[(triple2)] The cat is blue.[(triple4)] The cat is red.[(triple5)] The cat visits the cow.[(triple6)] The cow is not rough.[(triple7)] The cow likes the bald eagle.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit sees the bald eagle.[(triple12)]