The bear does not see the cat. The cat chases the bear. The cat chases the tiger. The cat is young. The cat sees the bear. The cat sees the tiger. The tiger chases the cat. The tiger is rough. The tiger is young. The tiger sees the bear. If the tiger chases the cat then the cat eats the bear. If someone eats the bear then they eat the tiger. If someone chases the tiger and the tiger chases the cat then they see the tiger.
The tiger eats the tiger.
@0: The bear does not see the cat.[(triple1)] The cat chases the bear.[(triple2)] The cat chases the tiger.[(triple3)] The cat is young.[(triple4)] The cat sees the bear.[(triple5)] The cat sees the tiger.[(triple6 OR ((triple3 triple7) -> rule3))] The tiger chases the cat.[(triple7)] The tiger is rough.[(triple8)] The tiger is young.[(triple9)] The tiger sees the bear.[(triple10)] @1: The cat eats the bear.[(((triple7) -> rule1))] @2: The cat eats the tiger.[(((((triple7) -> rule1)) -> rule2))]