The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is not blue. The bald eagle is kind. The bald eagle is round. The bald eagle likes the cat. The bald eagle needs the cat. The cat is blue. The cat is round. The cat needs the rabbit. The rabbit does not eat the bald eagle. The rabbit eats the cat. The rabbit is not nice. The rabbit likes the cat. The rabbit needs the cat. If someone likes the cat then they like the bald eagle. If someone likes the rabbit and they do not eat the cat then the cat needs the bald eagle. If the cat needs the rabbit and the rabbit likes the bald eagle then the rabbit is not blue.
The cat likes the bald eagle.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple4)] The bald eagle is not blue.[(triple3)] The bald eagle is round.[(triple5)] The bald eagle likes the cat.[(triple6)] The bald eagle needs the cat.[(triple7)] The cat is blue.[(triple8)] The cat is round.[(triple9)] The cat needs the rabbit.[(triple10)] The rabbit does not eat the bald eagle.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit needs the cat.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple6) -> rule1))] The rabbit likes the bald eagle.[(((triple14) -> rule1))] @2: The rabbit is not blue.[(((triple10 ((triple14) -> rule1)) -> rule3))]