The cow eats the lion. The cow eats the rabbit. The cow needs the rabbit. The lion sees the mouse. The mouse is not blue. The mouse is not young. The mouse does not need the cow. The mouse needs the lion. The mouse sees the lion. The rabbit does not eat the cow. The rabbit eats the lion. The rabbit is blue. The rabbit needs the cow. The rabbit sees the cow. The rabbit sees the lion. If something needs the rabbit then it eats the lion. If the cow needs the rabbit then the cow is blue. If the mouse is not blue then the mouse sees the rabbit. If something sees the cow then it needs the cow. If something is blue then it sees the cow. If the mouse needs the lion and the mouse eats the cow then the lion eats the rabbit. If something sees the lion then it is not nice. If something is young and it does not eat the rabbit then it sees the lion.
The mouse sees the cow.
@0: The cow eats the lion.[(triple1 OR ((triple3) -> rule1))] The cow eats the rabbit.[(triple2)] The cow needs the rabbit.[(triple3)] The lion sees the mouse.[(triple4)] The mouse does not need the cow.[(triple7)] The mouse is not blue.[(triple5)] The mouse is not young.[(triple6)] The mouse needs the lion.[(triple8)] The mouse sees the lion.[(triple9)] The rabbit does not eat the cow.[(triple10)] The rabbit eats the lion.[(triple11)] The rabbit is blue.[(triple12)] The rabbit needs the cow.[(triple13 OR ((triple14) -> rule4) OR ((((triple12) -> rule5)) -> rule4))] The rabbit sees the cow.[(triple14 OR ((triple12) -> rule5))] The rabbit sees the lion.[(triple15)] @1: The cow is blue.[(((triple3) -> rule2))] The mouse is not nice.[(((triple9) -> rule7))] The mouse sees the rabbit.[(((triple5) -> rule3))] The rabbit is not nice.[(((triple15) -> rule7))] @2: The cow sees the cow.[(((((triple3) -> rule2)) -> rule5))] @3: The cow needs the cow.[(((((((triple3) -> rule2)) -> rule5)) -> rule4))]