The dog chases the rabbit. The dog is young. The dog sees the rabbit. The rabbit is kind. The rabbit sees the dog. The tiger eats the dog. The tiger is big. If someone chases the rabbit then they are red. If someone sees the rabbit and they are red then they are big. If someone sees the dog and they eat the rabbit then the dog eats the rabbit. If the rabbit eats the tiger then the rabbit is young. If someone sees the tiger and they see the dog then the tiger eats the dog. If someone is red then they eat the tiger. If someone eats the tiger and the tiger chases the rabbit then the rabbit is young. If the rabbit is red and the rabbit eats the tiger then the rabbit is big.
The rabbit does not eat the tiger.
@0: The dog chases the rabbit.[(triple1)] The dog is young.[(triple2)] The dog sees the rabbit.[(triple3)] The rabbit is kind.[(triple4)] The rabbit sees the dog.[(triple5)] The tiger eats the dog.[(triple6)] The tiger is big.[(triple7)] @1: The dog is red.[(((triple1) -> rule1))] @2: The dog eats the tiger.[(((((triple1) -> rule1)) -> rule6))] The dog is big.[(((triple3 ((triple1) -> rule1)) -> rule2))]