The bald eagle is young. The bald eagle likes the squirrel. The bald eagle sees the rabbit. The lion is young. The rabbit is big. The rabbit is cold. The rabbit is rough. The rabbit is round. The rabbit sees the bald eagle. The rabbit visits the bald eagle. The rabbit visits the squirrel. The squirrel is round. The squirrel likes the bald eagle. The squirrel likes the lion. The squirrel likes the rabbit. If someone visits the squirrel then they like the bald eagle. If someone likes the bald eagle then they see the squirrel. If someone visits the squirrel then they visit the lion. If someone likes the bald eagle and the bald eagle sees the lion then the lion is rough. If the squirrel visits the bald eagle and the bald eagle is young then the squirrel is rough. If someone visits the lion then the lion likes the bald eagle.
The rabbit is not round.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The lion is young.[(triple4)] The rabbit is big.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is round.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit visits the bald eagle.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel likes the rabbit.[(triple15)] @1: The rabbit likes the bald eagle.[(((triple11) -> rule1))] The rabbit visits the lion.[(((triple11) -> rule3))] The squirrel sees the squirrel.[(((triple13) -> rule2))] @2: The lion likes the bald eagle.[(((((triple11) -> rule3)) -> rule6))] The rabbit sees the squirrel.[(((((triple11) -> rule1)) -> rule2))] @3: The lion sees the squirrel.[(((((((triple11) -> rule3)) -> rule6)) -> rule2))]