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