The cow chases the mouse. The cow is blue. The cow is nice. The cow is round. The cow sees the rabbit. The mouse chases the cow. The mouse is blue. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit needs the cow. The rabbit sees the cow. If something chases the rabbit then the rabbit is rough. If something is rough and it needs the rabbit then it is round. If something is nice and it needs the rabbit then it sees the rabbit. If something needs the cow then the cow chases the rabbit. If the cow needs the rabbit and the rabbit is kind then the rabbit chases the cow. If the rabbit is rough then the rabbit sees the mouse. If something chases the mouse then it needs the cow. If something needs the mouse and it is round then it chases the cow.
The cow chases the cow.
@0: The cow chases the mouse.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple3)] The cow is round.[(triple4)] The cow sees the rabbit.[(triple5)] The mouse chases the cow.[(triple6)] The mouse is blue.[(triple7)] The mouse needs the rabbit.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit needs the cow.[(triple11 OR ((triple10) -> rule7))] The rabbit sees the cow.[(triple12)] @1: The cow chases the rabbit.[(((triple11) -> rule4) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple10) -> rule7)) -> rule4))] The cow needs the cow.[(((triple1) -> rule7))] @2: The rabbit is rough.[(((((triple11) -> rule4)) -> rule1) OR ((((((triple1) -> rule7)) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule4)) -> rule1))] @3: The rabbit sees the mouse.[(((((((triple11) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple1) -> rule7)) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple10) -> rule7)) -> rule4)) -> rule1)) -> rule6))]