The bear chases the cat. The bear chases the tiger. The bear eats the cat. The bear eats the tiger. The bear is red. The bear likes the tiger. The cat chases the tiger. The cat eats the bear. The cat likes the tiger. The tiger chases the bear. The tiger chases the cat. The tiger eats the bear. The tiger eats the cat. The tiger is big. The tiger likes the cat. If the tiger likes the bear and the tiger is kind then the tiger is round. If something eats the tiger then the tiger eats the cat. If something chases the tiger then the tiger chases the cat. If something is young and red then it chases the bear. If something likes the tiger and it is round then it chases the tiger. If something eats the tiger and it eats the cat then the tiger is kind. If something is kind then it eats the tiger. If something is kind then it likes the bear.
The bear does not chase the bear.
@0: The bear chases the cat.[(triple1)] The bear chases the tiger.[(triple2)] The bear eats the cat.[(triple3)] The bear eats the tiger.[(triple4)] The bear is red.[(triple5)] The bear likes the tiger.[(triple6)] The cat chases the tiger.[(triple7)] The cat eats the bear.[(triple8)] The cat likes the tiger.[(triple9)] The tiger chases the bear.[(triple10)] The tiger chases the cat.[(triple11 OR ((triple2) -> rule3) OR ((triple7) -> rule3))] The tiger eats the bear.[(triple12)] The tiger eats the cat.[(triple13 OR ((triple4) -> rule2) OR ((((((triple4 triple3) -> rule6)) -> rule7)) -> rule2))] The tiger is big.[(triple14)] The tiger likes the cat.[(triple15)] @1: The tiger is kind.[(((triple4 triple3) -> rule6))] @2: The tiger eats the tiger.[(((((triple4 triple3) -> rule6)) -> rule7))] The tiger likes the bear.[(((((triple4 triple3) -> rule6)) -> rule8))] @3: The tiger is round.[(((((((triple4 triple3) -> rule6)) -> rule8) ((triple4 triple3) -> rule6)) -> rule1))]