The bear chases the mouse. The bear eats the cat. The bear is young. The cat chases the mouse. The cat chases the tiger. The cat is big. The cat is round. The cat is young. The cat sees the bear. The cat sees the tiger. The mouse chases the cat. The tiger is round. If someone sees the cat then they eat the tiger. If someone eats the cat then the cat is round. If someone is kind then they chase the mouse.
The cat sees the cat.
@0: The bear chases the mouse.[(triple1)] The bear eats the cat.[(triple2)] The bear is young.[(triple3)] The cat chases the mouse.[(triple4)] The cat chases the tiger.[(triple5)] The cat is big.[(triple6)] The cat is round.[(triple7 OR ((triple2) -> rule2))] The cat is young.[(triple8)] The cat sees the bear.[(triple9)] The cat sees the tiger.[(triple10)] The mouse chases the cat.[(triple11)] The tiger is round.[(triple12)]