The bald eagle eats the cat. The bald eagle is red. The bald eagle is rough. The bald eagle likes the cat. The bear chases the cat. The bear eats the cat. The bear eats the squirrel. The bear is cold. The cat chases the bald eagle. The cat chases the bear. The cat eats the bald eagle. The cat is cold. The cat likes the bear. The cat likes the squirrel. The squirrel likes the cat. If someone eats the bear and the bear is cold then they chase the bald eagle. If someone is rough then they like the cat.
The bear likes the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the cat.[(triple4 OR ((triple3) -> rule2))] The bear chases the cat.[(triple5)] The bear eats the cat.[(triple6)] The bear eats the squirrel.[(triple7)] The bear is cold.[(triple8)] The cat chases the bald eagle.[(triple9)] The cat chases the bear.[(triple10)] The cat eats the bald eagle.[(triple11)] The cat is cold.[(triple12)] The cat likes the bear.[(triple13)] The cat likes the squirrel.[(triple14)] The squirrel likes the cat.[(triple15)]