The bear chases the cat. The bear eats the mouse. The bear is kind. The bear is young. The bear likes the cat. The bear likes the mouse. The cat eats the bear. The cat is green. The cat is round. The cat likes the bear. The cat likes the mouse. The mouse chases the bear. The mouse eats the bear. The mouse eats the cat. The mouse likes the cat. If something eats the mouse and it eats the bear then the bear chases the cat. If something eats the mouse and it eats the bear then the mouse likes the cat. If something chases the bear and it is round then the bear eats the cat. If something chases the bear and the bear is green then it chases the mouse. Round, big things are young. All young things are big. If the bear eats the mouse and the mouse chases the bear then the bear is young. If something eats the mouse then it chases the mouse.
The cat chases the cat.
@0: The bear chases the cat.[(triple1)] The bear eats the mouse.[(triple2)] The bear is kind.[(triple3)] The bear is young.[(triple4 OR ((triple2 triple12) -> rule7))] The bear likes the cat.[(triple5)] The bear likes the mouse.[(triple6)] The cat eats the bear.[(triple7)] The cat is green.[(triple8)] The cat is round.[(triple9)] The cat likes the bear.[(triple10)] The cat likes the mouse.[(triple11)] The mouse chases the bear.[(triple12)] The mouse eats the bear.[(triple13)] The mouse eats the cat.[(triple14)] The mouse likes the cat.[(triple15)] @1: The bear chases the mouse.[(((triple2) -> rule8))] The bear is big.[(((triple4) -> rule6) OR ((((triple2 triple12) -> rule7)) -> rule6))]