The bald eagle is blue. The mouse is round. The squirrel needs the mouse. If the squirrel is cold and the squirrel is big then the squirrel does not visit the mouse. If someone eats the squirrel then the squirrel eats the bald eagle. If someone visits the squirrel then they are not big. If someone is round then they need the mouse. If the mouse visits the bald eagle then the bald eagle is round. If someone needs the mouse then they eat the squirrel. If someone eats the squirrel then the squirrel is cold. If the bald eagle is cold and the bald eagle does not eat the squirrel then the squirrel eats the mouse.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The mouse is round.
("mouse" "is" "round" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If the squirrel is cold and the squirrel is big then the squirrel does not visit the mouse.
((("squirrel" "is" "cold" "+") ("squirrel" "is" "big" "+")) -> ("squirrel" "visits" "mouse" "-"))
If someone eats the squirrel then the squirrel eats the bald eagle.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone visits the squirrel then they are not big.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "big" "-"))
If someone is round then they need the mouse.
((("someone" "is" "round" "+")) -> ("someone" "needs" "mouse" "+"))
If the mouse visits the bald eagle then the bald eagle is round.
((("mouse" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If someone needs the mouse then they eat the squirrel.
((("someone" "needs" "mouse" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the squirrel then the squirrel is cold.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If the bald eagle is cold and the bald eagle does not eat the squirrel then the squirrel eats the mouse.
((("bald eagle" "is" "cold" "+") ("bald eagle" "eats" "squirrel" "~")) -> ("squirrel" "eats" "mouse" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The squirrel does not need the mouse.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "mouse" "-")
triple3
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "round" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The mouse is round.[(triple2)] The squirrel needs the mouse.[(triple3)] @1: The mouse needs the mouse.[(((triple2) -> rule4))] The squirrel eats the squirrel.[(((triple3) -> rule6))] @2: The mouse eats the squirrel.[(((((triple2) -> rule4)) -> rule6))] The squirrel eats the bald eagle.[(((((triple3) -> rule6)) -> rule2) OR ((((((triple2) -> rule4)) -> rule6)) -> rule2))] The squirrel is cold.[(((((triple3) -> rule6)) -> rule7) OR ((((((triple2) -> rule4)) -> rule6)) -> rule7))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The mouse is round.
("mouse" "is" "round" "+")
triple2
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple2) -> (rule4 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple3) -> (rule6 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int3