The dog chases the tiger. The dog is blue. The dog likes the rabbit. The rabbit chases the dog. The rabbit chases the tiger. The rabbit needs the dog. The tiger chases the dog. The tiger chases the rabbit. The tiger is cold. The tiger likes the dog. The tiger needs the dog. The tiger needs the rabbit. If something is blue then it is rough. If something needs the rabbit then the rabbit is blue. If something likes the rabbit then the rabbit is round.
The tiger does not need the dog.
@0: The dog chases the tiger.[(triple1)] The dog is blue.[(triple2)] The dog likes the rabbit.[(triple3)] The rabbit chases the dog.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit needs the dog.[(triple6)] The tiger chases the dog.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger is cold.[(triple9)] The tiger likes the dog.[(triple10)] The tiger needs the dog.[(triple11)] The tiger needs the rabbit.[(triple12)] @1: The dog is rough.[(((triple2) -> rule1))] The rabbit is blue.[(((triple12) -> rule2))] The rabbit is round.[(((triple3) -> rule3))] @2: The rabbit is rough.[(((((triple12) -> rule2)) -> rule1))]