The cat eats the tiger. The cat is round. The cat likes the tiger. The cat sees the tiger. The tiger eats the cat. The tiger is cold. The tiger is green. The tiger is nice. The tiger is rough. The tiger is round. The tiger likes the cat. The tiger sees the cat. If something eats the cat then it sees the tiger.
The cat does not see the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is round.[(triple2)] The cat likes the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is cold.[(triple6)] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger is round.[(triple10)] The tiger likes the cat.[(triple11)] The tiger sees the cat.[(triple12)] @1: The tiger sees the tiger.[(((triple5) -> rule1))]