The bald eagle is big. The bald eagle is cold. The bald eagle is not green. The bald eagle is red. The bald eagle is rough. The bald eagle likes the cat. The bald eagle needs the cat. The bald eagle sees the cat. The cat is cold. The cat is not green. The cat is not red. The cat does not see the bald eagle. If the bald eagle likes the cat and the bald eagle is cold then the cat needs the bald eagle. If something needs the cat and it is red then the cat needs the bald eagle. If something needs the bald eagle then the bald eagle is cold. If something is cold and it needs the cat then it is red. If something is green and it does not need the bald eagle then it sees the bald eagle. If something sees the bald eagle then the bald eagle sees the cat.
The bald eagle does not see the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2 OR ((((triple7 triple4) -> rule2)) -> rule3))] The bald eagle is not green.[(triple3)] The bald eagle is red.[(triple4 OR ((triple2 triple7) -> rule4))] The bald eagle is rough.[(triple5)] The bald eagle likes the cat.[(triple6)] The bald eagle needs the cat.[(triple7)] The bald eagle sees the cat.[(triple8)] The cat does not see the bald eagle.[(triple12)] The cat is cold.[(triple9)] The cat is not green.[(triple10)] The cat is not red.[(triple11)] @1: The cat needs the bald eagle.[(((triple6 triple2) -> rule1) OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple2 triple7) -> rule4)) -> rule2))]