The dog chases the rabbit. The dog eats the tiger. The dog is nice. The dog needs the tiger. The lion is round. The rabbit is round. The tiger is nice. The tiger needs the dog. The tiger needs the lion. The tiger needs the rabbit. If someone chases the lion then the lion is nice. If someone needs the tiger then the tiger needs the dog. If someone eats the dog and they are round then the dog chases the lion. If someone chases the lion and they need the dog then the lion is rough. If someone eats the rabbit and the rabbit needs the lion then the lion chases the dog. If someone is round then they eat the dog.
The dog eats the lion.
@0: The dog chases the rabbit.[(triple1)] The dog eats the tiger.[(triple2)] The dog is nice.[(triple3)] The dog needs the tiger.[(triple4)] The lion is round.[(triple5)] The rabbit is round.[(triple6)] The tiger is nice.[(triple7)] The tiger needs the dog.[(triple8 OR ((triple4) -> rule2))] The tiger needs the lion.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The lion eats the dog.[(((triple5) -> rule6))] The rabbit eats the dog.[(((triple6) -> rule6))] @2: The dog chases the lion.[(((((triple5) -> rule6) triple5) -> rule3) OR ((((triple6) -> rule6) triple6) -> rule3))] @3: The lion is nice.[(((((((triple5) -> rule6) triple5) -> rule3)) -> rule1) OR ((((((triple6) -> rule6) triple6) -> rule3)) -> rule1))]