The dog eats the lion. The dog is big. The dog is kind. The dog is nice. The dog is rough. The dog is young. The dog needs the lion. The dog visits the lion. The lion eats the dog. The lion is big. The lion is kind. The lion is nice. The lion is rough. The lion is young. The lion needs the dog. The lion visits the dog. If something eats the dog then the dog visits the lion. If something is kind and it eats the lion then the lion visits the dog. If the dog is young then the dog visits the lion.
The dog needs the dog.
@0: The dog eats the lion.[(triple1)] The dog is big.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog needs the lion.[(triple7)] The dog visits the lion.[(triple8 OR ((triple6) -> rule3) OR ((triple9) -> rule1))] The lion eats the dog.[(triple9)] The lion is big.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion is rough.[(triple13)] The lion is young.[(triple14)] The lion needs the dog.[(triple15)] The lion visits the dog.[(triple16 OR ((triple3 triple1) -> rule2))]