The lion eats the mouse. The lion is green. The mouse is kind. The squirrel is green. The squirrel is round. The squirrel likes the lion. The squirrel visits the mouse. The squirrel visits the tiger. The tiger is kind. The tiger is nice. If someone visits the mouse then the mouse is nice. If someone eats the mouse and they visit the tiger then the mouse is green. Big, nice people are round. If the mouse is green then the mouse is big. If the lion is nice then the lion does not visit the tiger. If someone is round and big then they like the lion. If someone is green then they visit the tiger. If someone eats the tiger and they are not nice then the tiger likes the lion. If someone likes the tiger and they do not eat the squirrel then the tiger likes the lion.
The tiger likes the squirrel.
@0: The lion eats the mouse.[(triple1)] The lion is green.[(triple2)] The mouse is kind.[(triple3)] The squirrel is green.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the lion.[(triple6)] The squirrel visits the mouse.[(triple7)] The squirrel visits the tiger.[(triple8 OR ((triple4) -> rule7))] The tiger is kind.[(triple9)] The tiger is nice.[(triple10)] @1: The lion visits the tiger.[(((triple2) -> rule7))] The mouse is nice.[(((triple7) -> rule1))] @2: The mouse is green.[(((triple1 ((triple2) -> rule7)) -> rule2))] @3: The mouse is big.[(((((triple1 ((triple2) -> rule7)) -> rule2)) -> rule4))] The mouse visits the tiger.[(((((triple1 ((triple2) -> rule7)) -> rule2)) -> rule7))] @4: The mouse is round.[(((((((triple1 ((triple2) -> rule7)) -> rule2)) -> rule4) ((triple7) -> rule1)) -> rule3))] @5: The mouse likes the lion.[(((((((((triple1 ((triple2) -> rule7)) -> rule2)) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple1 ((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule6))]