The bald eagle is not round. The bald eagle likes the lion. The cow chases the bald eagle. The cow chases the squirrel. The cow is kind. The cow likes the lion. The cow does not like the squirrel. The cow sees the lion. The cow does not see the squirrel. The lion chases the bald eagle. The lion chases the cow. The lion chases the squirrel. The squirrel likes the bald eagle. The squirrel likes the cow. The squirrel likes the lion. If something is big then it is not kind. If something chases the squirrel then the squirrel is big. If something chases the bald eagle and it sees the bald eagle then the bald eagle sees the lion.
The squirrel is big.
@0: The bald eagle is not round.[(triple1)] The bald eagle likes the lion.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow chases the squirrel.[(triple4)] The cow does not like the squirrel.[(triple7)] The cow does not see the squirrel.[(triple9)] The cow is kind.[(triple5)] The cow likes the lion.[(triple6)] The cow sees the lion.[(triple8)] The lion chases the bald eagle.[(triple10)] The lion chases the cow.[(triple11)] The lion chases the squirrel.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel likes the lion.[(triple15)] @1: The squirrel is big.[(((triple12) -> rule2) OR ((triple4) -> rule2))] @2: The squirrel is not kind.[(((((triple12) -> rule2)) -> rule1) OR ((((triple4) -> rule2)) -> rule1))]