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