The cat eats the tiger. The cat is blue. The cat is cold. The cat is rough. The cat likes the lion. The cat needs the tiger. The lion eats the cat. The lion is blue. The lion is rough. The lion is young. The lion likes the cat. The lion needs the cat. The lion needs the tiger. The tiger eats the cat. The tiger is rough. The tiger likes the lion. If the lion eats the tiger and the tiger is rough then the tiger likes the cat. If the lion eats the tiger then the lion is cold. If the cat eats the lion then the cat is rough. If the tiger eats the lion then the lion needs the tiger. If something is young and it eats the lion then the lion eats the cat. If something eats the tiger then the tiger eats the lion.
The cat is cold.
@0: The cat eats the tiger.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is rough.[(triple4)] The cat likes the lion.[(triple5)] The cat needs the tiger.[(triple6)] The lion eats the cat.[(triple7)] The lion is blue.[(triple8)] The lion is rough.[(triple9)] The lion is young.[(triple10)] The lion likes the cat.[(triple11)] The lion needs the cat.[(triple12)] The lion needs the tiger.[(triple13 OR ((((triple1) -> rule6)) -> rule4))] The tiger eats the cat.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the lion.[(triple16)] @1: The tiger eats the lion.[(((triple1) -> rule6))]