The bear likes the rabbit. The rabbit eats the bear. The rabbit visits the bear. If someone is cold then they are round. If someone visits the rabbit then the rabbit likes the bear. If someone eats the bear then they are red.
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone visits the rabbit then the rabbit likes the bear.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "likes" "bear" "+"))
If someone eats the bear then they are red.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "red" "+"))
The rabbit visits the bear.
True
1
proof
[(triple3)]
("rabbit" "visits" "bear" "+")
triple3
The bear does not like the rabbit.
False
1
inv-proof
[(triple1)]
("bear" "likes" "rabbit" "-")
triple1
The rabbit is red.
True
2
proof
[(((triple2) -> rule3))]
("rabbit" "is" "red" "+")
((triple2) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple2) -> rule3))]
("rabbit" "is" "red" "-")
((triple2) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "round" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "red" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear likes the rabbit.[(triple1)] The rabbit eats the bear.[(triple2)] The rabbit visits the bear.[(triple3)] @1: The rabbit is red.[(((triple2) -> rule3))]
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple3
The rabbit is red.
("rabbit" "is" "red" "+")
((triple2) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1