The bald eagle eats the mouse. The bald eagle is red. The bald eagle likes the squirrel. The mouse eats the squirrel. The mouse does not like the squirrel. The squirrel eats the bald eagle. The squirrel eats the mouse. The squirrel is cold. The squirrel does not like the bald eagle. The squirrel sees the bald eagle. If something sees the bald eagle and it is rough then it likes the bald eagle. All rough, red things are not blue. If something is nice then it sees the mouse. If something is rough and blue then it does not eat the mouse. If something eats the bald eagle then the bald eagle is nice. If something likes the bald eagle then it is red. If the mouse eats the squirrel and the mouse is not red then the mouse does not like the squirrel. If something is red and it does not like the bald eagle then the bald eagle likes the squirrel.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something sees the bald eagle and it is rough then it likes the bald eagle.
((("something" "sees" "bald eagle" "+") ("something" "is" "rough" "+")) -> ("something" "likes" "bald eagle" "+"))
All rough, red things are not blue.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "-"))
If something is nice then it sees the mouse.
((("something" "is" "nice" "+")) -> ("something" "sees" "mouse" "+"))
If something is rough and blue then it does not eat the mouse.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "eats" "mouse" "-"))
If something eats the bald eagle then the bald eagle is nice.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If something likes the bald eagle then it is red.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If the mouse eats the squirrel and the mouse is not red then the mouse does not like the squirrel.
((("mouse" "eats" "squirrel" "+") ("mouse" "is" "red" "~")) -> ("mouse" "likes" "squirrel" "-"))
If something is red and it does not like the bald eagle then the bald eagle likes the squirrel.
((("something" "is" "red" "+") ("something" "likes" "bald eagle" "~")) -> ("bald eagle" "likes" "squirrel" "+"))
The squirrel is cold.
True
1
proof
[(triple8)]
("squirrel" "is" "cold" "+")
triple8
The bald eagle is not red.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "red" "-")
triple2
The bald eagle is nice.
True
2
proof
[(((triple6) -> rule5))]
("bald eagle" "is" "nice" "+")
((triple6) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple6) -> rule5))]
("bald eagle" "is" "nice" "-")
((triple6) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle sees the mouse.
True
3
proof
[(((((triple6) -> rule5)) -> rule3))]
("bald eagle" "sees" "mouse" "+")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle does not see the mouse.
False
3
inv-proof
[(((((triple6) -> rule5)) -> rule3))]
("bald eagle" "sees" "mouse" "-")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The squirrel sees the mouse.
Unknown
rconc
[@1: The squirrel sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "sees" "mouse" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The mouse does not like the squirrel.[(triple5)] The mouse eats the squirrel.[(triple4)] The squirrel does not like the bald eagle.[(triple9)] The squirrel eats the bald eagle.[(triple6)] The squirrel eats the mouse.[(triple7)] The squirrel is cold.[(triple8)] The squirrel sees the bald eagle.[(triple10)] @1: The bald eagle is nice.[(((triple6) -> rule5))] @2: The bald eagle sees the mouse.[(((((triple6) -> rule5)) -> rule3))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple4
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
triple9
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple6
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple10
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple6) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2