The bear is not kind. The bear visits the tiger. The dog chases the lion. The dog visits the tiger. The lion chases the bear. The lion is young. The tiger is round. If someone visits the dog then they are kind. If someone chases the dog then the dog sees the bear. If the dog is rough then the dog chases the lion. If someone chases the tiger then they do not chase the dog. If someone visits the tiger then they chase the dog. If the bear is round and the bear visits the lion then the lion is round. If someone sees the lion and they see the tiger then the tiger sees the dog. If someone is round then they chase the tiger.
The bear is not kind.
("bear" "is" "kind" "-")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is young.
("lion" "is" "young" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone visits the dog then they are kind.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the dog then the dog sees the bear.
((("someone" "chases" "dog" "+")) -> ("dog" "sees" "bear" "+"))
If the dog is rough then the dog chases the lion.
((("dog" "is" "rough" "+")) -> ("dog" "chases" "lion" "+"))
If someone chases the tiger then they do not chase the dog.
((("someone" "chases" "tiger" "+")) -> ("someone" "chases" "dog" "-"))
If someone visits the tiger then they chase the dog.
((("someone" "visits" "tiger" "+")) -> ("someone" "chases" "dog" "+"))
If the bear is round and the bear visits the lion then the lion is round.
((("bear" "is" "round" "+") ("bear" "visits" "lion" "+")) -> ("lion" "is" "round" "+"))
If someone sees the lion and they see the tiger then the tiger sees the dog.
((("someone" "sees" "lion" "+") ("someone" "sees" "tiger" "+")) -> ("tiger" "sees" "dog" "+"))
If someone is round then they chase the tiger.
((("someone" "is" "round" "+")) -> ("someone" "chases" "tiger" "+"))
The bear visits the tiger.
True
1
proof
[(triple2)]
("bear" "visits" "tiger" "+")
triple2
The dog does not chase the lion.
False
1
inv-proof
[(triple3)]
("dog" "chases" "lion" "-")
triple3
The bear chases the dog.
True
2
proof
[(((triple2) -> rule5))]
("bear" "chases" "dog" "+")
((triple2) -> (rule5 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The tiger does not chase the tiger.
False
2
inv-proof
[(((triple7) -> rule8))]
("tiger" "chases" "tiger" "-")
((triple7) -> (rule8 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "kind" "-")
The tiger sees the dog.
Unknown
rconc
[@1: The tiger sees the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "sees" "dog" "+")
The bear does not see the lion.
Unknown
inv-random
[@0: The bear sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The bear is not kind.[(triple1)] The bear visits the tiger.[(triple2)] The dog chases the lion.[(triple3)] The dog visits the tiger.[(triple4)] The lion chases the bear.[(triple5)] The lion is young.[(triple6)] The tiger is round.[(triple7)] @1: The bear chases the dog.[(((triple2) -> rule5))] The dog chases the dog.[(((triple4) -> rule5))] The tiger chases the tiger.[(((triple7) -> rule8))] @2: The dog sees the bear.[(((((triple2) -> rule5)) -> rule2) OR ((((triple4) -> rule5)) -> rule2))] The tiger does not chase the dog.[(((((triple7) -> rule8)) -> rule4))]
The bear is not kind.
("bear" "is" "kind" "-")
triple1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple2
The dog chases the lion.
("dog" "chases" "lion" "+")
triple3
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple4
The lion chases the bear.
("lion" "chases" "bear" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The tiger is round.
("tiger" "is" "round" "+")
triple7
The bear chases the dog.
("bear" "chases" "dog" "+")
((triple2) -> (rule5 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple4) -> (rule5 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple7) -> (rule8 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The bear chases the dog.
("bear" "chases" "dog" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2