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