The dog eats the lion. The dog is nice. The dog is red. The dog is rough. The dog likes the tiger. The lion is cold. The lion likes the tiger. The lion visits the tiger. The tiger eats the dog. The tiger is red. The tiger likes the lion. The tiger visits the lion. If someone is nice and they eat the dog then the dog visits the lion. If someone is red then they eat the dog.
The lion is young.
@0: The dog eats the lion.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog likes the tiger.[(triple5)] The lion is cold.[(triple6)] The lion likes the tiger.[(triple7)] The lion visits the tiger.[(triple8)] The tiger eats the dog.[(triple9 OR ((triple10) -> rule2))] The tiger is red.[(triple10)] The tiger likes the lion.[(triple11)] The tiger visits the lion.[(triple12)] @1: The dog eats the dog.[(((triple3) -> rule2))] @2: The dog visits the lion.[(((triple2 ((triple3) -> rule2)) -> rule1))]