The bear is young. The bear does not like the lion. The bear likes the mouse. The bear sees the mouse. The cat likes the bear. The cat likes the lion. The cat sees the bear. The cat sees the mouse. The lion is rough. The lion likes the bear. The lion does not like the cat. The lion does not like the mouse. The lion needs the cat. The lion sees the bear. The mouse is round. If someone sees the bear then the bear does not like the cat. If the bear does not need the lion then the bear sees the lion.
The bear does not see the mouse.
@0: The bear does not like the lion.[(triple2)] The bear is young.[(triple1)] The bear likes the mouse.[(triple3)] The bear sees the mouse.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the lion.[(triple6)] The cat sees the bear.[(triple7)] The cat sees the mouse.[(triple8)] The lion does not like the cat.[(triple11)] The lion does not like the mouse.[(triple12)] The lion is rough.[(triple9)] The lion likes the bear.[(triple10)] The lion needs the cat.[(triple13)] The lion sees the bear.[(triple14)] The mouse is round.[(triple15)] @1: The bear does not like the cat.[(((triple14) -> rule1) OR ((triple7) -> rule1))]