The bald eagle is cold. The bald eagle is nice. The bald eagle likes the cow. The bald eagle likes the tiger. The bald eagle sees the cow. The bald eagle sees the dog. The bald eagle sees the tiger. The bald eagle visits the cow. The cow is young. The cow visits the bald eagle. The dog sees the bald eagle. The dog visits the tiger. The tiger is blue. The tiger is cold. The tiger is young. The tiger visits the cow. If something is big and it visits the bald eagle then it visits the cow. If something likes the tiger and the tiger is big then it is big. If something visits the cow and the cow is young then it is big. If something visits the tiger then it is young. If the tiger likes the dog then the tiger visits the bald eagle. If something is big then it visits the dog. If something visits the dog then it is cold. If something is young then it likes the tiger.
The dog does not see the dog.
@0: The bald eagle is cold.[(triple1 OR ((((((triple8 triple9) -> rule3)) -> rule6)) -> rule7) OR ((((((triple4 ((triple16 triple9) -> rule3)) -> rule2)) -> rule6)) -> rule7))] The bald eagle is nice.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle sees the dog.[(triple6)] The bald eagle sees the tiger.[(triple7)] The bald eagle visits the cow.[(triple8)] The cow is young.[(triple9)] The cow visits the bald eagle.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog visits the tiger.[(triple12)] The tiger is blue.[(triple13)] The tiger is cold.[(triple14 OR ((((((triple16 triple9) -> rule3)) -> rule6)) -> rule7))] The tiger is young.[(triple15)] The tiger visits the cow.[(triple16)] @1: The bald eagle is big.[(((triple8 triple9) -> rule3) OR ((triple4 ((triple16 triple9) -> rule3)) -> rule2))] The cow likes the tiger.[(((triple9) -> rule8))] The dog is young.[(((triple12) -> rule4))] The tiger is big.[(((triple16 triple9) -> rule3))] The tiger likes the tiger.[(((triple15) -> rule8))] @2: The bald eagle visits the dog.[(((((triple8 triple9) -> rule3)) -> rule6) OR ((((triple4 ((triple16 triple9) -> rule3)) -> rule2)) -> rule6))] The cow is big.[(((((triple9) -> rule8) ((triple16 triple9) -> rule3)) -> rule2))] The dog likes the tiger.[(((((triple12) -> rule4)) -> rule8))] The tiger visits the dog.[(((((triple16 triple9) -> rule3)) -> rule6))] @3: The cow visits the cow.[(((((((triple9) -> rule8) ((triple16 triple9) -> rule3)) -> rule2) triple10) -> rule1))] The cow visits the dog.[(((((((triple9) -> rule8) ((triple16 triple9) -> rule3)) -> rule2)) -> rule6))] The dog is big.[(((((((triple12) -> rule4)) -> rule8) ((triple16 triple9) -> rule3)) -> rule2))] @4: The cow is cold.[(((((((((triple9) -> rule8) ((triple16 triple9) -> rule3)) -> rule2)) -> rule6)) -> rule7))] The dog visits the dog.[(((((((((triple12) -> rule4)) -> rule8) ((triple16 triple9) -> rule3)) -> rule2)) -> rule6))] @5: The dog is cold.[(((((((((((triple12) -> rule4)) -> rule8) ((triple16 triple9) -> rule3)) -> rule2)) -> rule6)) -> rule7))]