The cat is green. The cat needs the tiger. The cat does not see the rabbit. The cat sees the tiger. The mouse likes the tiger. The mouse does not see the cat. The rabbit is big. The rabbit is green. The rabbit is not nice. The rabbit is not young. The rabbit likes the cat. The rabbit does not need the mouse. The rabbit sees the cat. The rabbit does not see the mouse. The tiger is green. The tiger sees the cat. If someone needs the mouse then they need the rabbit. If someone sees the cat then they like the mouse. If someone likes the mouse and the mouse likes the tiger then they do not like the tiger.
The mouse does not see the cat.
@0: The cat does not see the rabbit.[(triple3)] The cat is green.[(triple1)] The cat needs the tiger.[(triple2)] The cat sees the tiger.[(triple4)] The mouse does not see the cat.[(triple6)] The mouse likes the tiger.[(triple5)] The rabbit does not need the mouse.[(triple12)] The rabbit does not see the mouse.[(triple14)] The rabbit is big.[(triple7)] The rabbit is green.[(triple8)] The rabbit is not nice.[(triple9)] The rabbit is not young.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit sees the cat.[(triple13)] The tiger is green.[(triple15)] The tiger sees the cat.[(triple16)] @1: The rabbit likes the mouse.[(((triple13) -> rule2))] The tiger likes the mouse.[(((triple16) -> rule2))] @2: The rabbit does not like the tiger.[(((((triple13) -> rule2) triple5) -> rule3))] The tiger does not like the tiger.[(((((triple16) -> rule2) triple5) -> rule3))]