The lion eats the squirrel. The lion eats the tiger. The lion is nice. The lion is rough. The lion is young. The lion likes the tiger. The squirrel is cold. The squirrel is young. The squirrel likes the lion. The squirrel likes the tiger. The squirrel needs the tiger. The tiger eats the squirrel. The tiger is cold. The tiger is round. The tiger likes the squirrel. If someone is nice and they like the lion then they are cold. If the lion eats the tiger and the lion is young then the tiger eats the squirrel. If someone needs the lion and they are cold then they eat the squirrel. If someone eats the squirrel then they like the squirrel. If someone likes the tiger and they need the tiger then they need the lion. If someone likes the squirrel then they eat the tiger.
The tiger needs the lion.
@0: The lion eats the squirrel.[(triple1)] The lion eats the tiger.[(triple2 OR ((((triple1) -> rule4)) -> rule6))] The lion is nice.[(triple3)] The lion is rough.[(triple4)] The lion is young.[(triple5)] The lion likes the tiger.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the lion.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger eats the squirrel.[(triple12 OR ((triple2 triple5) -> rule2) OR ((((((triple1) -> rule4)) -> rule6) triple5) -> rule2))] The tiger is cold.[(triple13)] The tiger is round.[(triple14)] The tiger likes the squirrel.[(triple15 OR ((triple12) -> rule4) OR ((((triple2 triple5) -> rule2)) -> rule4) OR ((((((((triple1) -> rule4)) -> rule6) triple5) -> rule2)) -> rule4))] @1: The lion likes the squirrel.[(((triple1) -> rule4))] The squirrel needs the lion.[(((triple10 triple11) -> rule5))] The tiger eats the tiger.[(((triple15) -> rule6) OR ((((triple12) -> rule4)) -> rule6) OR ((((((triple2 triple5) -> rule2)) -> rule4)) -> rule6) OR ((((((((((triple1) -> rule4)) -> rule6) triple5) -> rule2)) -> rule4)) -> rule6))] @2: The squirrel eats the squirrel.[(((((triple10 triple11) -> rule5) triple7) -> rule3))] @3: The squirrel likes the squirrel.[(((((((triple10 triple11) -> rule5) triple7) -> rule3)) -> rule4))] @4: The squirrel eats the tiger.[(((((((((triple10 triple11) -> rule5) triple7) -> rule3)) -> rule4)) -> rule6))]