The cow is rough. The rabbit needs the tiger. The tiger sees the rabbit. If something needs the tiger then the tiger needs the cow. If something is round and it does not chase the cow then the cow is round. If something needs the tiger and the tiger is rough then the tiger chases the rabbit. If something needs the tiger and it is rough then it does not need the rabbit. If something chases the cow and it sees the cow then it does not need the rabbit. If something needs the cow and the cow chases the rabbit then the rabbit needs the tiger. If something is round and not big then it is not rough. If something sees the cow and it does not chase the rabbit then the cow does not need the rabbit.
The cow is not rough.
@0: The cow is rough.[(triple1)] The rabbit needs the tiger.[(triple2)] The tiger sees the rabbit.[(triple3)] @1: The tiger needs the cow.[(((triple2) -> rule1))]