The bear is young. The bear needs the tiger. The bear sees the cat. The bear sees the mouse. The cat is young. The cat likes the mouse. The cat likes the tiger. The cat sees the bear. The mouse likes the tiger. The mouse needs the tiger. The mouse sees the cat. The tiger sees the bear. If someone sees the tiger and they see the mouse then the mouse is young. If someone sees the mouse then the mouse is kind. If someone is red then they like the bear. If someone needs the bear then they need the mouse. If someone likes the mouse and the mouse likes the bear then the mouse sees the cat. If the mouse sees the cat and the mouse is kind then the mouse needs the bear. If someone needs the bear then they like the cat. If the mouse likes the tiger and the mouse is young then the mouse likes the bear.
The cat is young.
@0: The bear is young.[(triple1)] The bear needs the tiger.[(triple2)] The bear sees the cat.[(triple3)] The bear sees the mouse.[(triple4)] The cat is young.[(triple5)] The cat likes the mouse.[(triple6)] The cat likes the tiger.[(triple7)] The cat sees the bear.[(triple8)] The mouse likes the tiger.[(triple9)] The mouse needs the tiger.[(triple10)] The mouse sees the cat.[(triple11)] The tiger sees the bear.[(triple12)] @1: The mouse is kind.[(((triple4) -> rule2))] @2: The mouse needs the bear.[(((triple11 ((triple4) -> rule2)) -> rule6))] @3: The mouse likes the cat.[(((((triple11 ((triple4) -> rule2)) -> rule6)) -> rule7))] The mouse needs the mouse.[(((((triple11 ((triple4) -> rule2)) -> rule6)) -> rule4))]