The lion eats the squirrel. The lion is kind. The lion is nice. The lion is rough. The lion is young. The lion likes the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is nice. The squirrel is round. The squirrel likes the lion. The squirrel visits the lion. If someone visits the squirrel then they are rough. If someone likes the lion and the lion likes the squirrel then they eat the lion. If someone visits the lion then they are kind. If someone is young and they visit the lion then the lion is round. If someone likes the squirrel then they are rough. If someone visits the lion then the lion likes the squirrel. If someone is kind and they visit the lion then they are young. If someone likes the lion and the lion is kind then they visit the lion.
The lion eats the lion.
@0: The lion eats the squirrel.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is rough.[(triple4 OR ((triple6) -> rule5) OR ((triple7) -> rule1) OR ((((triple12) -> rule6)) -> rule5) OR ((((((triple11 triple2) -> rule8)) -> rule6)) -> rule5))] The lion is young.[(triple5)] The lion likes the squirrel.[(triple6 OR ((triple12) -> rule6) OR ((((triple11 triple2) -> rule8)) -> rule6))] The lion visits the squirrel.[(triple7)] The squirrel eats the lion.[(triple8 OR ((triple11 triple6) -> rule2) OR ((triple11 ((triple12) -> rule6)) -> rule2) OR ((triple11 ((((triple11 triple2) -> rule8)) -> rule6)) -> rule2))] The squirrel is nice.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel visits the lion.[(triple12 OR ((triple11 triple2) -> rule8))] @1: The squirrel is kind.[(((triple12) -> rule3) OR ((((triple11 triple2) -> rule8)) -> rule3))] @2: The squirrel is young.[(((((triple12) -> rule3) triple12) -> rule7) OR ((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) OR ((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) OR ((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7))] @3: The lion is round.[(((((((triple12) -> rule3) triple12) -> rule7) triple12) -> rule4) OR ((((((triple12) -> rule3) triple12) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) triple12) -> rule4) OR ((((((triple12) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) triple12) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) triple12) -> rule7) ((triple11 triple2) -> rule8)) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) triple12) -> rule4) OR ((((((((triple11 triple2) -> rule8)) -> rule3) ((triple11 triple2) -> rule8)) -> rule7) ((triple11 triple2) -> rule8)) -> rule4))]