The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the cow. The bald eagle likes the tiger. The bald eagle needs the tiger. The bald eagle sees the tiger. The cow likes the bald eagle. The cow sees the bald eagle. The cow sees the tiger. The tiger is green. The tiger sees the cow. If someone needs the cow and the cow likes the bald eagle then the bald eagle likes the cow. If someone is rough then they need the bald eagle. If someone sees the tiger then the tiger needs the cow. If someone likes the cow then they see the tiger. If someone needs the cow then they see the bald eagle. If someone sees the tiger then the tiger is green.
The tiger does not need the cow.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the cow.[(triple4 OR ((((triple10) -> rule3) triple8) -> rule1) OR ((((triple7) -> rule3) triple8) -> rule1))] The bald eagle likes the tiger.[(triple5)] The bald eagle needs the tiger.[(triple6)] The bald eagle sees the tiger.[(triple7 OR ((triple4) -> rule4) OR ((((((triple10) -> rule3) triple8) -> rule1)) -> rule4))] The cow likes the bald eagle.[(triple8)] The cow sees the bald eagle.[(triple9)] The cow sees the tiger.[(triple10)] The tiger is green.[(triple11 OR ((triple10) -> rule6) OR ((triple7) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((((((triple10) -> rule3) triple8) -> rule1)) -> rule4)) -> rule6))] The tiger sees the cow.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple3) -> rule2))] The tiger needs the cow.[(((triple10) -> rule3) OR ((triple7) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] @2: The tiger sees the bald eagle.[(((((triple10) -> rule3)) -> rule5) OR ((((triple7) -> rule3)) -> rule5) OR ((((((triple4) -> rule4)) -> rule3)) -> rule5))]