The lion needs the squirrel. The squirrel eats the lion. The squirrel is big. If someone eats the lion then the lion eats the squirrel. If someone eats the lion then the lion eats the squirrel. If someone eats the squirrel then the squirrel likes the lion. If the lion is green then the lion is big. If the squirrel needs the lion then the squirrel eats the lion. If someone likes the lion and they are green then the lion eats the squirrel. If the lion eats the squirrel then the squirrel is blue. If someone eats the lion and they eat the squirrel then the squirrel eats the lion.
The squirrel is not green.
@0: The lion needs the squirrel.[(triple1)] The squirrel eats the lion.[(triple2)] The squirrel is big.[(triple3)] @1: The lion eats the squirrel.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: The squirrel is blue.[(((((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule2)) -> rule7))] The squirrel likes the lion.[(((((triple2) -> rule1)) -> rule3) OR ((((triple2) -> rule2)) -> rule3))]