The cat likes the rabbit. The dog likes the mouse. The mouse is big. The rabbit sees the mouse. If someone chases the dog and the dog is big then they like the cat. If someone sees the dog then the dog is kind. If someone sees the cat then the cat chases the dog. If someone is nice then they see the dog. If the mouse sees the dog and the mouse is nice then the mouse sees the cat. If the dog is big then the dog chases the rabbit. If someone chases the mouse then the mouse likes the cat. If someone likes the rabbit then the rabbit is nice.
The mouse sees the rabbit.
@0: The cat likes the rabbit.[(triple1)] The dog likes the mouse.[(triple2)] The mouse is big.[(triple3)] The rabbit sees the mouse.[(triple4)] @1: The rabbit is nice.[(((triple1) -> rule8))] @2: The rabbit sees the dog.[(((((triple1) -> rule8)) -> rule4))] @3: The dog is kind.[(((((((triple1) -> rule8)) -> rule4)) -> rule2))]