The cow is big. The cow is kind. The cow is nice. The cow is red. The cow is young. The cow likes the mouse. The cow needs the mouse. The cow visits the mouse. The mouse is big. The mouse is kind. The mouse is not nice. The mouse is not red. The mouse is not young. The mouse likes the cow. The mouse needs the cow. The mouse does not visit the cow. If something is young and it visits the mouse then the mouse likes the cow. If something visits the mouse and it needs the cow then it needs the mouse.
The cow likes the cow.
@0: The cow is big.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is young.[(triple5)] The cow likes the mouse.[(triple6)] The cow needs the mouse.[(triple7)] The cow visits the mouse.[(triple8)] The mouse does not visit the cow.[(triple16)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The mouse is not nice.[(triple11)] The mouse is not red.[(triple12)] The mouse is not young.[(triple13)] The mouse likes the cow.[(triple14 OR ((triple5 triple8) -> rule1))] The mouse needs the cow.[(triple15)]