The lion is big. The lion is blue. The lion is round. The lion needs the rabbit. The mouse is nice. The mouse likes the rabbit. The mouse likes the squirrel. The rabbit does not need the mouse. The rabbit needs the squirrel. The squirrel is not young. All nice things are round. If the rabbit is not big then the rabbit does not visit the lion. Big things are nice. If the mouse is big and the mouse likes the squirrel then the mouse visits the squirrel. If something visits the rabbit then it does not like the mouse. All young things are blue.
The lion does not need the rabbit.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is round.[(triple3 OR ((((triple1) -> rule3)) -> rule1))] The lion needs the rabbit.[(triple4)] The mouse is nice.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse likes the squirrel.[(triple7)] The rabbit does not need the mouse.[(triple8)] The rabbit needs the squirrel.[(triple9)] The squirrel is not young.[(triple10)] @1: The lion is nice.[(((triple1) -> rule3))] The mouse is round.[(((triple5) -> rule1))]