The bald eagle eats the squirrel. The bald eagle is kind. The bald eagle is round. The bald eagle does not visit the squirrel. The cat is rough. The cat likes the squirrel. The cow is big. The cow likes the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel likes the bald eagle. If someone likes the cow and they do not eat the cat then they do not eat the bald eagle. If someone eats the cat then they are blue. If someone is big then they do not like the cat. If the cow eats the cat and the cat is big then the cow visits the bald eagle. If someone visits the cat then the cat is round. If someone visits the cow then they are round. If someone is kind then they like the squirrel. If someone visits the cat and the cat is round then they are big. If someone eats the squirrel and they like the squirrel then the squirrel visits the cat.
The squirrel does not like the cat.
@0: The bald eagle does not visit the squirrel.[(triple4)] The bald eagle eats the squirrel.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is round.[(triple3)] The cat is rough.[(triple5)] The cat likes the squirrel.[(triple6)] The cow is big.[(triple7)] The cow likes the squirrel.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel eats the cow.[(triple10)] The squirrel likes the bald eagle.[(triple11)] @1: The bald eagle likes the squirrel.[(((triple2) -> rule7))] The cow does not like the cat.[(((triple7) -> rule3))] @2: The squirrel visits the cat.[(((triple1 ((triple2) -> rule7)) -> rule9))] @3: The cat is round.[(((((triple1 ((triple2) -> rule7)) -> rule9)) -> rule5))] @4: The squirrel is big.[(((((triple1 ((triple2) -> rule7)) -> rule9) ((((triple1 ((triple2) -> rule7)) -> rule9)) -> rule5)) -> rule8))] @5: The squirrel does not like the cat.[(((((((triple1 ((triple2) -> rule7)) -> rule9) ((((triple1 ((triple2) -> rule7)) -> rule9)) -> rule5)) -> rule8)) -> rule3))]