The bald eagle likes the squirrel. The bald eagle visits the rabbit. The dog is cold. The dog likes the bald eagle. The dog visits the squirrel. The rabbit likes the dog. The rabbit needs the squirrel. The rabbit visits the bald eagle. The squirrel is kind. The squirrel needs the rabbit. If someone likes the dog then they like the squirrel. If the squirrel needs the rabbit and the rabbit likes the squirrel then the squirrel needs the bald eagle.
The bald eagle is not cold.
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The dog is cold.[(triple3)] The dog likes the bald eagle.[(triple4)] The dog visits the squirrel.[(triple5)] The rabbit likes the dog.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit visits the bald eagle.[(triple8)] The squirrel is kind.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The rabbit likes the squirrel.[(((triple6) -> rule1))] @2: The squirrel needs the bald eagle.[(((triple10 ((triple6) -> rule1)) -> rule2))]