The cow is big. The cow is cold. The cow is nice. The cow likes the mouse. The cow sees the lion. The cow sees the mouse. The lion is big. The lion is cold. The lion likes the mouse. The lion sees the cow. The mouse chases the cow. The mouse is cold. The mouse is kind. The mouse likes the cow. The mouse likes the lion. If something likes the lion and it chases the cow then it likes the cow. If something is big and it likes the mouse then it likes the cow.
The lion is not big.
@0: The cow is big.[(triple1)] The cow is cold.[(triple2)] The cow is nice.[(triple3)] The cow likes the mouse.[(triple4)] The cow sees the lion.[(triple5)] The cow sees the mouse.[(triple6)] The lion is big.[(triple7)] The lion is cold.[(triple8)] The lion likes the mouse.[(triple9)] The lion sees the cow.[(triple10)] The mouse chases the cow.[(triple11)] The mouse is cold.[(triple12)] The mouse is kind.[(triple13)] The mouse likes the cow.[(triple14 OR ((triple15 triple11) -> rule1))] The mouse likes the lion.[(triple15)] @1: The cow likes the cow.[(((triple1 triple4) -> rule2))] The lion likes the cow.[(((triple7 triple9) -> rule2))]