The cat eats the tiger. The cat is big. The cat is nice. The cat is red. The cat is rough. 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 nice. The tiger is red. The tiger is rough. The tiger is young. The tiger likes the cat. The tiger sees the cat. If something is big and it likes the tiger then the tiger eats the cat.
The cat does not see the cat.
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cat likes the tiger.[(triple7)] The cat sees the tiger.[(triple8)] The tiger eats the cat.[(triple9 OR ((triple2 triple7) -> rule1))] The tiger is big.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cat.[(triple15)] The tiger sees the cat.[(triple16)]