The bald eagle is rough. The cow sees the bald eagle. If something likes the bald eagle and the bald eagle is not green then the bald eagle is not blue. If the bald eagle is not rough and the bald eagle does not eat the cow then the cow does not like the bald eagle. If something sees the bald eagle and it sees the cow then the bald eagle is nice. If something likes the cow then it does not eat the bald eagle. If the cow eats the bald eagle and the bald eagle likes the cow then the bald eagle sees the cow. If something sees the bald eagle then it likes the cow.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If something likes the bald eagle and the bald eagle is not green then the bald eagle is not blue.
((("something" "likes" "bald eagle" "+") ("bald eagle" "is" "green" "~")) -> ("bald eagle" "is" "blue" "-"))
If the bald eagle is not rough and the bald eagle does not eat the cow then the cow does not like the bald eagle.
((("bald eagle" "is" "rough" "~") ("bald eagle" "eats" "cow" "~")) -> ("cow" "likes" "bald eagle" "-"))
If something sees the bald eagle and it sees the cow then the bald eagle is nice.
((("something" "sees" "bald eagle" "+") ("something" "sees" "cow" "+")) -> ("bald eagle" "is" "nice" "+"))
If something likes the cow then it does not eat the bald eagle.
((("something" "likes" "cow" "+")) -> ("something" "eats" "bald eagle" "-"))
If the cow eats the bald eagle and the bald eagle likes the cow then the bald eagle sees the cow.
((("cow" "eats" "bald eagle" "+") ("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "sees" "cow" "+"))
If something sees the bald eagle then it likes the cow.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "cow" "+"))
The cow sees the bald eagle.
True
1
proof
[(triple2)]
("cow" "sees" "bald eagle" "+")
triple2
The cow does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "sees" "bald eagle" "-")
triple2
The cow likes the cow.
True
2
proof
[(((triple2) -> rule6))]
("cow" "likes" "cow" "+")
((triple2) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow does not like the cow.
False
2
inv-proof
[(((triple2) -> rule6))]
("cow" "likes" "cow" "-")
((triple2) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow does not eat the bald eagle.
True
3
proof
[(((((triple2) -> rule6)) -> rule4))]
("cow" "eats" "bald eagle" "-")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow eats the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule4))]
("cow" "eats" "bald eagle" "+")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The bald eagle does not like the cow.
Unknown
inv-rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "cow" "-")
The bald eagle sees the cow.
Unknown
rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "cow" "+")
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The bald eagle is rough.[(triple1)] The cow sees the bald eagle.[(triple2)] @1: The cow likes the cow.[(((triple2) -> rule6))] @2: The cow does not eat the bald eagle.[(((((triple2) -> rule6)) -> rule4))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple2
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple2) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2