The cat is green. The dog likes the tiger. The lion is not rough. The tiger is rough. If something likes the cat and the cat sees the tiger then it does not see the cat. If something is green and it visits the tiger then it sees the lion. If something likes the cat then the cat is not blue. If something is green then it visits the tiger. If the lion visits the dog and the dog is blue then the lion likes the tiger. If something likes the tiger then the tiger is rough. If the tiger is not big then the tiger sees the cat. If the dog does not visit the tiger then the tiger does not see the lion.
The cat does not see the lion.
@0: The cat is green.[(triple1)] The dog likes the tiger.[(triple2)] The lion is not rough.[(triple3)] The tiger is rough.[(triple4 OR ((triple2) -> rule6))] @1: The cat visits the tiger.[(((triple1) -> rule4))] @2: The cat sees the lion.[(((triple1 ((triple1) -> rule4)) -> rule2))]