The dog is rough. The dog likes the lion. The lion eats the dog. If the dog is big and the dog likes the lion then the lion is kind. If someone eats the dog then they are not young. Rough people are big. If the lion needs the dog and the dog is kind then the dog is big. If someone needs the dog then the dog needs the lion. If the lion is kind then the lion likes the dog.
The lion does not like the dog.
@0: The dog is rough.[(triple1)] The dog likes the lion.[(triple2)] The lion eats the dog.[(triple3)] @1: The dog is big.[(((triple1) -> rule3))] The lion is not young.[(((triple3) -> rule2))] @2: The lion is kind.[(((((triple1) -> rule3) triple2) -> rule1))] @3: The lion likes the dog.[(((((((triple1) -> rule3) triple2) -> rule1)) -> rule6))]