The cat is green. The cat likes the mouse. The cat sees the mouse. The cat sees the tiger. The mouse is blue. The mouse is round. The mouse likes the cat. The mouse likes the tiger. The mouse sees the cat. The mouse sees the tiger. The tiger is big. The tiger likes the cat. The tiger likes the mouse. The tiger needs the cat. The tiger sees the cat. The tiger sees the mouse. If something is blue then it likes the tiger. If something likes the mouse then it is round. If the cat is round and the cat sees the mouse then the cat likes the tiger. If the mouse is green then the mouse likes the tiger. If something is nice then it is green. If something needs the cat and it likes the tiger then the tiger sees the mouse. If something likes the cat and it is big then it needs the tiger. If the cat needs the tiger and the cat likes the tiger then the cat needs the mouse.
The tiger does not need the tiger.
@0: The cat is green.[(triple1)] The cat likes the mouse.[(triple2)] The cat sees the mouse.[(triple3)] The cat sees the tiger.[(triple4)] The mouse is blue.[(triple5)] The mouse is round.[(triple6)] The mouse likes the cat.[(triple7)] The mouse likes the tiger.[(triple8 OR ((triple5) -> rule1))] The mouse sees the cat.[(triple9)] The mouse sees the tiger.[(triple10)] The tiger is big.[(triple11)] The tiger likes the cat.[(triple12)] The tiger likes the mouse.[(triple13)] The tiger needs the cat.[(triple14)] The tiger sees the cat.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The cat is round.[(((triple2) -> rule2))] The tiger is round.[(((triple13) -> rule2))] The tiger needs the tiger.[(((triple12 triple11) -> rule7))] @2: The cat likes the tiger.[(((((triple2) -> rule2) triple3) -> rule3))]