The bear does not eat the tiger. The tiger eats the bear. The tiger visits the bear. If someone is nice and they do not eat the bear then they eat the tiger. If someone eats the bear then the bear does not visit the tiger.
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone is nice and they do not eat the bear then they eat the tiger.
((("someone" "is" "nice" "+") ("someone" "eats" "bear" "~")) -> ("someone" "eats" "tiger" "+"))
If someone eats the bear then the bear does not visit the tiger.
((("someone" "eats" "bear" "+")) -> ("bear" "visits" "tiger" "-"))
The bear does not eat the tiger.
True
1
proof
[(triple1)]
("bear" "eats" "tiger" "-")
triple1
The tiger does not eat the bear.
False
1
inv-proof
[(triple2)]
("tiger" "eats" "bear" "-")
triple2
The bear does not visit the tiger.
True
2
proof
[(((triple2) -> rule2))]
("bear" "visits" "tiger" "-")
((triple2) -> (rule2 % int1))
The bear does not visit the tiger.
("bear" "visits" "tiger" "-")
int1
The bear visits the tiger.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "visits" "tiger" "+")
((triple2) -> (rule2 % int1))
The bear does not visit the tiger.
("bear" "visits" "tiger" "-")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The bear sees the tiger.
Unknown
random
[@0: The bear sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "tiger" "+")
@0: The bear does not eat the tiger.[(triple1)] The tiger eats the bear.[(triple2)] The tiger visits the bear.[(triple3)] @1: The bear does not visit the tiger.[(((triple2) -> rule2))]
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
triple1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple2
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple3
The bear does not visit the tiger.
("bear" "visits" "tiger" "-")
((triple2) -> (rule2 % int1))
The bear does not visit the tiger.
("bear" "visits" "tiger" "-")
int1