The bear is big. The bear needs the rabbit. The bear sees the rabbit. The mouse likes the tiger. The mouse needs the rabbit. The mouse sees the rabbit. The mouse sees the tiger. The rabbit is round. The rabbit likes the tiger. The rabbit needs the tiger. The tiger is red. The tiger likes the mouse. If something sees the mouse and it likes the mouse then it sees the bear. If something needs the tiger then it likes the mouse. If something is red then it likes the mouse. If something likes the mouse then it sees the mouse. If something needs the mouse then the mouse sees the tiger. If the rabbit is nice then the rabbit likes the bear. If something is big and nice then it needs the bear. If something is round and it sees the bear then the bear likes the mouse. If something likes the rabbit and the rabbit needs the tiger then the tiger likes the rabbit.
The rabbit needs the tiger.
@0: The bear is big.[(triple1)] The bear needs the rabbit.[(triple2)] The bear sees the rabbit.[(triple3)] The mouse likes the tiger.[(triple4)] The mouse needs the rabbit.[(triple5)] The mouse sees the rabbit.[(triple6)] The mouse sees the tiger.[(triple7)] The rabbit is round.[(triple8)] The rabbit likes the tiger.[(triple9)] The rabbit needs the tiger.[(triple10)] The tiger is red.[(triple11)] The tiger likes the mouse.[(triple12 OR ((triple11) -> rule3))] @1: The rabbit likes the mouse.[(((triple10) -> rule2))] The tiger sees the mouse.[(((triple12) -> rule4) OR ((((triple11) -> rule3)) -> rule4))] @2: The rabbit sees the mouse.[(((((triple10) -> rule2)) -> rule4))] The tiger sees the bear.[(((((triple12) -> rule4) triple12) -> rule1) OR ((((triple12) -> rule4) ((triple11) -> rule3)) -> rule1) OR ((((((triple11) -> rule3)) -> rule4) triple12) -> rule1) OR ((((((triple11) -> rule3)) -> rule4) ((triple11) -> rule3)) -> rule1))] @3: The rabbit sees the bear.[(((((((triple10) -> rule2)) -> rule4) ((triple10) -> rule2)) -> rule1))] @4: The bear likes the mouse.[(((triple8 ((((((triple10) -> rule2)) -> rule4) ((triple10) -> rule2)) -> rule1)) -> rule8))] @5: The bear sees the mouse.[(((((triple8 ((((((triple10) -> rule2)) -> rule4) ((triple10) -> rule2)) -> rule1)) -> rule8)) -> rule4))] @6: The bear sees the bear.[(((((((triple8 ((((((triple10) -> rule2)) -> rule4) ((triple10) -> rule2)) -> rule1)) -> rule8)) -> rule4) ((triple8 ((((((triple10) -> rule2)) -> rule4) ((triple10) -> rule2)) -> rule1)) -> rule8)) -> rule1))]