The dog eats the rabbit. The dog is kind. The dog is nice. The dog likes the rabbit. The rabbit eats the dog. The rabbit is kind. The rabbit is nice. If the rabbit likes the dog then the rabbit eats the dog. If the dog is kind then the dog eats the rabbit. If something likes the dog then it needs the dog. If something needs the dog and the dog is kind then the dog likes the rabbit. If something likes the dog then the dog is cold. If something eats the rabbit then the rabbit eats the dog. If something likes the dog then the dog likes the rabbit. All nice, round things are kind.
The dog does not need the dog.
@0: The dog eats the rabbit.[(triple1 OR ((triple2) -> rule2))] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog likes the rabbit.[(triple4)] The rabbit eats the dog.[(triple5 OR ((triple1) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] The rabbit is kind.[(triple6)] The rabbit is nice.[(triple7)]