The dog is big. The dog is round. The dog needs the lion. The dog sees the lion. The dog sees the tiger. The lion is big. The lion is round. The lion needs the tiger. The lion sees the tiger. The tiger chases the dog. The tiger chases the lion. The tiger is green. The tiger is round. The tiger is young. The tiger needs the dog. The tiger sees the dog. If something sees the dog and it needs the lion then the lion sees the dog. If something chases the lion and it is big then it is young. If the lion sees the dog then the lion chases the dog. If something is young and it needs the lion then the lion needs the tiger. If something is round and it sees the dog then it needs the dog. If something sees the tiger and it sees the lion then the tiger needs the lion.
The lion is young.
@0: The dog is big.[(triple1)] The dog is round.[(triple2)] The dog needs the lion.[(triple3)] The dog sees the lion.[(triple4)] The dog sees the tiger.[(triple5)] The lion is big.[(triple6)] The lion is round.[(triple7)] The lion needs the tiger.[(triple8 OR ((triple14 ((triple5 triple4) -> rule6)) -> rule4))] The lion sees the tiger.[(triple9)] The tiger chases the dog.[(triple10)] The tiger chases the lion.[(triple11)] The tiger is green.[(triple12)] The tiger is round.[(triple13)] The tiger is young.[(triple14)] The tiger needs the dog.[(triple15 OR ((triple13 triple16) -> rule5))] The tiger sees the dog.[(triple16)] @1: The tiger needs the lion.[(((triple5 triple4) -> rule6))] @2: The lion sees the dog.[(((triple16 ((triple5 triple4) -> rule6)) -> rule1))] @3: The lion chases the dog.[(((((triple16 ((triple5 triple4) -> rule6)) -> rule1)) -> rule3))] The lion needs the dog.[(((triple7 ((triple16 ((triple5 triple4) -> rule6)) -> rule1)) -> rule5))]