The bald eagle does not see the dog. The bald eagle visits the tiger. The cow does not see the dog. The cow visits the bald eagle. The dog is green. The tiger is not big. The tiger is green. The tiger is rough. The tiger likes the cow. The tiger does not visit the cow. If someone likes the dog then the dog is red. If someone likes the bald eagle then the bald eagle does not see the dog. If someone is green then they like the dog.
The tiger likes the dog.
@0: The bald eagle does not see the dog.[(triple1)] The bald eagle visits the tiger.[(triple2)] The cow does not see the dog.[(triple3)] The cow visits the bald eagle.[(triple4)] The dog is green.[(triple5)] The tiger does not visit the cow.[(triple10)] The tiger is green.[(triple7)] The tiger is not big.[(triple6)] The tiger is rough.[(triple8)] The tiger likes the cow.[(triple9)] @1: The dog likes the dog.[(((triple5) -> rule3))] The tiger likes the dog.[(((triple7) -> rule3))] @2: The dog is red.[(((((triple5) -> rule3)) -> rule1) OR ((((triple7) -> rule3)) -> rule1))]