The cow eats the mouse. The cow is green. The cow sees the rabbit. The dog chases the cow. The mouse chases the cow. The mouse chases the dog. The rabbit is rough. If someone chases the rabbit then the rabbit is kind. If someone is blue and they see the cow then the cow sees the rabbit. If someone eats the mouse and the mouse is cold then the mouse sees the cow. If someone eats the rabbit and the rabbit chases the dog then they are cold. If someone eats the mouse and the mouse chases the rabbit then they chase the rabbit. If someone chases the cow then they chase the rabbit.
The mouse sees the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is green.[(triple2)] The cow sees the rabbit.[(triple3)] The dog chases the cow.[(triple4)] The mouse chases the cow.[(triple5)] The mouse chases the dog.[(triple6)] The rabbit is rough.[(triple7)] @1: The dog chases the rabbit.[(((triple4) -> rule6))] The mouse chases the rabbit.[(((triple5) -> rule6))] @2: The cow chases the rabbit.[(((triple1 ((triple5) -> rule6)) -> rule5))] The rabbit is kind.[(((((triple4) -> rule6)) -> rule1) OR ((((triple5) -> rule6)) -> rule1) OR ((((triple1 ((triple5) -> rule6)) -> rule5)) -> rule1))]