The bear is blue. The bear likes the mouse. The bear sees the mouse. The cat likes the rabbit. The mouse is kind. The mouse is rough. The rabbit likes the cat. If the mouse is young then the mouse visits the cat. If someone visits the bear then they are kind. If someone is kind then they see the rabbit. If someone sees the rabbit then the rabbit sees the bear. If someone is young and they see the bear then they visit the mouse. If someone likes the cat then the cat likes the rabbit. If someone is young then they visit the rabbit. If someone visits the mouse and they see the rabbit then the mouse visits the cat.
The rabbit sees the bear.
@0: The bear is blue.[(triple1)] The bear likes the mouse.[(triple2)] The bear sees the mouse.[(triple3)] The cat likes the rabbit.[(triple4 OR ((triple7) -> rule6))] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The rabbit likes the cat.[(triple7)] @1: The mouse sees the rabbit.[(((triple5) -> rule3))] @2: The rabbit sees the bear.[(((((triple5) -> rule3)) -> rule4))]