The cat is rough. The cat does not like the mouse. The cat needs the mouse. The cat sees the lion. The lion is rough. The lion likes the cat. The mouse is kind. The mouse is nice. The mouse does not like the lion. The mouse needs the cat. The mouse does not need the lion. The mouse does not need the rabbit. The mouse sees the lion. The rabbit is red. The rabbit likes the cat. The rabbit sees the mouse. If something likes the mouse then the mouse likes the cat. If something sees the rabbit and it needs the rabbit then the rabbit is kind. If something sees the mouse then it likes the mouse.
The mouse likes the mouse.
@0: The cat does not like the mouse.[(triple2)] The cat is rough.[(triple1)] The cat needs the mouse.[(triple3)] The cat sees the lion.[(triple4)] The lion is rough.[(triple5)] The lion likes the cat.[(triple6)] The mouse does not like the lion.[(triple9)] The mouse does not need the lion.[(triple11)] The mouse does not need the rabbit.[(triple12)] The mouse is kind.[(triple7)] The mouse is nice.[(triple8)] The mouse needs the cat.[(triple10)] The mouse sees the lion.[(triple13)] The rabbit is red.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The rabbit likes the mouse.[(((triple16) -> rule3))] @2: The mouse likes the cat.[(((((triple16) -> rule3)) -> rule1))]