The bald eagle eats the cow. The bald eagle is nice. The bald eagle does not like the cow. The cow is blue. The cow is nice. The cow is red. The cow does not see the bald eagle. If someone is blue then they see the cow. If someone is red and they see the cow then they are not rough. If someone is green and they do not like the cow then they do not like the bald eagle. If someone sees the cow and they see the bald eagle then they do not like the bald eagle. If someone is blue then they do not see the bald eagle. If someone sees the bald eagle then they do not eat the bald eagle. If the bald eagle eats the cow and the bald eagle does not see the cow then the cow likes the bald eagle. If the bald eagle does not eat the cow and the bald eagle does not see the cow then the cow eats the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
If someone is blue then they see the cow.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "cow" "+"))
If someone is red and they see the cow then they are not rough.
((("someone" "is" "red" "+") ("someone" "sees" "cow" "+")) -> ("someone" "is" "rough" "-"))
If someone is green and they do not like the cow then they do not like the bald eagle.
((("someone" "is" "green" "+") ("someone" "likes" "cow" "~")) -> ("someone" "likes" "bald eagle" "-"))
If someone sees the cow and they see the bald eagle then they do not like the bald eagle.
((("someone" "sees" "cow" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone is blue then they do not see the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone sees the bald eagle then they do not eat the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "-"))
If the bald eagle eats the cow and the bald eagle does not see the cow then the cow likes the bald eagle.
((("bald eagle" "eats" "cow" "+") ("bald eagle" "sees" "cow" "~")) -> ("cow" "likes" "bald eagle" "+"))
If the bald eagle does not eat the cow and the bald eagle does not see the cow then the cow eats the bald eagle.
((("bald eagle" "eats" "cow" "~") ("bald eagle" "sees" "cow" "~")) -> ("cow" "eats" "bald eagle" "+"))
The cow is nice.
True
1
proof
[(triple5)]
("cow" "is" "nice" "+")
triple5
The cow is not red.
False
1
inv-proof
[(triple6)]
("cow" "is" "red" "-")
triple6
The cow sees the cow.
True
2
proof
[(((triple4) -> rule1))]
("cow" "sees" "cow" "+")
((triple4) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not see the cow.
False
2
inv-proof
[(((triple4) -> rule1))]
("cow" "sees" "cow" "-")
((triple4) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is not rough.
True
4
proof
[(((triple6 ((triple4) -> rule1)) -> rule2))]
("cow" "is" "rough" "-")
((triple6 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is rough.
False
4
inv-proof
[(((triple6 ((triple4) -> rule1)) -> rule2))]
("cow" "is" "rough" "+")
((triple6 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow does not like the bald eagle.
Unknown
inv-rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "likes" "bald eagle" "-")
The cow eats the bald eagle.
Unknown
rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The bald eagle does not see the cow.
Unknown
inv-rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "cow" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bald eagle does not like the cow.[(triple3)] The bald eagle eats the cow.[(triple1)] The bald eagle is nice.[(triple2)] The cow does not see the bald eagle.[(triple7 OR ((triple4) -> rule5))] The cow is blue.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] @1: The cow sees the cow.[(((triple4) -> rule1))] @2: The cow is not rough.[(((triple6 ((triple4) -> rule1)) -> rule2))]
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple3
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
triple7
((triple4) -> (rule5 % int1))
The cow does not see the bald eagle.
("cow" "sees" "bald eagle" "-")
int1
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple4) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is not rough.
("cow" "is" "rough" "-")
((triple6 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2