The cat eats the mouse. The cat eats the tiger. The cat is cold. The cat is round. The cat visits the tiger. The mouse eats the cat. The mouse is rough. The mouse visits the cat. The tiger eats the cat. The tiger visits the cat. If the cat is red then the cat likes the mouse. If the tiger eats the cat then the cat is big. If the tiger visits the cat then the cat visits the mouse. If someone visits the tiger then the tiger is rough. If the mouse likes the cat and the mouse is red then the mouse likes the tiger. If someone likes the cat then they are big. If the tiger eats the cat and the tiger visits the cat then the tiger likes the cat. If someone eats the mouse and the mouse is big then they are round.
The mouse visits the cat.
@0: The cat eats the mouse.[(triple1)] The cat eats the tiger.[(triple2)] The cat is cold.[(triple3)] The cat is round.[(triple4)] The cat visits the tiger.[(triple5)] The mouse eats the cat.[(triple6)] The mouse is rough.[(triple7)] The mouse visits the cat.[(triple8)] The tiger eats the cat.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat is big.[(((triple9) -> rule2))] The cat visits the mouse.[(((triple10) -> rule3))] The tiger is rough.[(((triple5) -> rule4))] The tiger likes the cat.[(((triple9 triple10) -> rule7))] @2: The tiger is big.[(((((triple9 triple10) -> rule7)) -> rule6))]