The cow is rough. The cow needs the mouse. The cow sees the mouse. The cow sees the squirrel. The mouse eats the rabbit. The mouse eats the squirrel. The mouse is big. The mouse sees the squirrel. The rabbit eats the cow. The rabbit eats the squirrel. The rabbit is big. The rabbit is red. The rabbit needs the cow. The rabbit sees the squirrel. The squirrel needs the rabbit. If something needs the cow and the cow is kind then the cow is nice. If something is kind and it sees the cow then the cow is nice. If something sees the mouse and the mouse sees the cow then the cow eats the rabbit. If something sees the mouse then the mouse eats the squirrel. If something sees the mouse then it is big. If something needs the squirrel then the squirrel sees the cow.
The squirrel is not big.
@0: The cow is rough.[(triple1)] The cow needs the mouse.[(triple2)] The cow sees the mouse.[(triple3)] The cow sees the squirrel.[(triple4)] The mouse eats the rabbit.[(triple5)] The mouse eats the squirrel.[(triple6 OR ((triple3) -> rule4))] The mouse is big.[(triple7)] The mouse sees the squirrel.[(triple8)] The rabbit eats the cow.[(triple9)] The rabbit eats the squirrel.[(triple10)] The rabbit is big.[(triple11)] The rabbit is red.[(triple12)] The rabbit needs the cow.[(triple13)] The rabbit sees the squirrel.[(triple14)] The squirrel needs the rabbit.[(triple15)] @1: The cow is big.[(((triple3) -> rule5))]