The bald eagle does not visit the cow. The cow is rough. If something sees the bald eagle and it is not kind then it likes the cow. If the cow is round then the cow does not like the bald eagle. If something likes the bald eagle and it is not young then the bald eagle visits the cow. If something is green then it does not visit the bald eagle. If something is rough then it likes the bald eagle. If something is young and it does not see the cow then the cow visits the bald eagle.
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The cow is rough.
("cow" "is" "rough" "+")
If something sees the bald eagle and it is not kind then it likes the cow.
((("something" "sees" "bald eagle" "+") ("something" "is" "kind" "~")) -> ("something" "likes" "cow" "+"))
If the cow is round then the cow does not like the bald eagle.
((("cow" "is" "round" "+")) -> ("cow" "likes" "bald eagle" "-"))
If something likes the bald eagle and it is not young then the bald eagle visits the cow.
((("something" "likes" "bald eagle" "+") ("something" "is" "young" "~")) -> ("bald eagle" "visits" "cow" "+"))
If something is green then it does not visit the bald eagle.
((("something" "is" "green" "+")) -> ("something" "visits" "bald eagle" "-"))
If something is rough then it likes the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is young and it does not see the cow then the cow visits the bald eagle.
((("something" "is" "young" "+") ("something" "sees" "cow" "~")) -> ("cow" "visits" "bald eagle" "+"))
The bald eagle does not visit the cow.
True
1
proof
[(triple1)]
("bald eagle" "visits" "cow" "-")
triple1
The bald eagle visits the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "cow" "+")
triple1
The cow likes the bald eagle.
True
2
proof
[(((triple2) -> rule5))]
("cow" "likes" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow does not like the bald eagle.
False
2
inv-proof
[(((triple2) -> rule5))]
("cow" "likes" "bald eagle" "-")
((triple2) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "visits" "bald eagle" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "cow" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bald eagle does not visit the cow.[(triple1)] The cow is rough.[(triple2)] @1: The cow likes the bald eagle.[(((triple2) -> rule5))]
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1