The dog eats the rabbit. The rabbit is round. If someone needs the rabbit then the rabbit is cold. If someone eats the rabbit then they are nice. If someone is round and they need the dog then they eat the rabbit. If someone eats the rabbit then they eat the dog. If someone is big and they eat the dog then they need the rabbit. If the rabbit needs the dog then the dog needs the rabbit. If the dog eats the rabbit and the rabbit is round then the dog is big. If someone is cold and they do not eat the dog then the dog visits the rabbit.
The rabbit does not eat the dog.
@0: The dog eats the rabbit.[(triple1)] The rabbit is round.[(triple2)] @1: The dog eats the dog.[(((triple1) -> rule4))] The dog is big.[(((triple1 triple2) -> rule7))] The dog is nice.[(((triple1) -> rule2))] @2: The dog needs the rabbit.[(((((triple1 triple2) -> rule7) ((triple1) -> rule4)) -> rule5))] @3: The rabbit is cold.[(((((((triple1 triple2) -> rule7) ((triple1) -> rule4)) -> rule5)) -> rule1))]