The cow is round. The lion chases the mouse. The lion is kind. The mouse chases the cow. The mouse chases the rabbit. The mouse is big. The mouse is red. The mouse is round. The mouse needs the cow. The mouse needs the lion. The rabbit chases the cow. The rabbit chases the lion. The rabbit chases the mouse. The rabbit is red. The rabbit sees the mouse. If someone chases the rabbit then they need the rabbit. If someone is big then they need the cow. If someone sees the mouse and they chase the rabbit then the mouse chases the lion.
The cow does not need the rabbit.
@0: The cow is round.[(triple1)] The lion chases the mouse.[(triple2)] The lion is kind.[(triple3)] The mouse chases the cow.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse is big.[(triple6)] The mouse is red.[(triple7)] The mouse is round.[(triple8)] The mouse needs the cow.[(triple9 OR ((triple6) -> rule2))] The mouse needs the lion.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit is red.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The mouse needs the rabbit.[(((triple5) -> rule1))]