The bald eagle likes the tiger. The lion likes the rabbit. The rabbit likes the lion. The tiger sees the rabbit. If someone is nice then they see the bald eagle. If someone likes the tiger and the tiger sees the rabbit then the rabbit sees the bald eagle. If someone likes the rabbit then the rabbit likes the lion. If someone likes the tiger and the tiger is rough then the tiger eats the lion. If someone sees the bald eagle then they eat the bald eagle. If someone sees the lion and they see the tiger then the tiger eats the bald eagle.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If someone is nice then they see the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone likes the tiger and the tiger sees the rabbit then the rabbit sees the bald eagle.
((("someone" "likes" "tiger" "+") ("tiger" "sees" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If someone likes the rabbit then the rabbit likes the lion.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "lion" "+"))
If someone likes the tiger and the tiger is rough then the tiger eats the lion.
((("someone" "likes" "tiger" "+") ("tiger" "is" "rough" "+")) -> ("tiger" "eats" "lion" "+"))
If someone sees the bald eagle then they eat the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone sees the lion and they see the tiger then the tiger eats the bald eagle.
((("someone" "sees" "lion" "+") ("someone" "sees" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
The rabbit likes the lion.
True
1
proof
[(triple3 OR ((triple2) -> rule3))]
("rabbit" "likes" "lion" "+")
triple3
((triple2) -> (rule3 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The tiger does not see the rabbit.
False
1
inv-proof
[(triple4)]
("tiger" "sees" "rabbit" "-")
triple4
The rabbit sees the bald eagle.
True
3
proof
[(((triple1 triple4) -> rule2))]
("rabbit" "sees" "bald eagle" "+")
((triple1 triple4) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
3
inv-proof
[(((triple1 triple4) -> rule2))]
("rabbit" "sees" "bald eagle" "-")
((triple1 triple4) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The lion sees the bald eagle.
Unknown
rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "bald eagle" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The bald eagle likes the tiger.[(triple1)] The lion likes the rabbit.[(triple2)] The rabbit likes the lion.[(triple3 OR ((triple2) -> rule3))] The tiger sees the rabbit.[(triple4)] @1: The rabbit sees the bald eagle.[(((triple1 triple4) -> rule2))] @2: The rabbit eats the bald eagle.[(((((triple1 triple4) -> rule2)) -> rule5))]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple3
((triple2) -> (rule3 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple4
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple1 triple4) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((((triple1 triple4) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2