The bald eagle is big. The bald eagle is kind. The bald eagle likes the lion. The bald eagle sees the squirrel. The lion is round. The lion likes the bald eagle. The lion needs the squirrel. The squirrel is not big. The squirrel is round. The squirrel likes the bald eagle. The squirrel does not need the bald eagle. The squirrel does not see the bald eagle. If someone needs the lion then the lion likes the bald eagle. If someone needs the squirrel then they see the bald eagle. If someone likes the bald eagle then they are young. If someone likes the lion and they like the bald eagle then the bald eagle is not young. If someone sees the squirrel then the squirrel is kind. If someone is kind and they like the bald eagle then the bald eagle likes the squirrel. If someone likes the squirrel and the squirrel likes the bald eagle then they are not round. If someone likes the squirrel and the squirrel is not young then they see the squirrel.
The bald eagle is not round.
@0: The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The lion is round.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion needs the squirrel.[(triple7)] The squirrel does not need the bald eagle.[(triple11)] The squirrel does not see the bald eagle.[(triple12)] The squirrel is not big.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the bald eagle.[(triple10)] @1: The lion is young.[(((triple6) -> rule3))] The lion sees the bald eagle.[(((triple7) -> rule2))] The squirrel is kind.[(((triple4) -> rule5))] The squirrel is young.[(((triple10) -> rule3))] @2: The bald eagle likes the squirrel.[(((((triple4) -> rule5) triple10) -> rule6))] @3: The bald eagle is not round.[(((((((triple4) -> rule5) triple10) -> rule6) triple10) -> rule7))]