The cat sees the mouse. The cat sees the tiger. The cat visits the mouse. The mouse likes the tiger. The rabbit is nice. The rabbit likes the cat. The rabbit visits the tiger. The tiger is cold. The tiger is nice. The tiger visits the cat. If someone likes the tiger then the tiger likes the cat. If the tiger is young and the tiger sees the mouse then the mouse visits the cat. If the tiger likes the cat and the tiger sees the cat then the tiger sees the mouse. If someone is young then they see the mouse. If someone visits the tiger then they see the tiger. If someone is young and they like the cat then they see the rabbit. If someone visits the rabbit and they like the mouse then the mouse sees the cat. If someone visits the rabbit then they see the rabbit.
The tiger is nice.
@0: The cat sees the mouse.[(triple1)] The cat sees the tiger.[(triple2)] The cat visits the mouse.[(triple3)] The mouse likes the tiger.[(triple4)] The rabbit is nice.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger is cold.[(triple8)] The tiger is nice.[(triple9)] The tiger visits the cat.[(triple10)] @1: The rabbit sees the tiger.[(((triple7) -> rule5))] The tiger likes the cat.[(((triple4) -> rule1))]