The lion eats the mouse. The lion is blue. The lion is nice. The lion is red. The lion is young. The lion likes the mouse. The lion sees the mouse. The mouse eats the lion. The mouse is blue. The mouse is nice. The mouse is red. The mouse is round. The mouse is young. The mouse likes the lion. The mouse sees the lion. If something is young then it is round. If something likes the lion and it is red then it likes the mouse. If something eats the mouse then the mouse sees the lion.
The lion does not eat the lion.
@0: The lion eats the mouse.[(triple1)] The lion is blue.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is young.[(triple5)] The lion likes the mouse.[(triple6)] The lion sees the mouse.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is blue.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse is round.[(triple12 OR ((triple13) -> rule1))] The mouse is young.[(triple13)] The mouse likes the lion.[(triple14)] The mouse sees the lion.[(triple15 OR ((triple1) -> rule3))] @1: The lion is round.[(((triple5) -> rule1))] The mouse likes the mouse.[(((triple14 triple11) -> rule2))]