The cat eats the tiger. The cat is big. The cat is blue. The cat is cold. The cat is green. The cat is young. The cat likes the tiger. The cat sees the tiger. The tiger eats the cat. The tiger is big. The tiger is blue. The tiger is cold. The tiger is green. The tiger is young. The tiger likes the cat. The tiger sees the cat. If the cat eats the tiger then the cat likes the tiger. If something sees the cat then the cat sees the tiger. If something is cold and it sees the cat then it likes the cat.
The cat does not like the cat.
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is green.[(triple5)] The cat is young.[(triple6)] The cat likes the tiger.[(triple7 OR ((triple1) -> rule1))] The cat sees the tiger.[(triple8 OR ((triple16) -> rule2))] The tiger eats the cat.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is green.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cat.[(triple15 OR ((triple12 triple16) -> rule3))] The tiger sees the cat.[(triple16)]