The cat is nice. The cat needs the mouse. The cow is blue. The cow needs the cat. The lion chases the cat. The lion is round. The lion needs the cat. The mouse chases the cat. The mouse needs the lion. The mouse visits the cat. If the mouse is blue then the mouse is rough. If someone needs the cat then they chase the cat. If the cat is nice and the cat chases the mouse then the mouse visits the cow.
The mouse does not visit the cow.
@0: The cat is nice.[(triple1)] The cat needs the mouse.[(triple2)] The cow is blue.[(triple3)] The cow needs the cat.[(triple4)] The lion chases the cat.[(triple5 OR ((triple7) -> rule2))] The lion is round.[(triple6)] The lion needs the cat.[(triple7)] The mouse chases the cat.[(triple8)] The mouse needs the lion.[(triple9)] The mouse visits the cat.[(triple10)] @1: The cow chases the cat.[(((triple4) -> rule2))]