The cat is nice. The cat likes the lion. The lion chases the squirrel. The lion is green. The lion likes the cat. The lion likes the mouse. The lion needs the cat. The mouse is nice. The mouse needs the lion. The squirrel is rough. If something is rough and it chases the mouse then it likes the cat. If something chases the cat then it likes the squirrel. If something likes the cat then the cat likes the mouse. If something needs the lion and it chases the cat then the lion is big. If something is big and it chases the lion then it needs the squirrel. If something is kind and it needs the cat then it chases the lion.
The mouse does not like the squirrel.
@0: The cat is nice.[(triple1)] The cat likes the lion.[(triple2)] The lion chases the squirrel.[(triple3)] The lion is green.[(triple4)] The lion likes the cat.[(triple5)] The lion likes the mouse.[(triple6)] The lion needs the cat.[(triple7)] The mouse is nice.[(triple8)] The mouse needs the lion.[(triple9)] The squirrel is rough.[(triple10)] @1: The cat likes the mouse.[(((triple5) -> rule3))]