The bald eagle eats the squirrel. The bald eagle does not see the cat. The cat eats the bald eagle. The cat eats the squirrel. The cat is green. The squirrel eats the cat. The squirrel is not green. If something visits the cat then it is rough. If something is rough then it sees the bald eagle. If something visits the cat and the cat eats the squirrel then the squirrel does not visit the cat. If something eats the cat then it does not visit the squirrel. If the cat sees the squirrel and the cat is not red then the squirrel does not see the cat. If something eats the bald eagle then the bald eagle eats the cat.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
If something visits the cat then it is rough.
((("something" "visits" "cat" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it sees the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "sees" "bald eagle" "+"))
If something visits the cat and the cat eats the squirrel then the squirrel does not visit the cat.
((("something" "visits" "cat" "+") ("cat" "eats" "squirrel" "+")) -> ("squirrel" "visits" "cat" "-"))
If something eats the cat then it does not visit the squirrel.
((("something" "eats" "cat" "+")) -> ("something" "visits" "squirrel" "-"))
If the cat sees the squirrel and the cat is not red then the squirrel does not see the cat.
((("cat" "sees" "squirrel" "+") ("cat" "is" "red" "~")) -> ("squirrel" "sees" "cat" "-"))
If something eats the bald eagle then the bald eagle eats the cat.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
The cat eats the squirrel.
True
1
proof
[(triple4)]
("cat" "eats" "squirrel" "+")
triple4
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("cat" "eats" "bald eagle" "-")
triple3
The squirrel does not visit the squirrel.
True
2
proof
[(((triple6) -> rule4))]
("squirrel" "visits" "squirrel" "-")
((triple6) -> (rule4 % int1))
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
int1
The bald eagle does not eat the cat.
False
2
inv-proof
[(((triple3) -> rule6))]
("bald eagle" "eats" "cat" "-")
((triple3) -> (rule6 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "rough" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "rough" "+")
The squirrel does not see the cat.
Unknown
inv-random
[@0: The squirrel sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cat" "-")
The bald eagle sees the squirrel.
Unknown
random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "+")
@0: The bald eagle does not see the cat.[(triple2)] The bald eagle eats the squirrel.[(triple1)] The cat eats the bald eagle.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is green.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel is not green.[(triple7)] @1: The bald eagle eats the cat.[(((triple3) -> rule6))] The squirrel does not visit the squirrel.[(((triple6) -> rule4))] @2: The bald eagle does not visit the squirrel.[(((((triple3) -> rule6)) -> rule4))]
The bald eagle does not see the cat.
("bald eagle" "sees" "cat" "-")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple6
The squirrel is not green.
("squirrel" "is" "green" "-")
triple7
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((triple3) -> (rule6 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
((triple6) -> (rule4 % int1))
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
int1
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2