The bald eagle eats the rabbit. The cat eats the lion. The cat eats the rabbit. The cat is nice. The cat is red. The cat likes the bald eagle. The cat likes the lion. The cat likes the rabbit. The cat visits the bald eagle. The cat visits the lion. The lion eats the bald eagle. The lion eats the rabbit. The lion is nice. The lion visits the bald eagle. The rabbit likes the bald eagle. If something is rough then it is green. If the cat eats the lion then the lion is rough. If something is round then it likes the bald eagle.
The cat is not rough.
@0: The bald eagle eats the rabbit.[(triple1)] The cat eats the lion.[(triple2)] The cat eats the rabbit.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the lion.[(triple7)] The cat likes the rabbit.[(triple8)] The cat visits the bald eagle.[(triple9)] The cat visits the lion.[(triple10)] The lion eats the bald eagle.[(triple11)] The lion eats the rabbit.[(triple12)] The lion is nice.[(triple13)] The lion visits the bald eagle.[(triple14)] The rabbit likes the bald eagle.[(triple15)] @1: The lion is rough.[(((triple2) -> rule2))] @2: The lion is green.[(((((triple2) -> rule2)) -> rule1))]