The cat eats the mouse. The cat is not blue. The cat is cold. The cat likes the cow. The cow eats the cat. The cow does not eat the mouse. The cow is big. The cow is blue. The cow likes the mouse. The cow needs the lion. The lion is not blue. The lion does not like the cow. The lion does not like the mouse. The mouse is blue. The mouse is cold. The mouse needs the lion. If someone is cold and rough then they do not like the lion. If someone eats the mouse and they like the cow then the mouse is cold. All cold, big people are rough.
The cow does not like the mouse.
@0: The cat eats the mouse.[(triple1)] The cat is cold.[(triple3)] The cat is not blue.[(triple2)] The cat likes the cow.[(triple4)] The cow does not eat the mouse.[(triple6)] The cow eats the cat.[(triple5)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow likes the mouse.[(triple9)] The cow needs the lion.[(triple10)] The lion does not like the cow.[(triple12)] The lion does not like the mouse.[(triple13)] The lion is not blue.[(triple11)] The mouse is blue.[(triple14)] The mouse is cold.[(triple15 OR ((triple1 triple4) -> rule2))] The mouse needs the lion.[(triple16)]