The bear does not chase the tiger. The lion sees the tiger. The tiger sees the lion. If someone sees the lion then the lion does not chase the tiger. If the bear sees the lion and the bear sees the tiger then the bear does not chase the tiger. If someone is nice and they do not see the lion then they do not chase the bear.
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone sees the lion then the lion does not chase the tiger.
((("someone" "sees" "lion" "+")) -> ("lion" "chases" "tiger" "-"))
If the bear sees the lion and the bear sees the tiger then the bear does not chase the tiger.
((("bear" "sees" "lion" "+") ("bear" "sees" "tiger" "+")) -> ("bear" "chases" "tiger" "-"))
If someone is nice and they do not see the lion then they do not chase the bear.
((("someone" "is" "nice" "+") ("someone" "sees" "lion" "~")) -> ("someone" "chases" "bear" "-"))
The tiger sees the lion.
True
1
proof
[(triple3)]
("tiger" "sees" "lion" "+")
triple3
The lion does not see the tiger.
False
1
inv-proof
[(triple2)]
("lion" "sees" "tiger" "-")
triple2
The lion does not chase the tiger.
True
2
proof
[(((triple3) -> rule1))]
("lion" "chases" "tiger" "-")
((triple3) -> (rule1 % int1))
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
int1
The lion chases the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "chases" "tiger" "+")
((triple3) -> (rule1 % int1))
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
int1
The lion does not chase the bear.
Unknown
inv-random
[@0: The lion chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bear does not chase the tiger.[(triple1)] The lion sees the tiger.[(triple2)] The tiger sees the lion.[(triple3)] @1: The lion does not chase the tiger.[(((triple3) -> rule1))]
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
triple1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple2
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple3
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
((triple3) -> (rule1 % int1))
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
int1