The bald eagle is kind. The cow eats the bald eagle. The mouse chases the cow. If the mouse is big then the mouse is kind. If the bald eagle is green then the bald eagle sees the cow. If someone is blue and green then they see the mouse. If someone sees the cow then the cow is cold. If the cow is big and the cow sees the bald eagle then the cow is kind. If the mouse sees the bald eagle then the bald eagle eats the mouse. If someone is blue then they eat the cow. If someone is kind then they are blue.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
If the mouse is big then the mouse is kind.
((("mouse" "is" "big" "+")) -> ("mouse" "is" "kind" "+"))
If the bald eagle is green then the bald eagle sees the cow.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "sees" "cow" "+"))
If someone is blue and green then they see the mouse.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "sees" "mouse" "+"))
If someone sees the cow then the cow is cold.
((("someone" "sees" "cow" "+")) -> ("cow" "is" "cold" "+"))
If the cow is big and the cow sees the bald eagle then the cow is kind.
((("cow" "is" "big" "+") ("cow" "sees" "bald eagle" "+")) -> ("cow" "is" "kind" "+"))
If the mouse sees the bald eagle then the bald eagle eats the mouse.
((("mouse" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If someone is blue then they eat the cow.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "cow" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple2)]
("cow" "eats" "bald eagle" "+")
triple2
The bald eagle is not kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "-")
triple1
The bald eagle is blue.
True
2
proof
[(((triple1) -> rule8))]
("bald eagle" "is" "blue" "+")
((triple1) -> (rule8 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple1) -> rule8))]
("bald eagle" "is" "blue" "-")
((triple1) -> (rule8 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the cow.
True
3
proof
[(((((triple1) -> rule8)) -> rule7))]
("bald eagle" "eats" "cow" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not eat the cow.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule7))]
("bald eagle" "eats" "cow" "-")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not see the cow.
Unknown
inv-rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "cow" "-")
The mouse is kind.
Unknown
rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "kind" "+")
The cow is not cold.
Unknown
inv-rconc
[@2: The cow is cold.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("cow" "is" "cold" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The bald eagle is kind.[(triple1)] The cow eats the bald eagle.[(triple2)] The mouse chases the cow.[(triple3)] @1: The bald eagle is blue.[(((triple1) -> rule8))] @2: The bald eagle eats the cow.[(((((triple1) -> rule8)) -> rule7))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule8 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2