The bald eagle visits the cow. The cow visits the squirrel. The squirrel does not like the bald eagle. If someone visits the cow then they like the squirrel. If someone is green then they like the squirrel. If someone visits the cow then they do not visit the bald eagle. If someone visits the cow then they like the cow. If someone likes the squirrel and they do not see the squirrel then the squirrel is not nice. If someone likes the squirrel and they do not visit the bald eagle then the bald eagle does not visit the squirrel.
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
If someone visits the cow then they like the squirrel.
((("someone" "visits" "cow" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is green then they like the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone visits the cow then they do not visit the bald eagle.
((("someone" "visits" "cow" "+")) -> ("someone" "visits" "bald eagle" "-"))
If someone visits the cow then they like the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the squirrel and they do not see the squirrel then the squirrel is not nice.
((("someone" "likes" "squirrel" "+") ("someone" "sees" "squirrel" "~")) -> ("squirrel" "is" "nice" "-"))
If someone likes the squirrel and they do not visit the bald eagle then the bald eagle does not visit the squirrel.
((("someone" "likes" "squirrel" "+") ("someone" "visits" "bald eagle" "~")) -> ("bald eagle" "visits" "squirrel" "-"))
The squirrel does not like the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "likes" "bald eagle" "-")
triple3
The cow does not visit the squirrel.
False
1
inv-proof
[(triple2)]
("cow" "visits" "squirrel" "-")
triple2
The bald eagle likes the cow.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "likes" "cow" "+")
((triple1) -> (rule4 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle does not like the cow.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "likes" "cow" "-")
((triple1) -> (rule4 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle does not visit the squirrel.
True
5
proof
[(((((triple1) -> rule1) ((triple1) -> rule3)) -> rule6))]
("bald eagle" "visits" "squirrel" "-")
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
int1
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3
The bald eagle visits the squirrel.
False
5
inv-proof
[(((((triple1) -> rule1) ((triple1) -> rule3)) -> rule6))]
("bald eagle" "visits" "squirrel" "+")
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
int1
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "cow" "-")
The squirrel likes the cow.
Unknown
rconc
[@1: The squirrel likes the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "cow" "+")
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
The squirrel does not see the cow.
Unknown
inv-random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "-")
The cow visits the bald eagle.
Unknown
random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "+")
@0: The bald eagle visits the cow.[(triple1)] The cow visits the squirrel.[(triple2)] The squirrel does not like the bald eagle.[(triple3)] @1: The bald eagle does not visit the bald eagle.[(((triple1) -> rule3))] The bald eagle likes the cow.[(((triple1) -> rule4))] The bald eagle likes the squirrel.[(((triple1) -> rule1))] @2: The bald eagle does not visit the squirrel.[(((((triple1) -> rule1) ((triple1) -> rule3)) -> rule6))]
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple2
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
triple3
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
((triple1) -> (rule3 % int1))
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((triple1) -> (rule4 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
int1
The bald eagle does not visit the bald eagle.
("bald eagle" "visits" "bald eagle" "-")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3