The bald eagle is not blue. The bald eagle is nice. The bald eagle is not red. The bald eagle is not round. The bald eagle does not like the cow. The bald eagle does not like the rabbit. The bald eagle sees the cow. The bald eagle sees the rabbit. The bald eagle does not visit the cow. The bald eagle visits the rabbit. The cow is round. The cow sees the bald eagle. The cow visits the rabbit. The rabbit is blue. The rabbit likes the cow. The rabbit visits the bald eagle. If someone sees the cow then they visit the bald eagle. If someone is round then they are blue. If someone is blue and they like the cow then the cow is not nice.
The bald eagle is not round.
@0: The bald eagle does not like the cow.[(triple5)] The bald eagle does not like the rabbit.[(triple6)] The bald eagle does not visit the cow.[(triple9)] The bald eagle is nice.[(triple2)] The bald eagle is not blue.[(triple1)] The bald eagle is not red.[(triple3)] The bald eagle is not round.[(triple4)] The bald eagle sees the cow.[(triple7)] The bald eagle sees the rabbit.[(triple8)] The bald eagle visits the rabbit.[(triple10)] The cow is round.[(triple11)] The cow sees the bald eagle.[(triple12)] The cow visits the rabbit.[(triple13)] The rabbit is blue.[(triple14)] The rabbit likes the cow.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple7) -> rule1))] The cow is blue.[(((triple11) -> rule2))] The cow is not nice.[(((triple14 triple15) -> rule3))]