The cat is rough. The cat needs the dog. The cat sees the lion. The cat sees the tiger. The dog is cold. The dog is green. The dog sees the cat. The dog sees the tiger. The lion eats the dog. The lion eats the tiger. The lion is green. The lion needs the tiger. The tiger eats the dog. The tiger needs the cat. The tiger sees the lion. If something is blue then it needs the tiger. If the tiger needs the cat and the tiger eats the dog then the tiger is blue.
The tiger does not see the cat.
@0: The cat is rough.[(triple1)] The cat needs the dog.[(triple2)] The cat sees the lion.[(triple3)] The cat sees the tiger.[(triple4)] The dog is cold.[(triple5)] The dog is green.[(triple6)] The dog sees the cat.[(triple7)] The dog sees the tiger.[(triple8)] The lion eats the dog.[(triple9)] The lion eats the tiger.[(triple10)] The lion is green.[(triple11)] The lion needs the tiger.[(triple12)] The tiger eats the dog.[(triple13)] The tiger needs the cat.[(triple14)] The tiger sees the lion.[(triple15)] @1: The tiger is blue.[(((triple14 triple13) -> rule2))] @2: The tiger needs the tiger.[(((((triple14 triple13) -> rule2)) -> rule1))]