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