The bear chases the dog. The dog does not chase the bear. The dog does not chase the lion. The lion chases the bear. The lion chases the rabbit. The lion is not green. The lion is kind. The lion sees the dog. The lion visits the dog. The rabbit chases the lion. The rabbit is nice. The rabbit visits the bear. If someone visits the dog then they are not young. If the dog visits the lion and the lion chases the bear then the bear visits the rabbit. If someone chases the bear then they visit the lion. If the dog sees the bear and the dog sees the lion then the bear does not see the dog. If the lion visits the bear and the bear chases the rabbit then the lion sees the rabbit. If the lion is kind and the lion sees the bear then the lion visits the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog does not chase the lion.
("dog" "chases" "lion" "-")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone visits the dog then they are not young.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "young" "-"))
If the dog visits the lion and the lion chases the bear then the bear visits the rabbit.
((("dog" "visits" "lion" "+") ("lion" "chases" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
If someone chases the bear then they visit the lion.
((("someone" "chases" "bear" "+")) -> ("someone" "visits" "lion" "+"))
If the dog sees the bear and the dog sees the lion then the bear does not see the dog.
((("dog" "sees" "bear" "+") ("dog" "sees" "lion" "+")) -> ("bear" "sees" "dog" "-"))
If the lion visits the bear and the bear chases the rabbit then the lion sees the rabbit.
((("lion" "visits" "bear" "+") ("bear" "chases" "rabbit" "+")) -> ("lion" "sees" "rabbit" "+"))
If the lion is kind and the lion sees the bear then the lion visits the bear.
((("lion" "is" "kind" "+") ("lion" "sees" "bear" "+")) -> ("lion" "visits" "bear" "+"))
The rabbit is nice.
True
1
proof
[(triple11)]
("rabbit" "is" "nice" "+")
triple11
The lion is green.
False
1
inv-proof
[(triple6)]
("lion" "is" "green" "+")
triple6
The lion is not young.
True
2
proof
[(((triple9) -> rule1))]
("lion" "is" "young" "-")
((triple9) -> (rule1 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion is young.
False
2
inv-proof
[(((triple9) -> rule1))]
("lion" "is" "young" "+")
((triple9) -> (rule1 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion does not visit the bear.
Unknown
inv-rconc
[@1: The lion visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "visits" "bear" "-")
The bear visits the rabbit.
Unknown
rconc
[@2: The bear visits the rabbit.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("bear" "visits" "rabbit" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bear chases the dog.[(triple1)] The dog does not chase the bear.[(triple2)] The dog does not chase the lion.[(triple3)] The lion chases the bear.[(triple4)] The lion chases the rabbit.[(triple5)] The lion is kind.[(triple7)] The lion is not green.[(triple6)] The lion sees the dog.[(triple8)] The lion visits the dog.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is nice.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The lion is not young.[(((triple9) -> rule1))] The lion visits the lion.[(((triple4) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple2
The dog does not chase the lion.
("dog" "chases" "lion" "-")
triple3
The lion chases the bear.
("lion" "chases" "bear" "+")
triple4
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion is not green.
("lion" "is" "green" "-")
triple6
The lion sees the dog.
("lion" "sees" "dog" "+")
triple8
The lion visits the dog.
("lion" "visits" "dog" "+")
triple9
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The lion is not young.
("lion" "is" "young" "-")
((triple9) -> (rule1 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple4) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1