The cat likes the lion. The cat likes the rabbit. The lion likes the cat. The rabbit eats the cat. The tiger eats the rabbit. The tiger is nice. The tiger does not see the rabbit. If someone likes the rabbit and they do not eat the tiger then the tiger sees the lion. If someone eats the lion and the lion is cold then the lion sees the cat. If someone likes the tiger and the tiger is green then they are green. If someone likes the tiger and the tiger likes the lion then they like the cat. If someone sees the rabbit then the rabbit is round. If someone eats the cat then the cat sees the rabbit. If someone likes the rabbit and they do not eat the lion then they are cold. If the tiger is not blue then the tiger is not nice.
The tiger sees the rabbit.
@0: The cat likes the lion.[(triple1)] The cat likes the rabbit.[(triple2)] The lion likes the cat.[(triple3)] The rabbit eats the cat.[(triple4)] The tiger does not see the rabbit.[(triple7)] The tiger eats the rabbit.[(triple5)] The tiger is nice.[(triple6)] @1: The cat sees the rabbit.[(((triple4) -> rule6))] @2: The rabbit is round.[(((((triple4) -> rule6)) -> rule5))]