The bald eagle chases the bear. The bald eagle likes the cat. The bear chases the cat. The bear is red. The cat eats the rabbit. The cat is red. The rabbit chases the bear. The rabbit eats the bald eagle. The rabbit is big. The rabbit is red. If something chases the bear then it eats the cat. If the cat chases the rabbit and the cat chases the bear then the rabbit is round.
The bear chases the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle likes the cat.[(triple2)] The bear chases the cat.[(triple3)] The bear is red.[(triple4)] The cat eats the rabbit.[(triple5)] The cat is red.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is big.[(triple9)] The rabbit is red.[(triple10)] @1: The bald eagle eats the cat.[(((triple1) -> rule1))] The rabbit eats the cat.[(((triple7) -> rule1))]