The bald eagle visits the cow. The cow needs the bald eagle. The cow does not need the mouse. The mouse is cold. The squirrel is not blue. The squirrel needs the bald eagle. The squirrel needs the mouse. If someone likes the squirrel then the squirrel visits the cow. If someone is cold then they do not need the bald eagle.
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone likes the squirrel then the squirrel visits the cow.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
If someone is cold then they do not need the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "bald eagle" "-"))
The squirrel is not blue.
True
1
proof
[(triple5)]
("squirrel" "is" "blue" "-")
triple5
The cow needs the mouse.
False
1
inv-proof
[(triple3)]
("cow" "needs" "mouse" "+")
triple3
The mouse does not need the bald eagle.
True
2
proof
[(((triple4) -> rule2))]
("mouse" "needs" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
int1
The mouse needs the bald eagle.
False
2
inv-proof
[(((triple4) -> rule2))]
("mouse" "needs" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
int1
The squirrel does not visit the cow.
Unknown
inv-rconc
[@1: The squirrel visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "cow" "-")
The mouse visits the squirrel.
Unknown
random
[@0: The mouse visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "squirrel" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle visits the cow.[(triple1)] The cow does not need the mouse.[(triple3)] The cow needs the bald eagle.[(triple2)] The mouse is cold.[(triple4)] The squirrel is not blue.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel needs the mouse.[(triple7)] @1: The mouse does not need the bald eagle.[(((triple4) -> rule2))]
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple1
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
triple3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple4
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple5
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple6
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple7
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
int1