The bald eagle chases the lion. The bald eagle visits the lion. The bear is rough. The bear sees the bald eagle. The lion is round. The squirrel chases the bald eagle. The squirrel visits the bald eagle. If something is round then it is cold.
The lion is not round.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle visits the lion.[(triple2)] The bear is rough.[(triple3)] The bear sees the bald eagle.[(triple4)] The lion is round.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The lion is cold.[(((triple5) -> rule1))]