The bear is cold. The lion sees the tiger. The tiger is red. If something eats the tiger and the tiger eats the bear then the bear is round.
The bear is cold.
("bear" "is" "cold" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something eats the tiger and the tiger eats the bear then the bear is round.
((("something" "eats" "tiger" "+") ("tiger" "eats" "bear" "+")) -> ("bear" "is" "round" "+"))
The lion sees the tiger.
True
1
proof
[(triple2)]
("lion" "sees" "tiger" "+")
triple2
The tiger is not red.
False
1
inv-proof
[(triple3)]
("tiger" "is" "red" "-")
triple3
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "round" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bear is cold.[(triple1)] The lion sees the tiger.[(triple2)] The tiger is red.[(triple3)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3