The bear eats the lion. The bear eats the mouse. The bear is not rough. The lion likes the mouse. The lion visits the rabbit. The mouse eats the rabbit. The mouse is green. The mouse likes the rabbit. The rabbit is red. The rabbit does not like the lion. If something is big and not red then it likes the rabbit. If something visits the rabbit and the rabbit eats the mouse then the mouse likes the bear. If something visits the rabbit then it is not round. If something eats the bear then the bear visits the rabbit. If something is red and round then it is green. If something eats the mouse and the mouse likes the rabbit then the mouse eats the bear.
The lion is rough.
@0: The bear eats the lion.[(triple1)] The bear eats the mouse.[(triple2)] The bear is not rough.[(triple3)] The lion likes the mouse.[(triple4)] The lion visits the rabbit.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is green.[(triple7)] The mouse likes the rabbit.[(triple8)] The rabbit does not like the lion.[(triple10)] The rabbit is red.[(triple9)] @1: The lion is not round.[(((triple5) -> rule3))] The mouse eats the bear.[(((triple2 triple8) -> rule6))] @2: The bear visits the rabbit.[(((((triple2 triple8) -> rule6)) -> rule4))] @3: The bear is not round.[(((((((triple2 triple8) -> rule6)) -> rule4)) -> rule3))]