The dog eats the rabbit. The dog is red. The dog is young. The dog needs the rabbit. The dog visits the rabbit. The rabbit eats the dog. The rabbit visits the dog. If the dog is young then the dog eats the rabbit. If the rabbit visits the dog then the rabbit needs the dog. If someone visits the dog then they are big. If someone needs the dog and they visit the rabbit then the rabbit is cold. If someone eats the rabbit then they are young. If the rabbit is cold then the rabbit visits the dog.
The dog is not young.
@0: The dog eats the rabbit.[(triple1 OR ((triple3) -> rule1))] The dog is red.[(triple2)] The dog is young.[(triple3 OR ((triple1) -> rule5))] The dog needs the rabbit.[(triple4)] The dog visits the rabbit.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit visits the dog.[(triple7)] @1: The rabbit is big.[(((triple7) -> rule3))] The rabbit needs the dog.[(((triple7) -> rule2))]