The bald eagle eats the cow. The cow eats the bald eagle. If someone eats the bald eagle then they are rough. If someone eats the bald eagle and the bald eagle chases the cow then the cow is not young.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
If someone eats the bald eagle then they are rough.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the bald eagle and the bald eagle chases the cow then the cow is not young.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "chases" "cow" "+")) -> ("cow" "is" "young" "-"))
The cow eats the bald eagle.
True
1
proof
[(triple2)]
("cow" "eats" "bald eagle" "+")
triple2
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "eats" "bald eagle" "-")
triple2
The cow is rough.
True
2
proof
[(((triple2) -> rule1))]
("cow" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The cow does not like the bald eagle.
Unknown
inv-random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "-")
The bald eagle likes the cow.
Unknown
random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "+")
@0: The bald eagle eats the cow.[(triple1)] The cow eats the bald eagle.[(triple2)] @1: The cow is rough.[(((triple2) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1