The bald eagle chases the cow. The bald eagle chases the squirrel. The bald eagle is rough. The bald eagle likes the lion. The cow is cold. The cow is rough. The cow likes the squirrel. The cow needs the bald eagle. The lion chases the bald eagle. The lion likes the squirrel. The squirrel chases the bald eagle. The squirrel is cold. The squirrel is red. The squirrel likes the cow. The squirrel needs the bald eagle. If someone likes the squirrel then they chase the cow. If someone chases the bald eagle then they chase the lion. If someone likes the squirrel then they are cold. If someone likes the cow then they are round. If the bald eagle needs the lion then the bald eagle is red. If the squirrel chases the lion then the lion likes the cow.
The lion is not cold.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the lion.[(triple4)] The cow is cold.[(triple5 OR ((triple7) -> rule3))] The cow is rough.[(triple6)] The cow likes the squirrel.[(triple7)] The cow needs the bald eagle.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion likes the squirrel.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is red.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel needs the bald eagle.[(triple15)] @1: The cow chases the cow.[(((triple7) -> rule1))] The lion chases the cow.[(((triple10) -> rule1))] The lion chases the lion.[(((triple9) -> rule2))] The lion is cold.[(((triple10) -> rule3))] The squirrel chases the lion.[(((triple11) -> rule2))] The squirrel is round.[(((triple14) -> rule4))] @2: The lion likes the cow.[(((((triple11) -> rule2)) -> rule6))] @3: The lion is round.[(((((((triple11) -> rule2)) -> rule6)) -> rule4))]