The bear sees the tiger. The cat is big. The cat is green. The cat sees the tiger. The cow chases the cat. The cow sees the tiger. The tiger is big. If the cow sees the cat and the cat chases the bear then the cow likes the tiger. If something likes the bear then it is nice. If something is kind then it sees the cat. If something is nice and it likes the tiger then it likes the cow. If the bear is nice and the bear likes the cow then the bear sees the cow. If something chases the cat then it is nice. If something likes the cow then it is green. If something is big then it chases the bear.
The bear does not see the tiger.
@0: The bear sees the tiger.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat sees the tiger.[(triple4)] The cow chases the cat.[(triple5)] The cow sees the tiger.[(triple6)] The tiger is big.[(triple7)] @1: The cat chases the bear.[(((triple2) -> rule8))] The cow is nice.[(((triple5) -> rule6))] The tiger chases the bear.[(((triple7) -> rule8))]