The bald eagle is cold. The bald eagle likes the cat. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The cat is big. The cat is kind. The cat likes the bald eagle. The cat needs the bald eagle. The cat visits the rabbit. The rabbit is young. The rabbit likes the bald eagle. The rabbit does not like the cat. The rabbit needs the bald eagle. The rabbit needs the cat. The rabbit visits the bald eagle. The rabbit visits the cat. If something likes the bald eagle then it visits the rabbit.
The bald eagle is not cold.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The cat is big.[(triple5)] The cat is kind.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat visits the rabbit.[(triple9 OR ((triple7) -> rule1))] The rabbit does not like the cat.[(triple12)] The rabbit is young.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit needs the bald eagle.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the bald eagle.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The rabbit visits the rabbit.[(((triple11) -> rule1))]