The cow is nice. The dog is not young. The rabbit needs the cow. The tiger chases the dog. If the tiger does not need the rabbit then the rabbit does not chase the cow. If the rabbit is young and the rabbit chases the tiger then the rabbit does not like the dog. If something chases the dog then the dog chases the rabbit. If something needs the dog and the dog is red then the dog is young. If something is nice and it likes the dog then it likes the tiger. If something is nice and it needs the rabbit then it likes the tiger.
The rabbit is cold.
@0: The cow is nice.[(triple1)] The dog is not young.[(triple2)] The rabbit needs the cow.[(triple3)] The tiger chases the dog.[(triple4)] @1: The dog chases the rabbit.[(((triple4) -> rule3))]