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