The lion eats the mouse. The lion is big. The lion is green. The lion is nice. The lion is rough. The lion is round. The lion likes the mouse. The lion needs the mouse. The mouse eats the lion. The mouse is big. The mouse is green. The mouse is not nice. The mouse is rough. The mouse is not round. The mouse likes the lion. The mouse needs the lion. If something is nice and it likes the mouse then the mouse likes the lion. If something needs the lion then it likes the mouse. If something is rough and it likes the mouse then it needs the mouse.
The mouse likes the mouse.
@0: The lion eats the mouse.[(triple1)] The lion is big.[(triple2)] The lion is green.[(triple3)] The lion is nice.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion likes the mouse.[(triple7)] The lion needs the mouse.[(triple8 OR ((triple5 triple7) -> rule3))] The mouse eats the lion.[(triple9)] The mouse is big.[(triple10)] The mouse is green.[(triple11)] The mouse is not nice.[(triple12)] The mouse is not round.[(triple14)] The mouse is rough.[(triple13)] The mouse likes the lion.[(triple15 OR ((triple4 triple7) -> rule1))] The mouse needs the lion.[(triple16)] @1: The mouse likes the mouse.[(((triple16) -> rule2))] @2: The mouse needs the mouse.[(((triple13 ((triple16) -> rule2)) -> rule3))]