The bald eagle is nice. The bald eagle needs the cow. The bald eagle needs the squirrel. The cow is blue. The cow likes the bald eagle. The cow sees the squirrel. The lion is kind. The lion is nice. The lion likes the bald eagle. The lion needs the squirrel. The lion sees the squirrel. The squirrel likes the lion. If something sees the lion then the lion likes the squirrel. If something is kind and it sees the bald eagle then it needs the cow. If something sees the squirrel and it sees the bald eagle then the bald eagle likes the cow. If something sees the lion and the lion likes the squirrel then the lion needs the squirrel. If something likes the squirrel and it needs the squirrel then the squirrel sees the cow. If something sees the cow then it sees the lion. If something needs the cow and it needs the squirrel then it likes the squirrel. If something sees the lion then the lion sees the bald eagle. If something sees the cow and it likes the cow then the cow sees the bald eagle.
The squirrel does not see the lion.
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The cow is blue.[(triple4)] The cow likes the bald eagle.[(triple5)] The cow sees the squirrel.[(triple6)] The lion is kind.[(triple7)] The lion is nice.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion needs the squirrel.[(triple10 OR ((((((((triple2 triple3) -> rule7) triple3) -> rule5)) -> rule6) ((((((((triple2 triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule1)) -> rule4))] The lion sees the squirrel.[(triple11)] The squirrel likes the lion.[(triple12)] @1: The bald eagle likes the squirrel.[(((triple2 triple3) -> rule7))] @2: The squirrel sees the cow.[(((((triple2 triple3) -> rule7) triple3) -> rule5))] @3: The squirrel sees the lion.[(((((((triple2 triple3) -> rule7) triple3) -> rule5)) -> rule6))] @4: The lion likes the squirrel.[(((((((((triple2 triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple7 ((((((((triple2 triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule8)) -> rule2) triple10) -> rule7))] The lion sees the bald eagle.[(((((((((triple2 triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule8))] @5: The bald eagle likes the cow.[(((triple11 ((((((((triple2 triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule8)) -> rule3))] The lion needs the cow.[(((triple7 ((((((((triple2 triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule8)) -> rule2))]