The cow is blue. The cow is green. The cow is round. The cow is young. The cow needs the lion. The cow needs the mouse. The cow visits the mouse. The lion chases the cow. The lion is nice. The lion needs the cow. The lion needs the mouse. The lion visits the cow. The lion visits the mouse. The mouse chases the cow. The mouse visits the cow. The mouse visits the lion. If something visits the lion then the lion chases the mouse. If something chases the mouse then the mouse needs the cow. If something is blue then it needs the lion. If something visits the lion then it needs the mouse. If something is young and it chases the cow then the cow is blue. If something visits the mouse and the mouse needs the cow then the mouse is round.
The mouse needs the lion.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow needs the lion.[(triple5 OR ((triple1) -> rule3))] The cow needs the mouse.[(triple6)] The cow visits the mouse.[(triple7)] The lion chases the cow.[(triple8)] The lion is nice.[(triple9)] The lion needs the cow.[(triple10)] The lion needs the mouse.[(triple11)] The lion visits the cow.[(triple12)] The lion visits the mouse.[(triple13)] The mouse chases the cow.[(triple14)] The mouse visits the cow.[(triple15)] The mouse visits the lion.[(triple16)] @1: The lion chases the mouse.[(((triple16) -> rule1))] The mouse needs the mouse.[(((triple16) -> rule4))] @2: The mouse needs the cow.[(((((triple16) -> rule1)) -> rule2))] @3: The mouse is round.[(((triple13 ((((triple16) -> rule1)) -> rule2)) -> rule6) OR ((triple7 ((((triple16) -> rule1)) -> rule2)) -> rule6))]