The bald eagle eats the bear. The bald eagle eats the tiger. The bald eagle is young. The bear is round. The bear likes the bald eagle. The cow visits the bald eagle. The tiger eats the cow. If someone is round then they visit the cow. If someone eats the bear and they like the bear then they are young. If the bald eagle is young then the bald eagle eats the tiger.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
If someone is round then they visit the cow.
((("someone" "is" "round" "+")) -> ("someone" "visits" "cow" "+"))
If someone eats the bear and they like the bear then they are young.
((("someone" "eats" "bear" "+") ("someone" "likes" "bear" "+")) -> ("someone" "is" "young" "+"))
If the bald eagle is young then the bald eagle eats the tiger.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "eats" "tiger" "+"))
The tiger eats the cow.
True
1
proof
[(triple7)]
("tiger" "eats" "cow" "+")
triple7
The bald eagle does not eat the tiger.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule3))]
("bald eagle" "eats" "tiger" "-")
triple2
((triple3) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "young" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the tiger.[(triple2 OR ((triple3) -> rule3))] The bald eagle is young.[(triple3)] The bear is round.[(triple4)] The bear likes the bald eagle.[(triple5)] The cow visits the bald eagle.[(triple6)] The tiger eats the cow.[(triple7)] @1: The bear visits the cow.[(((triple4) -> rule1))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
((triple3) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple5
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple6
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple7
The bear visits the cow.
("bear" "visits" "cow" "+")
((triple4) -> (rule1 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1