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