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