The bald eagle visits the bear. The bear likes the bald eagle. The rabbit likes the bear. The tiger visits the bear. If the rabbit likes the tiger and the rabbit needs the tiger then the rabbit likes the bald eagle. If someone visits the bear then the bear is kind. If someone likes the tiger then they need the rabbit. If someone needs the rabbit then the rabbit needs the tiger. If someone visits the bald eagle and they like the bald eagle then the bald eagle is kind. If someone is nice then they like the rabbit.
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the rabbit likes the tiger and the rabbit needs the tiger then the rabbit likes the bald eagle.
((("rabbit" "likes" "tiger" "+") ("rabbit" "needs" "tiger" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone visits the bear then the bear is kind.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "kind" "+"))
If someone likes the tiger then they need the rabbit.
((("someone" "likes" "tiger" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the rabbit then the rabbit needs the tiger.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "needs" "tiger" "+"))
If someone visits the bald eagle and they like the bald eagle then the bald eagle is kind.
((("someone" "visits" "bald eagle" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone is nice then they like the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "rabbit" "+"))
The rabbit likes the bear.
True
1
proof
[(triple3)]
("rabbit" "likes" "bear" "+")
triple3
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "bear" "-")
triple1
The bear is kind.
True
2
proof
[(((triple1) -> rule2) OR ((triple4) -> rule2))]
("bear" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((triple4) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple4) -> rule2))]
("bear" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((triple4) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear does not like the rabbit.
Unknown
inv-rconc
[@1: The bear likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "rabbit" "-")
The bald eagle needs the rabbit.
Unknown
rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "rabbit" "+")
The bald eagle does not visit the tiger.
Unknown
inv-random
[@0: The bald eagle visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "tiger" "-")
The rabbit needs the bald eagle.
Unknown
random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "+")
@0: The bald eagle visits the bear.[(triple1)] The bear likes the bald eagle.[(triple2)] The rabbit likes the bear.[(triple3)] The tiger visits the bear.[(triple4)] @1: The bear is kind.[(((triple1) -> rule2) OR ((triple4) -> rule2))]
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple2
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple3
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((triple4) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1