The cat is red. The cat is young. The cat sees the cow. The cat sees the lion. The cat sees the mouse. The cat visits the cow. The cow visits the mouse. The lion is red. The lion needs the cow. The lion sees the cow. The lion sees the mouse. The mouse needs the cat. The mouse needs the cow. The mouse sees the cat. The mouse visits the cat. If the cat visits the cow and the cow is red then the cow sees the lion. If someone sees the mouse and the mouse needs the lion then the lion needs the cat. If someone is nice then they need the lion. If the cat needs the cow then the cat is nice. If the lion is round then the lion sees the cow. If someone needs the mouse then the mouse is rough. If someone sees the cow then they need the cat. If someone is nice then they visit the cow.
The cow visits the lion.
@0: The cat is red.[(triple1)] The cat is young.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the lion.[(triple4)] The cat sees the mouse.[(triple5)] The cat visits the cow.[(triple6)] The cow visits the mouse.[(triple7)] The lion is red.[(triple8)] The lion needs the cow.[(triple9)] The lion sees the cow.[(triple10)] The lion sees the mouse.[(triple11)] The mouse needs the cat.[(triple12)] The mouse needs the cow.[(triple13)] The mouse sees the cat.[(triple14)] The mouse visits the cat.[(triple15)] @1: The cat needs the cat.[(((triple3) -> rule7))] The lion needs the cat.[(((triple10) -> rule7))]