The dog sees the rabbit. The mouse likes the dog. The rabbit is blue. If someone sees the rabbit then they are not blue. If the rabbit eats the mouse then the mouse sees the rabbit. If someone sees the mouse and the mouse is cold then the mouse likes the dog. If someone eats the mouse then they see the mouse. If someone sees the rabbit then the rabbit eats the mouse. If the rabbit does not like the mouse and the mouse does not like the dog then the mouse is not big.
The mouse does not eat the dog.
@0: The dog sees the rabbit.[(triple1)] The mouse likes the dog.[(triple2)] The rabbit is blue.[(triple3)] @1: The dog is not blue.[(((triple1) -> rule1))] The rabbit eats the mouse.[(((triple1) -> rule5))] @2: The mouse sees the rabbit.[(((((triple1) -> rule5)) -> rule2))] The rabbit sees the mouse.[(((((triple1) -> rule5)) -> rule4))] @3: The mouse is not blue.[(((((((triple1) -> rule5)) -> rule2)) -> rule1))]