The bald eagle likes the squirrel. The bald eagle needs the cow. The bear is nice. The bear visits the cow. The cow likes the bald eagle. The squirrel is nice. The squirrel visits the bald eagle. If something is blue and nice then it likes the bear. If something needs the bald eagle then the bald eagle visits the bear. If something is big then it is nice. If something needs the cow and the cow needs the bear then the bear likes the bald eagle. All big things are rough. If something visits the squirrel and the squirrel likes the cow then it visits the bear. If something visits the cow then the cow needs the bear. If something likes the bald eagle then it likes the squirrel. If the bear likes the squirrel then the squirrel likes the bald eagle.
The bald eagle does not like the bear.
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle needs the cow.[(triple2)] The bear is nice.[(triple3)] The bear visits the cow.[(triple4)] The cow likes the bald eagle.[(triple5)] The squirrel is nice.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The cow likes the squirrel.[(((triple5) -> rule8))] The cow needs the bear.[(((triple4) -> rule7))] @2: The bear likes the bald eagle.[(((triple2 ((triple4) -> rule7)) -> rule4))] @3: The bear likes the squirrel.[(((((triple2 ((triple4) -> rule7)) -> rule4)) -> rule8))] @4: The squirrel likes the bald eagle.[(((((((triple2 ((triple4) -> rule7)) -> rule4)) -> rule8)) -> rule9))] @5: The squirrel likes the squirrel.[(((((((((triple2 ((triple4) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule8))]