The bald eagle is not kind. The bald eagle likes the cow. The cow chases the bald eagle. The cow is kind. The cow is young. The cow likes the bald eagle. The cow sees the bald eagle. If something is blue and it does not like the cow then it chases the cow. If something sees the bald eagle and it likes the bald eagle then it does not chase the cow. If something chases the cow and the cow does not chase the bald eagle then it does not like the bald eagle. If the bald eagle likes the cow and the cow is not rough then the cow is not blue. If something sees the bald eagle and the bald eagle does not chase the cow then the cow is big. All rough, big things are young.
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If something is blue and it does not like the cow then it chases the cow.
((("something" "is" "blue" "+") ("something" "likes" "cow" "~")) -> ("something" "chases" "cow" "+"))
If something sees the bald eagle and it likes the bald eagle then it does not chase the cow.
((("something" "sees" "bald eagle" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "chases" "cow" "-"))
If something chases the cow and the cow does not chase the bald eagle then it does not like the bald eagle.
((("something" "chases" "cow" "+") ("cow" "chases" "bald eagle" "~")) -> ("something" "likes" "bald eagle" "-"))
If the bald eagle likes the cow and the cow is not rough then the cow is not blue.
((("bald eagle" "likes" "cow" "+") ("cow" "is" "rough" "~")) -> ("cow" "is" "blue" "-"))
If something sees the bald eagle and the bald eagle does not chase the cow then the cow is big.
((("something" "sees" "bald eagle" "+") ("bald eagle" "chases" "cow" "~")) -> ("cow" "is" "big" "+"))
All rough, big things are young.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple2)]
("bald eagle" "likes" "cow" "+")
triple2
The cow does not see the bald eagle.
False
1
inv-proof
[(triple7)]
("cow" "sees" "bald eagle" "-")
triple7
The cow does not chase the cow.
True
3
proof
[(((triple7 triple6) -> rule2))]
("cow" "chases" "cow" "-")
((triple7 triple6) -> (rule2 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1
The cow chases the cow.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("cow" "chases" "cow" "+")
((triple7 triple6) -> (rule2 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle chases the cow.
Unknown
rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The bald eagle is not kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow is kind.[(triple4)] The cow is young.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The cow does not chase the cow.[(((triple7 triple6) -> rule2))]
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The cow does not chase the cow.
("cow" "chases" "cow" "-")
((triple7 triple6) -> (rule2 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1