The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The rabbit eats the bald eagle. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit likes the bald eagle. The rabbit sees the bald eagle. If something sees the bald eagle and it sees the rabbit then the bald eagle likes the rabbit. If something sees the rabbit then the rabbit sees the bald eagle.
The rabbit is not red.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit is big.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is green.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit sees the bald eagle.[(triple12 OR ((triple6) -> rule2))]