The dog eats the lion. The dog is red. The dog is young. The dog visits the lion. The lion chases the dog. The lion eats the dog. The lion is rough. The lion is round. The lion is young. The lion visits the dog. If someone is red and they chase the dog then they do not eat the lion. If someone visits the lion and the lion does not chase the dog then they eat the lion. If someone visits the dog then they are round. If someone eats the dog then they are big. If someone is big then they are red. If someone eats the lion then the lion is big.
The dog is big.
@0: The dog eats the lion.[(triple1)] The dog is red.[(triple2)] The dog is young.[(triple3)] The dog visits the lion.[(triple4)] The lion chases the dog.[(triple5)] The lion eats the dog.[(triple6)] The lion is rough.[(triple7)] The lion is round.[(triple8 OR ((triple10) -> rule3))] The lion is young.[(triple9)] The lion visits the dog.[(triple10)] @1: The lion is big.[(((triple1) -> rule6) OR ((triple6) -> rule4))] @2: The lion is red.[(((((triple1) -> rule6)) -> rule5) OR ((((triple6) -> rule4)) -> rule5))] @3: The lion does not eat the lion.[(((((((triple1) -> rule6)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4)) -> rule5) triple5) -> rule1))]