The cow chases the rabbit. The cow is cold. The dog is big. The dog needs the lion. The lion does not chase the dog. The rabbit is big. The rabbit is not blue. If the dog is cold and the dog is kind then the dog is not red. If someone needs the dog then they do not chase the dog. If someone is cold then they need the dog.
The rabbit is red.
@0: The cow chases the rabbit.[(triple1)] The cow is cold.[(triple2)] The dog is big.[(triple3)] The dog needs the lion.[(triple4)] The lion does not chase the dog.[(triple5)] The rabbit is big.[(triple6)] The rabbit is not blue.[(triple7)] @1: The cow needs the dog.[(((triple2) -> rule3))] @2: The cow does not chase the dog.[(((((triple2) -> rule3)) -> rule2))]