The bald eagle sees the bear. The bear is kind. The mouse eats the bald eagle. The rabbit needs the bald eagle. If something eats the bald eagle then it is big.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is kind.
("bear" "is" "kind" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If something eats the bald eagle then it is big.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "big" "+"))
The mouse eats the bald eagle.
True
1
proof
[(triple3)]
("mouse" "eats" "bald eagle" "+")
triple3
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "bald eagle" "-")
triple3
The mouse is big.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "is" "big" "+")
((triple3) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is not big.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "is" "big" "-")
((triple3) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "big" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear is kind.[(triple2)] The mouse eats the bald eagle.[(triple3)] The rabbit needs the bald eagle.[(triple4)] @1: The mouse is big.[(((triple3) -> rule1))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
((triple3) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1