The bald eagle is green. The bald eagle is not red. The cat is green. The cat needs the bald eagle. The mouse chases the cat. The mouse is big. The mouse is blue. The squirrel chases the cat. The squirrel chases the mouse. The squirrel does not need the bald eagle. The squirrel does not need the cat. The squirrel does not see the cat. If someone needs the squirrel and the squirrel does not need the mouse then the squirrel chases the cat. If the mouse chases the bald eagle then the mouse chases the squirrel. If the bald eagle needs the mouse and the bald eagle is not green then the mouse does not need the cat. If the cat sees the bald eagle then the cat is big. If someone is rough and big then they see the bald eagle. If someone is blue then they chase the bald eagle. If someone is red then they do not chase the squirrel. If the bald eagle does not need the squirrel and the squirrel does not see the bald eagle then the squirrel sees the cat.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The cat is green.
("cat" "is" "green" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
If someone needs the squirrel and the squirrel does not need the mouse then the squirrel chases the cat.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "mouse" "~")) -> ("squirrel" "chases" "cat" "+"))
If the mouse chases the bald eagle then the mouse chases the squirrel.
((("mouse" "chases" "bald eagle" "+")) -> ("mouse" "chases" "squirrel" "+"))
If the bald eagle needs the mouse and the bald eagle is not green then the mouse does not need the cat.
((("bald eagle" "needs" "mouse" "+") ("bald eagle" "is" "green" "~")) -> ("mouse" "needs" "cat" "-"))
If the cat sees the bald eagle then the cat is big.
((("cat" "sees" "bald eagle" "+")) -> ("cat" "is" "big" "+"))
If someone is rough and big then they see the bald eagle.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is blue then they chase the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is red then they do not chase the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "chases" "squirrel" "-"))
If the bald eagle does not need the squirrel and the squirrel does not see the bald eagle then the squirrel sees the cat.
((("bald eagle" "needs" "squirrel" "~") ("squirrel" "sees" "bald eagle" "~")) -> ("squirrel" "sees" "cat" "+"))
The bald eagle is not red.
True
1
proof
[(triple2)]
("bald eagle" "is" "red" "-")
triple2
The cat is not green.
False
1
inv-proof
[(triple3)]
("cat" "is" "green" "-")
triple3
The mouse chases the bald eagle.
True
2
proof
[(((triple7) -> rule6))]
("mouse" "chases" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse does not chase the bald eagle.
False
2
inv-proof
[(((triple7) -> rule6))]
("mouse" "chases" "bald eagle" "-")
((triple7) -> (rule6 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse chases the squirrel.
True
3
proof
[(((((triple7) -> rule6)) -> rule2))]
("mouse" "chases" "squirrel" "+")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse does not chase the squirrel.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule2))]
("mouse" "chases" "squirrel" "-")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The squirrel does not see the bald eagle.
Unknown
inv-rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The squirrel chases the bald eagle.
Unknown
rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "chases" "bald eagle" "+")
The cat is not big.
Unknown
inv-rconc
[@2: The cat is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("cat" "is" "big" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
The mouse does not need the squirrel.
Unknown
inv-random
[@0: The mouse needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "squirrel" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is not red.[(triple2)] The cat is green.[(triple3)] The cat needs the bald eagle.[(triple4)] The mouse chases the cat.[(triple5)] The mouse is big.[(triple6)] The mouse is blue.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel does not need the bald eagle.[(triple10)] The squirrel does not need the cat.[(triple11)] The squirrel does not see the cat.[(triple12)] @1: The mouse chases the bald eagle.[(((triple7) -> rule6))] @2: The mouse chases the squirrel.[(((((triple7) -> rule6)) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple10
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
triple11
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
triple12
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2