The cat chases the tiger. The mouse chases the tiger. The mouse is cold. The mouse is red. The mouse is round. The mouse is young. The mouse likes the cat. The tiger chases the mouse. The tiger is nice. The tiger is red. The tiger likes the mouse. The tiger sees the cat. If something likes the mouse and the mouse likes the tiger then the tiger likes the mouse. If something is young and it chases the mouse then it likes the cat. If something chases the tiger and the tiger likes the cat then the cat likes the mouse. If something sees the cat and it chases the cat then it likes the cat. If the tiger is cold then the tiger sees the mouse. If something sees the mouse then it is young. If the mouse is young and the mouse likes the cat then the mouse chases the cat. If something chases the cat and it likes the cat then the cat sees the mouse.
The mouse does not chase the mouse.
@0: The cat chases the tiger.[(triple1)] The mouse chases the tiger.[(triple2)] The mouse is cold.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6)] The mouse likes the cat.[(triple7)] The tiger chases the mouse.[(triple8)] The tiger is nice.[(triple9)] The tiger is red.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger sees the cat.[(triple12)] @1: The mouse chases the cat.[(((triple6 triple7) -> rule7))] @2: The cat sees the mouse.[(((((triple6 triple7) -> rule7) triple7) -> rule8))] @3: The cat is young.[(((((((triple6 triple7) -> rule7) triple7) -> rule8)) -> rule6))]