The bald eagle chases the tiger. The bald eagle needs the cat. The cat needs the tiger. The cat sees the cow. The cow is big. The tiger chases the cow. The tiger is big. The tiger is rough. The tiger needs the cow. The tiger sees the bald eagle. The tiger sees the cat. The tiger sees the cow. If the cow needs the cat and the cat chases the bald eagle then the cow chases the bald eagle. If someone is green and kind then they see the cat. If someone needs the bald eagle then the bald eagle is kind. All kind people are nice. If the bald eagle is kind then the bald eagle is rough. If someone is nice and they see the cow then the cow chases the cat. If someone needs the cat then the cat needs the bald eagle. Nice people are green.
The cow is not green.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the cow.[(triple4)] The cow is big.[(triple5)] The tiger chases the cow.[(triple6)] The tiger is big.[(triple7)] The tiger is rough.[(triple8)] The tiger needs the cow.[(triple9)] The tiger sees the bald eagle.[(triple10)] The tiger sees the cat.[(triple11)] The tiger sees the cow.[(triple12)] @1: The cat needs the bald eagle.[(((triple2) -> rule7))] @2: The bald eagle is kind.[(((((triple2) -> rule7)) -> rule3))] @3: The bald eagle is nice.[(((((((triple2) -> rule7)) -> rule3)) -> rule4))] The bald eagle is rough.[(((((((triple2) -> rule7)) -> rule3)) -> rule5))] @4: The bald eagle is green.[(((((((((triple2) -> rule7)) -> rule3)) -> rule4)) -> rule8))] @5: The bald eagle sees the cat.[(((((((((((triple2) -> rule7)) -> rule3)) -> rule4)) -> rule8) ((((triple2) -> rule7)) -> rule3)) -> rule2))]