The cat chases the tiger. The cat is cold. The cat likes the mouse. The cat does not like the tiger. The mouse does not chase the cat. The mouse chases the tiger. The mouse likes the tiger. The mouse sees the cat. The tiger chases the cat. The tiger is cold. The tiger is rough. The tiger is round. The tiger likes the cat. The tiger likes the mouse. The tiger sees the cat. The tiger sees the mouse. If someone likes the mouse then they chase the mouse. If someone is round and not rough then they do not like the cat. If someone chases the mouse and they do not chase the cat then they are round. If someone likes the tiger then they like the mouse. If someone likes the tiger and the tiger does not see the mouse then they are nice. If someone is rough and not round then they are not nice.
The mouse does not chase the mouse.
@0: The cat chases the tiger.[(triple1)] The cat does not like the tiger.[(triple4)] The cat is cold.[(triple2)] The cat likes the mouse.[(triple3)] The mouse chases the tiger.[(triple6)] The mouse does not chase the cat.[(triple5)] The mouse likes the tiger.[(triple7)] The mouse sees the cat.[(triple8)] The tiger chases the cat.[(triple9)] The tiger is cold.[(triple10)] The tiger is rough.[(triple11)] The tiger is round.[(triple12)] The tiger likes the cat.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger sees the cat.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The cat chases the mouse.[(((triple3) -> rule1))] The mouse likes the mouse.[(((triple7) -> rule4))] The tiger chases the mouse.[(((triple14) -> rule1))] @2: The mouse chases the mouse.[(((((triple7) -> rule4)) -> rule1))] @3: The mouse is round.[(((((((triple7) -> rule4)) -> rule1) triple5) -> rule3))]