The bald eagle is blue. The bald eagle is green. The bald eagle sees the squirrel. The cat is cold. The cat is red. The cat sees the mouse. The mouse eats the squirrel. The mouse is big. The mouse is cold. The mouse does not see the cat. The squirrel is cold. The squirrel needs the cat. If someone sees the mouse then the mouse is green. If the bald eagle is red then the bald eagle is not blue.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is red.
("cat" "is" "red" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
If someone sees the mouse then the mouse is green.
((("someone" "sees" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If the bald eagle is red then the bald eagle is not blue.
((("bald eagle" "is" "red" "+")) -> ("bald eagle" "is" "blue" "-"))
The mouse is cold.
True
1
proof
[(triple9)]
("mouse" "is" "cold" "+")
triple9
The cat is not red.
False
1
inv-proof
[(triple5)]
("cat" "is" "red" "-")
triple5
The mouse is green.
True
2
proof
[(((triple6) -> rule1))]
("mouse" "is" "green" "+")
((triple6) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
2
inv-proof
[(((triple6) -> rule1))]
("mouse" "is" "green" "-")
((triple6) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The squirrel does not see the bald eagle.
Unknown
inv-random
[@0: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The bald eagle sees the cat.
Unknown
random
[@0: The bald eagle sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cat" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The cat eats the squirrel.
Unknown
random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The cat is cold.[(triple4)] The cat is red.[(triple5)] The cat sees the mouse.[(triple6)] The mouse does not see the cat.[(triple10)] The mouse eats the squirrel.[(triple7)] The mouse is big.[(triple8)] The mouse is cold.[(triple9)] The squirrel is cold.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The mouse is green.[(((triple6) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple6
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
triple10
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple7
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple12
The mouse is green.
("mouse" "is" "green" "+")
((triple6) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1