The lion eats the tiger. The lion is green. The lion is young. The lion sees the tiger. The tiger eats the lion. The tiger is cold. The tiger is nice. The tiger is young. The tiger needs the lion. The tiger sees the lion. If someone eats the tiger and they are nice then they are round. All nice people are young. If someone needs the tiger then the tiger needs the lion. If the lion sees the tiger and the tiger eats the lion then the lion eats the tiger. If someone is nice and they need the tiger then the tiger is green. If someone is green then they see the tiger. If someone is young then they eat the tiger. If someone is round then they are green.
The lion does not eat the lion.
@0: The lion eats the tiger.[(triple1 OR ((triple3) -> rule7) OR ((triple4 triple5) -> rule4) OR ((((triple2) -> rule6) triple5) -> rule4))] The lion is green.[(triple2)] The lion is young.[(triple3)] The lion sees the tiger.[(triple4 OR ((triple2) -> rule6))] The tiger eats the lion.[(triple5)] The tiger is cold.[(triple6)] The tiger is nice.[(triple7)] The tiger is young.[(triple8 OR ((triple7) -> rule2))] The tiger needs the lion.[(triple9)] The tiger sees the lion.[(triple10)] @1: The tiger eats the tiger.[(((triple8) -> rule7) OR ((((triple7) -> rule2)) -> rule7))] @2: The tiger is round.[(((((triple8) -> rule7) triple7) -> rule1) OR ((((((triple7) -> rule2)) -> rule7) triple7) -> rule1))] @3: The tiger is green.[(((((((triple8) -> rule7) triple7) -> rule1)) -> rule8) OR ((((((((triple7) -> rule2)) -> rule7) triple7) -> rule1)) -> rule8))] @4: The tiger sees the tiger.[(((((((((triple8) -> rule7) triple7) -> rule1)) -> rule8)) -> rule6) OR ((((((((((triple7) -> rule2)) -> rule7) triple7) -> rule1)) -> rule8)) -> rule6))]