The cow is nice. The cow is red. The cow is not round. The cow does not like the mouse. The lion eats the cow. The lion eats the mouse. The lion is cold. The lion likes the cow. The lion likes the mouse. The lion needs the cow. The mouse eats the lion. The mouse is nice. The mouse likes the cow. The mouse likes the lion. The mouse does not need the cow. If the mouse likes the lion then the mouse is red. If someone likes the lion then they eat the lion. If someone needs the mouse and they are not nice then they are cold. If someone needs the lion and they are red then the lion needs the cow. If someone is rough and they eat the lion then they eat the cow. If someone likes the cow and they are not nice then the cow is rough.
The cow is not nice.
@0: The cow does not like the mouse.[(triple4)] The cow is nice.[(triple1)] The cow is not round.[(triple3)] The cow is red.[(triple2)] The lion eats the cow.[(triple5)] The lion eats the mouse.[(triple6)] The lion is cold.[(triple7)] The lion likes the cow.[(triple8)] The lion likes the mouse.[(triple9)] The lion needs the cow.[(triple10)] The mouse does not need the cow.[(triple15)] The mouse eats the lion.[(triple11 OR ((triple14) -> rule2))] The mouse is nice.[(triple12)] The mouse likes the cow.[(triple13)] The mouse likes the lion.[(triple14)] @1: The mouse is red.[(((triple14) -> rule1))]