The dog eats the rabbit. The dog is rough. The dog likes the rabbit. The dog visits the rabbit. The rabbit eats the dog. The rabbit is cold. The rabbit visits the dog. If someone likes the rabbit then the rabbit likes the dog. If someone is red and they like the rabbit then the rabbit is cold. If someone is nice then they like the dog. If someone is red then they like the dog. If someone eats the dog then the dog eats the rabbit. If someone visits the dog then they eat the dog. If someone likes the rabbit and they eat the dog then the dog likes the rabbit. If someone is cold and they eat the rabbit then the rabbit likes the dog.
The rabbit does not eat the dog.
@0: The dog eats the rabbit.[(triple1 OR ((triple5) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] The dog is rough.[(triple2)] The dog likes the rabbit.[(triple3)] The dog visits the rabbit.[(triple4)] The rabbit eats the dog.[(triple5 OR ((triple7) -> rule6))] The rabbit is cold.[(triple6)] The rabbit visits the dog.[(triple7)] @1: The rabbit likes the dog.[(((triple3) -> rule1))]