The bear is not rough. The bear visits the mouse. The cat is blue. The cat is not nice. The cat is red. The mouse does not eat the bear. The mouse eats the cat. The mouse is not rough. The mouse likes the bear. The mouse does not visit the bear. If something likes the bear then the bear visits the cat. If something visits the cat then it visits the bear. If something eats the cat and it is not nice then it is blue. If something visits the mouse then it does not like the cat. If the bear likes the cat and the bear does not visit the cat then the cat visits the bear. If the cat visits the mouse and the mouse does not like the cat then the mouse visits the bear.
The cat visits the mouse.
@0: The bear is not rough.[(triple1)] The bear visits the mouse.[(triple2)] The cat is blue.[(triple3)] The cat is not nice.[(triple4)] The cat is red.[(triple5)] The mouse does not eat the bear.[(triple6)] The mouse does not visit the bear.[(triple10)] The mouse eats the cat.[(triple7)] The mouse is not rough.[(triple8)] The mouse likes the bear.[(triple9)] @1: The bear does not like the cat.[(((triple2) -> rule4))] The bear visits the cat.[(((triple9) -> rule1))] @2: The bear visits the bear.[(((((triple9) -> rule1)) -> rule2))]