The bald eagle does not like the mouse. The cow eats the mouse. The lion does not chase the bald eagle. The mouse is young. Young things are blue.
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The lion does not chase the bald eagle.
("lion" "chases" "bald eagle" "-")
The mouse is young.
("mouse" "is" "young" "+")
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
The mouse is young.
True
1
proof
[(triple4)]
("mouse" "is" "young" "+")
triple4
The bald eagle likes the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "mouse" "+")
triple1
The mouse is blue.
True
2
proof
[(((triple4) -> rule1))]
("mouse" "is" "blue" "+")
((triple4) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple4) -> rule1))]
("mouse" "is" "blue" "-")
((triple4) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The lion is blue.
Unknown
rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "blue" "+")
The bald eagle does not eat the mouse.
Unknown
inv-random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "-")
The cow likes the bald eagle.
Unknown
random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "+")
@0: The bald eagle does not like the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The lion does not chase the bald eagle.[(triple3)] The mouse is young.[(triple4)] @1: The mouse is blue.[(((triple4) -> rule1))]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The lion does not chase the bald eagle.
("lion" "chases" "bald eagle" "-")
triple3
The mouse is young.
("mouse" "is" "young" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
((triple4) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1