The cow chases the mouse. The cow is green. The lion chases the cow. The lion sees the cow. The mouse chases the cow. The mouse chases the lion. The mouse chases the rabbit. The mouse is kind. The mouse is round. The mouse sees the lion. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit sees the mouse. The rabbit visits the lion. The rabbit visits the mouse. If something is kind then it visits the rabbit. If something chases the lion then it does not visit the mouse. If something sees the rabbit and it is green then the rabbit does not see the lion. If something chases the mouse then it does not visit the lion. If something chases the mouse and it sees the mouse then the mouse chases the lion. If something sees the rabbit then it is green. If something chases the cow and it does not visit the mouse then the cow is cold. If something is cold then it chases the rabbit.
The mouse chases the cow.
@0: The cow chases the mouse.[(triple1)] The cow is green.[(triple2)] The lion chases the cow.[(triple3)] The lion sees the cow.[(triple4)] The mouse chases the cow.[(triple5)] The mouse chases the lion.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse is kind.[(triple8)] The mouse is round.[(triple9)] The mouse sees the lion.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is green.[(triple12)] The rabbit is kind.[(triple13)] The rabbit sees the mouse.[(triple14)] The rabbit visits the lion.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The cow does not visit the lion.[(((triple1) -> rule4))] The mouse does not visit the mouse.[(((triple6) -> rule2))] The mouse visits the rabbit.[(((triple8) -> rule1))] The rabbit visits the rabbit.[(((triple13) -> rule1))] @2: The cow is cold.[(((triple5 ((triple6) -> rule2)) -> rule7))] @3: The cow chases the rabbit.[(((((triple5 ((triple6) -> rule2)) -> rule7)) -> rule8))]