The bald eagle does not eat the squirrel. The bald eagle is green. The bald eagle is kind. The bald eagle does not like the cow. The bald eagle likes the squirrel. The cow is rough. The squirrel does not eat the bald eagle. The squirrel eats the cow. The squirrel is nice. The squirrel likes the bald eagle. The squirrel likes the cow. The squirrel sees the bald eagle. If something sees the squirrel and it does not see the bald eagle then the squirrel does not like the bald eagle. If something eats the cow then the cow does not see the squirrel. If something sees the squirrel then it is green. If the cow does not see the squirrel then the squirrel sees the cow. If something eats the squirrel and the squirrel does not eat the cow then the squirrel does not see the cow. If something is nice and it does not see the cow then the cow eats the bald eagle.
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something sees the squirrel and it does not see the bald eagle then the squirrel does not like the bald eagle.
((("something" "sees" "squirrel" "+") ("something" "sees" "bald eagle" "~")) -> ("squirrel" "likes" "bald eagle" "-"))
If something eats the cow then the cow does not see the squirrel.
((("something" "eats" "cow" "+")) -> ("cow" "sees" "squirrel" "-"))
If something sees the squirrel then it is green.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "green" "+"))
If the cow does not see the squirrel then the squirrel sees the cow.
((("cow" "sees" "squirrel" "~")) -> ("squirrel" "sees" "cow" "+"))
If something eats the squirrel and the squirrel does not eat the cow then the squirrel does not see the cow.
((("something" "eats" "squirrel" "+") ("squirrel" "eats" "cow" "~")) -> ("squirrel" "sees" "cow" "-"))
If something is nice and it does not see the cow then the cow eats the bald eagle.
((("something" "is" "nice" "+") ("something" "sees" "cow" "~")) -> ("cow" "eats" "bald eagle" "+"))
The cow is rough.
True
1
proof
[(triple6)]
("cow" "is" "rough" "+")
triple6
The bald eagle is not kind.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "kind" "-")
triple3
The cow does not see the squirrel.
True
2
proof
[(((triple8) -> rule2))]
("cow" "sees" "squirrel" "-")
((triple8) -> (rule2 % int1))
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
int1
The cow sees the squirrel.
False
2
inv-proof
[(((triple8) -> rule2))]
("cow" "sees" "squirrel" "+")
((triple8) -> (rule2 % int1))
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
int1
The squirrel sees the cow.
True
3
proof
[(((((triple8) -> rule2)) -> rule4))]
("squirrel" "sees" "cow" "+")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
int2
The squirrel does not see the cow.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule4))]
("squirrel" "sees" "cow" "-")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
int2
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "green" "-")
The squirrel is green.
Unknown
rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "green" "+")
The cow does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "eats" "bald eagle" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bald eagle does not see the cow.
Unknown
inv-random
[@0: The bald eagle sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cow" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
@0: The bald eagle does not eat the squirrel.[(triple1)] The bald eagle does not like the cow.[(triple4)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the squirrel.[(triple5)] The cow is rough.[(triple6)] The squirrel does not eat the bald eagle.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the bald eagle.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel sees the bald eagle.[(triple12)] @1: The cow does not see the squirrel.[(((triple8) -> rule2))] @2: The squirrel sees the cow.[(((((triple8) -> rule2)) -> rule4))]
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
triple1
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple4
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple7
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple8
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple10
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple11
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple12
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
((triple8) -> (rule2 % int1))
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
int1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
int2