The lion is young. The lion sees the mouse. The lion visits the rabbit. The mouse is big. The mouse is red. The mouse is rough. The mouse is round. The mouse is young. The mouse needs the rabbit. The mouse visits the lion. The mouse visits the rabbit. The rabbit is big. The rabbit needs the lion. The rabbit needs the mouse. The rabbit sees the mouse. The rabbit does not visit the mouse. If someone is red and big then they visit the rabbit. If someone needs the rabbit then they are big. If someone visits the lion and the lion sees the mouse then the lion does not need the rabbit. If someone is round and they visit the rabbit then the rabbit does not visit the mouse. If the rabbit does not visit the mouse and the rabbit is not rough then the mouse sees the lion. If the mouse is not round then the mouse does not see the lion.
The rabbit is rough.
@0: The lion is young.[(triple1)] The lion sees the mouse.[(triple2)] The lion visits the rabbit.[(triple3)] The mouse is big.[(triple4 OR ((triple9) -> rule2))] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The mouse is round.[(triple7)] The mouse is young.[(triple8)] The mouse needs the rabbit.[(triple9)] The mouse visits the lion.[(triple10)] The mouse visits the rabbit.[(triple11 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple9) -> rule2)) -> rule1))] The rabbit does not visit the mouse.[(triple16 OR ((triple7 triple11) -> rule4) OR ((triple7 ((triple5 triple4) -> rule1)) -> rule4) OR ((triple7 ((triple5 ((triple9) -> rule2)) -> rule1)) -> rule4))] The rabbit is big.[(triple12)] The rabbit needs the lion.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The lion does not need the rabbit.[(((triple10 triple2) -> rule3))]