The bear chases the cat. The bear eats the mouse. The bear is cold. The bear is rough. The bear is round. The cat chases the rabbit. The cat eats the rabbit. The cat is cold. The mouse eats the bear. The mouse eats the cat. The mouse is cold. The mouse is round. The rabbit chases the cat. The rabbit eats the cat. The rabbit is young. The rabbit sees the bear. If something is rough then it eats the mouse. If something chases the cat and it chases the mouse then the mouse sees the rabbit. If something eats the mouse then the mouse chases the cat. If something eats the mouse and it eats the bear then the mouse chases the cat. If the cat chases the mouse and the mouse eats the rabbit then the rabbit is red. If something is rough and it eats the bear then the bear chases the mouse. If the bear eats the cat then the cat chases the mouse. If something eats the cat then it chases the mouse.
The mouse does not see the rabbit.
@0: The bear chases the cat.[(triple1)] The bear eats the mouse.[(triple2 OR ((triple4) -> rule1))] The bear is cold.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The cat chases the rabbit.[(triple6)] The cat eats the rabbit.[(triple7)] The cat is cold.[(triple8)] The mouse eats the bear.[(triple9)] The mouse eats the cat.[(triple10)] The mouse is cold.[(triple11)] The mouse is round.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit eats the cat.[(triple14)] The rabbit is young.[(triple15)] The rabbit sees the bear.[(triple16)] @1: The mouse chases the cat.[(((triple2) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] The mouse chases the mouse.[(((triple10) -> rule8))] The rabbit chases the mouse.[(((triple14) -> rule8))] @2: The mouse sees the rabbit.[(((triple13 ((triple14) -> rule8)) -> rule2) OR ((((triple2) -> rule3) ((triple10) -> rule8)) -> rule2) OR ((((((triple4) -> rule1)) -> rule3) ((triple10) -> rule8)) -> rule2))]