The bald eagle is kind. The bear sees the cat. The cat is green. The lion eats the bear. If someone is cold then they eat the bald eagle. If someone sees the cat then they eat the cat. If someone eats the bald eagle and they are cold then they like the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is green.
("cat" "is" "green" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
If someone is cold then they eat the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone sees the cat then they eat the cat.
((("someone" "sees" "cat" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the bald eagle and they are cold then they like the bald eagle.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "bald eagle" "+"))
The lion eats the bear.
True
1
proof
[(triple4)]
("lion" "eats" "bear" "+")
triple4
The bear does not see the cat.
False
1
inv-proof
[(triple2)]
("bear" "sees" "cat" "-")
triple2
The bear eats the cat.
True
2
proof
[(((triple2) -> rule2))]
("bear" "eats" "cat" "+")
((triple2) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear does not eat the cat.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "eats" "cat" "-")
((triple2) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear does not like the bald eagle.
Unknown
inv-rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "bald eagle" "-")
The bald eagle eats the cat.
Unknown
rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
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 likes the cat.
Unknown
random
[@0: The bald eagle likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cat" "+")
@0: The bald eagle is kind.[(triple1)] The bear sees the cat.[(triple2)] The cat is green.[(triple3)] The lion eats the bear.[(triple4)] @1: The bear eats the cat.[(((triple2) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The lion eats the bear.
("lion" "eats" "bear" "+")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple2) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1