The bear is round. The bear needs the tiger. The cow likes the bear. The cow does not need the tiger. The cow sees the tiger. The mouse is young. The mouse needs the cow. The tiger is round. The tiger is young. The tiger likes the cow. If someone likes the cow then the cow likes the mouse. If someone is kind and not young then they need the mouse. If someone is round then they see the bear. If someone sees the cow and they are round then they are not kind. If someone is round and they need the bear then the bear sees the tiger. If someone sees the bear then they need the bear.
The mouse does not need the mouse.
@0: The bear is round.[(triple1)] The bear needs the tiger.[(triple2)] The cow does not need the tiger.[(triple4)] The cow likes the bear.[(triple3)] The cow sees the tiger.[(triple5)] The mouse is young.[(triple6)] The mouse needs the cow.[(triple7)] The tiger is round.[(triple8)] The tiger is young.[(triple9)] The tiger likes the cow.[(triple10)] @1: The bear sees the bear.[(((triple1) -> rule3))] The cow likes the mouse.[(((triple10) -> rule1))] The tiger sees the bear.[(((triple8) -> rule3))] @2: The bear needs the bear.[(((((triple1) -> rule3)) -> rule6))] The tiger needs the bear.[(((((triple8) -> rule3)) -> rule6))] @3: The bear sees the tiger.[(((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule5) OR ((triple8 ((((triple8) -> rule3)) -> rule6)) -> rule5))]