The bear is kind. The bear is red. The bear is young. The bear visits the cat. The cat chases the bear. The cat chases the mouse. The cat is red. The cat is round. The cat sees the mouse. The cat visits the bear. The cat visits the mouse. The mouse chases the bear. The mouse is round. The mouse sees the bear. The mouse visits the bear. If someone sees the cat and the cat is round then they see the mouse. If the cat sees the mouse and the mouse visits the cat then the cat chases the mouse. If someone sees the mouse then the mouse visits the bear. If someone is round and they visit the cat then the cat sees the mouse. If someone chases the bear then they are young. If someone chases the bear and they see the bear then they are round. If someone sees the cat then they visit the bear. If someone is red then they visit the bear.
The mouse does not see the bear.
@0: The bear is kind.[(triple1)] The bear is red.[(triple2)] The bear is young.[(triple3)] The bear visits the cat.[(triple4)] The cat chases the bear.[(triple5)] The cat chases the mouse.[(triple6)] The cat is red.[(triple7)] The cat is round.[(triple8)] The cat sees the mouse.[(triple9)] The cat visits the bear.[(triple10 OR ((triple7) -> rule8))] The cat visits the mouse.[(triple11)] The mouse chases the bear.[(triple12)] The mouse is round.[(triple13 OR ((triple12 triple14) -> rule6))] The mouse sees the bear.[(triple14)] The mouse visits the bear.[(triple15 OR ((triple9) -> rule3))] @1: The bear visits the bear.[(((triple2) -> rule8))] The cat is young.[(((triple5) -> rule5))] The mouse is young.[(((triple12) -> rule5))]