The bald eagle is big. The bald eagle sees the cow. The cow eats the bald eagle. The cow is big. The cow is green. The cow is kind. The cow is nice. The cow is not young. The cow needs the bald eagle. The cow sees the bald eagle. If something sees the cow then it eats the cow. If the bald eagle is green then the bald eagle eats the cow. If something sees the cow and the cow sees the bald eagle then the bald eagle eats the cow. If something sees the cow then the cow sees the bald eagle. If something sees the cow and it eats the bald eagle then the cow does not need the bald eagle. If something sees the bald eagle and it eats the cow then the bald eagle is nice.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If something sees the cow then it eats the cow.
((("something" "sees" "cow" "+")) -> ("something" "eats" "cow" "+"))
If the bald eagle is green then the bald eagle eats the cow.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "eats" "cow" "+"))
If something sees the cow and the cow sees the bald eagle then the bald eagle eats the cow.
((("something" "sees" "cow" "+") ("cow" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
If something sees the cow then the cow sees the bald eagle.
((("something" "sees" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If something sees the cow and it eats the bald eagle then the cow does not need the bald eagle.
((("something" "sees" "cow" "+") ("something" "eats" "bald eagle" "+")) -> ("cow" "needs" "bald eagle" "-"))
If something sees the bald eagle and it eats the cow then the bald eagle is nice.
((("something" "sees" "bald eagle" "+") ("something" "eats" "cow" "+")) -> ("bald eagle" "is" "nice" "+"))
The bald eagle sees the cow.
True
1
proof
[(triple2)]
("bald eagle" "sees" "cow" "+")
triple2
The cow is not nice.
False
1
inv-proof
[(triple7)]
("cow" "is" "nice" "-")
triple7
The bald eagle eats the cow.
True
2
proof
[(((triple2) -> rule1) OR ((triple2 triple10) -> rule3) OR ((triple2 ((triple2) -> rule4)) -> rule3))]
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple2 triple10) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple2 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The bald eagle does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple2 triple10) -> rule3) OR ((triple2 ((triple2) -> rule4)) -> rule3))]
("bald eagle" "eats" "cow" "-")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple2 triple10) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple2 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The bald eagle is nice.
Unknown
rconc
[@2: The bald eagle is nice.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle sees the cow.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow is big.[(triple4)] The cow is green.[(triple5)] The cow is kind.[(triple6)] The cow is nice.[(triple7)] The cow is not young.[(triple8)] The cow needs the bald eagle.[(triple9)] The cow sees the bald eagle.[(triple10 OR ((triple2) -> rule4))] @1: The bald eagle eats the cow.[(((triple2) -> rule1) OR ((triple2 triple10) -> rule3) OR ((triple2 ((triple2) -> rule4)) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple7
The cow is not young.
("cow" "is" "young" "-")
triple8
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple9
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple10
((triple2) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple2 triple10) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
((triple2 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2