The bear is nice. The bear is not young. The bear visits the rabbit. The bear visits the tiger. The mouse is blue. The mouse does not visit the tiger. The rabbit is nice. The rabbit sees the bear. The rabbit sees the mouse. The rabbit visits the bear. The rabbit does not visit the mouse. The rabbit visits the tiger. The tiger is red. The tiger is rough. The tiger sees the bear. The tiger visits the mouse. If the tiger does not visit the bear then the bear does not visit the rabbit. If something sees the rabbit and the rabbit sees the bear then the rabbit is red. If something is red then it visits the tiger. If something is red and it does not need the rabbit then the rabbit sees the mouse. If something sees the bear and it needs the mouse then the mouse visits the rabbit. If something is rough then it sees the rabbit.
The tiger does not see the rabbit.
@0: The bear is nice.[(triple1)] The bear is not young.[(triple2)] The bear visits the rabbit.[(triple3)] The bear visits the tiger.[(triple4)] The mouse does not visit the tiger.[(triple6)] The mouse is blue.[(triple5)] The rabbit does not visit the mouse.[(triple11)] The rabbit is nice.[(triple7)] The rabbit sees the bear.[(triple8)] The rabbit sees the mouse.[(triple9)] The rabbit visits the bear.[(triple10)] The rabbit visits the tiger.[(triple12 OR ((((((triple14) -> rule6) triple8) -> rule2)) -> rule3))] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the bear.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The tiger sees the rabbit.[(((triple14) -> rule6))] The tiger visits the tiger.[(((triple13) -> rule3))] @2: The rabbit is red.[(((((triple14) -> rule6) triple8) -> rule2))]