The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is blue. The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. If the bald eagle chases the tiger then the tiger is blue. If someone is green then they are nice. Kind people are nice. If someone eats the bald eagle then the bald eagle likes the tiger. If someone chases the tiger then the tiger is rough. If the tiger is blue and the tiger eats the bald eagle then the tiger is kind.
The tiger is not blue.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is nice.[(triple6 OR ((triple4) -> rule2) OR ((triple5) -> rule3))] The bald eagle is rough.[(triple7)] The bald eagle likes the tiger.[(triple8 OR ((triple10) -> rule4))] The tiger chases the bald eagle.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is blue.[(triple11 OR ((triple1) -> rule1))] The tiger is green.[(triple12)] The tiger is kind.[(triple13 OR ((triple11 triple10) -> rule6) OR ((((triple1) -> rule1) triple10) -> rule6))] The tiger is nice.[(triple14 OR ((triple12) -> rule2) OR ((triple13) -> rule3) OR ((((triple11 triple10) -> rule6)) -> rule3) OR ((((((triple1) -> rule1) triple10) -> rule6)) -> rule3))] The tiger is rough.[(triple15 OR ((triple1) -> rule5))] The tiger likes the bald eagle.[(triple16)]