The bear chases the tiger. The bear is cold. The tiger is kind. If something visits the bear then the bear chases the tiger. If something chases the tiger then it likes the bear. If something visits the bear and the bear visits the tiger then the bear chases the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If something visits the bear then the bear chases the tiger.
((("something" "visits" "bear" "+")) -> ("bear" "chases" "tiger" "+"))
If something chases the tiger then it likes the bear.
((("something" "chases" "tiger" "+")) -> ("something" "likes" "bear" "+"))
If something visits the bear and the bear visits the tiger then the bear chases the tiger.
((("something" "visits" "bear" "+") ("bear" "visits" "tiger" "+")) -> ("bear" "chases" "tiger" "+"))
The bear is cold.
True
1
proof
[(triple2)]
("bear" "is" "cold" "+")
triple2
The bear does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bear" "chases" "tiger" "-")
triple1
The bear likes the bear.
True
2
proof
[(((triple1) -> rule2))]
("bear" "likes" "bear" "+")
((triple1) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "likes" "bear" "-")
((triple1) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The tiger does not like the bear.
Unknown
inv-rconc
[@1: The tiger likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "bear" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The bear does not visit the tiger.
Unknown
inv-random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The bear chases the tiger.[(triple1)] The bear is cold.[(triple2)] The tiger is kind.[(triple3)] @1: The bear likes the bear.[(((triple1) -> rule2))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple1) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1