The bald eagle is cold. The bald eagle is rough. The bald eagle sees the cow. The bald eagle does not visit the bear. The bald eagle does not visit the cow. The bear is cold. The bear is red. The bear visits the cow. The cow is big. The cow is cold. The cow likes the bald eagle. The cow likes the bear. The cow does not see the bald eagle. The cow visits the bald eagle. The cow visits the bear. If something likes the bear and it visits the bear then the bear visits the cow. If something visits the cow and it is not big then the cow visits the bald eagle. If something is rough then it sees the bear. If something is blue then it does not like the bear. If something sees the cow then the cow likes the bear. If something sees the bear then it is blue.
The cow likes the cow.
@0: The bald eagle does not visit the bear.[(triple4)] The bald eagle does not visit the cow.[(triple5)] The bald eagle is cold.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the cow.[(triple3)] The bear is cold.[(triple6)] The bear is red.[(triple7)] The bear visits the cow.[(triple8 OR ((triple12 triple15) -> rule1) OR ((((triple3) -> rule5) triple15) -> rule1))] The cow does not see the bald eagle.[(triple13)] The cow is big.[(triple9)] The cow is cold.[(triple10)] The cow likes the bald eagle.[(triple11)] The cow likes the bear.[(triple12 OR ((triple3) -> rule5))] The cow visits the bald eagle.[(triple14)] The cow visits the bear.[(triple15)] @1: The bald eagle sees the bear.[(((triple2) -> rule3))] @2: The bald eagle is blue.[(((((triple2) -> rule3)) -> rule6))] @3: The bald eagle does not like the bear.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))]