The cat chases the mouse. The cat likes the mouse. The cat visits the mouse. The cat visits the tiger. The mouse chases the cat. The mouse is big. The mouse is kind. The mouse is nice. The tiger chases the cat. The tiger visits the cat. If someone is big and they visit the mouse then the mouse likes the tiger. If the mouse chases the cat then the cat likes the tiger. If someone likes the tiger and they chase the mouse then they chase the tiger.
The tiger is not red.
@0: The cat chases the mouse.[(triple1)] The cat likes the mouse.[(triple2)] The cat visits the mouse.[(triple3)] The cat visits the tiger.[(triple4)] The mouse chases the cat.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse is nice.[(triple8)] The tiger chases the cat.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat likes the tiger.[(((triple5) -> rule2))] @2: The cat chases the tiger.[(((((triple5) -> rule2) triple1) -> rule3))]