The cow is big. The dog is rough. The dog likes the lion. The lion is rough. The tiger is big. The tiger is not green. The tiger sees the lion. If something likes the dog then the dog sees the tiger. If something needs the dog and it does not see the lion then it likes the dog. If something likes the tiger then it likes the dog. If something needs the lion and the lion is big then it is not rough. If something likes the lion then the lion likes the tiger. If the cow likes the dog and the cow is not big then the dog needs the lion.
The cow is not rough.
@0: The cow is big.[(triple1)] The dog is rough.[(triple2)] The dog likes the lion.[(triple3)] The lion is rough.[(triple4)] The tiger is big.[(triple5)] The tiger is not green.[(triple6)] The tiger sees the lion.[(triple7)] @1: The lion likes the tiger.[(((triple3) -> rule5))] @2: The lion likes the dog.[(((((triple3) -> rule5)) -> rule3))] @3: The dog sees the tiger.[(((((((triple3) -> rule5)) -> rule3)) -> rule1))]