The bald eagle eats the cat. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is green. The bald eagle likes the cat. The bald eagle sees the cat. The cat does not eat the rabbit. The cat is young. The cat sees the bald eagle. The cat sees the rabbit. The rabbit eats the cat. The rabbit is green. The rabbit is young. The rabbit likes the cat. The rabbit does not see the bald eagle. The rabbit sees the cat. If someone sees the bald eagle and the bald eagle does not eat the rabbit then the bald eagle sees the cat. If someone sees the cat then they are red. If the cat sees the bald eagle then the bald eagle is young.
The bald eagle is kind.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle sees the cat.[(triple6)] The cat does not eat the rabbit.[(triple7)] The cat is young.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat sees the rabbit.[(triple10)] The rabbit does not see the bald eagle.[(triple15)] The rabbit eats the cat.[(triple11)] The rabbit is green.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit sees the cat.[(triple16)] @1: The bald eagle is red.[(((triple6) -> rule2))] The bald eagle is young.[(((triple9) -> rule3))] The rabbit is red.[(((triple16) -> rule2))]