The cow is not big. The cow is round. The cow likes the mouse. The cow does not see the mouse. The cow visits the rabbit. The mouse is nice. The mouse likes the cow. The mouse likes the rabbit. The mouse visits the cow. The mouse visits the rabbit. The rabbit is round. The rabbit likes the cow. The rabbit does not like the mouse. The rabbit visits the cow. The rabbit visits the mouse. If something likes the rabbit and it likes the cow then the cow is not blue.
The mouse sees the mouse.
@0: The cow does not see the mouse.[(triple4)] The cow is not big.[(triple1)] The cow is round.[(triple2)] The cow likes the mouse.[(triple3)] The cow visits the rabbit.[(triple5)] The mouse is nice.[(triple6)] The mouse likes the cow.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse visits the cow.[(triple9)] The mouse visits the rabbit.[(triple10)] The rabbit does not like the mouse.[(triple13)] The rabbit is round.[(triple11)] The rabbit likes the cow.[(triple12)] The rabbit visits the cow.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The cow is not blue.[(((triple8 triple7) -> rule1))]