The cow is not big. The cow is blue. The cow is not green. The cow is round. The cow likes the mouse. The cow needs the mouse. The cow sees the mouse. The mouse is big. The mouse is not blue. The mouse is green. The mouse is not red. The mouse is round. The mouse likes the cow. The mouse needs the cow. The mouse does not see the cow. If someone sees the mouse and the mouse sees the cow then the mouse is round. If someone needs the mouse then they need the cow. If someone is big then they like the cow. If someone sees the mouse and they are not blue then the mouse sees the cow. If the cow is big then the cow likes the mouse. If someone likes the mouse and the mouse does not see the cow then the mouse needs the cow.
The mouse is round.
@0: The cow is blue.[(triple2)] The cow is not big.[(triple1)] The cow is not green.[(triple3)] The cow is round.[(triple4)] The cow likes the mouse.[(triple5)] The cow needs the mouse.[(triple6)] The cow sees the mouse.[(triple7)] The mouse does not see the cow.[(triple15)] The mouse is big.[(triple8)] The mouse is green.[(triple10)] The mouse is not blue.[(triple9)] The mouse is not red.[(triple11)] The mouse is round.[(triple12)] The mouse likes the cow.[(triple13 OR ((triple8) -> rule3))] The mouse needs the cow.[(triple14 OR ((triple5 triple15) -> rule6))] @1: The cow needs the cow.[(((triple6) -> rule2))]