The cat sees the tiger. The lion is blue. The lion is cold. The lion is rough. The lion likes the cat. The lion sees the mouse. The mouse eats the cat. The mouse eats the tiger. The mouse likes the lion. The mouse sees the cat. The mouse sees the lion. The mouse sees the tiger. The tiger eats the lion. The tiger is cold. The tiger likes the lion. The tiger likes the mouse. If something is round and it likes the lion then it sees the tiger. If something sees the mouse and the mouse eats the lion then the mouse eats the cat. If something eats the lion and the lion is rough then it is round.
The lion does not like the cat.
@0: The cat sees the tiger.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is rough.[(triple4)] The lion likes the cat.[(triple5)] The lion sees the mouse.[(triple6)] The mouse eats the cat.[(triple7)] The mouse eats the tiger.[(triple8)] The mouse likes the lion.[(triple9)] The mouse sees the cat.[(triple10)] The mouse sees the lion.[(triple11)] The mouse sees the tiger.[(triple12)] The tiger eats the lion.[(triple13)] The tiger is cold.[(triple14)] The tiger likes the lion.[(triple15)] The tiger likes the mouse.[(triple16)] @1: The tiger is round.[(((triple13 triple4) -> rule3))] @2: The tiger sees the tiger.[(((((triple13 triple4) -> rule3) triple15) -> rule1))]