The cat is big. The cat sees the lion. The cat visits the lion. The cow is big. The cow is round. The cow needs the mouse. The cow visits the cat. The lion is big. The lion needs the mouse. The lion sees the cow. The lion visits the cat. The lion visits the cow. The mouse is big. The mouse is round. The mouse is young. The mouse visits the cat. If something is big and red then it visits the mouse. If something is young then it visits the cow. If something needs the mouse and it needs the cat then the cat is round.
The cat does not need the lion.
@0: The cat is big.[(triple1)] The cat sees the lion.[(triple2)] The cat visits the lion.[(triple3)] The cow is big.[(triple4)] The cow is round.[(triple5)] The cow needs the mouse.[(triple6)] The cow visits the cat.[(triple7)] The lion is big.[(triple8)] The lion needs the mouse.[(triple9)] The lion sees the cow.[(triple10)] The lion visits the cat.[(triple11)] The lion visits the cow.[(triple12)] The mouse is big.[(triple13)] The mouse is round.[(triple14)] The mouse is young.[(triple15)] The mouse visits the cat.[(triple16)] @1: The mouse visits the cow.[(((triple15) -> rule2))]