The cat likes the dog. The dog does not chase the tiger. The dog is big. The dog is young. The dog likes the cat. The lion chases the tiger. The tiger chases the cat. The tiger chases the dog. The tiger is not nice. The tiger is round. The tiger likes the dog. The tiger does not like the lion. The tiger sees the dog. The tiger sees the lion. If someone chases the lion then the lion is green. If someone likes the lion then they do not see the tiger. If someone likes the cat then they chase the cat. If someone likes the tiger and the tiger chases the lion then the lion sees the dog. If someone is green then they like the dog. If someone chases the lion then they see the cat. If someone likes the cat then the cat likes the lion. If someone likes the dog then they chase the lion.
The tiger chases the lion.
@0: The cat likes the dog.[(triple1)] The dog does not chase the tiger.[(triple2)] The dog is big.[(triple3)] The dog is young.[(triple4)] The dog likes the cat.[(triple5)] The lion chases the tiger.[(triple6)] The tiger chases the cat.[(triple7)] The tiger chases the dog.[(triple8)] The tiger does not like the lion.[(triple12)] The tiger is not nice.[(triple9)] The tiger is round.[(triple10)] The tiger likes the dog.[(triple11)] The tiger sees the dog.[(triple13)] The tiger sees the lion.[(triple14)] @1: The cat chases the lion.[(((triple1) -> rule8))] The cat likes the lion.[(((triple5) -> rule7))] The dog chases the cat.[(((triple5) -> rule3))] The tiger chases the lion.[(((triple11) -> rule8))] @2: The cat does not see the tiger.[(((((triple5) -> rule7)) -> rule2))] The cat sees the cat.[(((((triple1) -> rule8)) -> rule6))] The lion is green.[(((((triple1) -> rule8)) -> rule1) OR ((((triple11) -> rule8)) -> rule1))] The tiger sees the cat.[(((((triple11) -> rule8)) -> rule6))] @3: The lion likes the dog.[(((((((triple1) -> rule8)) -> rule1)) -> rule5) OR ((((((triple11) -> rule8)) -> rule1)) -> rule5))] @4: The lion chases the lion.[(((((((((triple1) -> rule8)) -> rule1)) -> rule5)) -> rule8) OR ((((((((triple11) -> rule8)) -> rule1)) -> rule5)) -> rule8))] @5: The lion sees the cat.[(((((((((((triple1) -> rule8)) -> rule1)) -> rule5)) -> rule8)) -> rule6) OR ((((((((((triple11) -> rule8)) -> rule1)) -> rule5)) -> rule8)) -> rule6))]