The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is big. The bald eagle is not green. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle sees the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is big. The bear is green. The bear is kind. The bear is not nice. The bear is rough. The bear sees the bald eagle. If something chases the bald eagle then the bald eagle chases the bear. If something sees the bear then it eats the bald eagle. If the bear chases the bald eagle and the bald eagle is nice then the bear is kind. If something is green then it sees the bald eagle. If something is rough and it chases the bald eagle then the bald eagle eats the bear. If something is green and it does not chase the bear then the bear does not eat the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
If something chases the bald eagle then the bald eagle chases the bear.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "+"))
If something sees the bear then it eats the bald eagle.
((("something" "sees" "bear" "+")) -> ("something" "eats" "bald eagle" "+"))
If the bear chases the bald eagle and the bald eagle is nice then the bear is kind.
((("bear" "chases" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("bear" "is" "kind" "+"))
If something is green then it sees the bald eagle.
((("something" "is" "green" "+")) -> ("something" "sees" "bald eagle" "+"))
If something is rough and it chases the bald eagle then the bald eagle eats the bear.
((("something" "is" "rough" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If something is green and it does not chase the bear then the bear does not eat the bald eagle.
((("something" "is" "green" "+") ("something" "chases" "bear" "~")) -> ("bear" "eats" "bald eagle" "-"))
The bald eagle eats the bear.
True
1
proof
[(triple2 OR ((triple15 triple9) -> rule5))]
("bald eagle" "eats" "bear" "+")
triple2
((triple15 triple9) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear is not rough.
False
1
inv-proof
[(triple15)]
("bear" "is" "rough" "-")
triple15
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bald eagle chases the bear.[(triple1 OR ((triple9) -> rule1))] The bald eagle eats the bear.[(triple2 OR ((triple15 triple9) -> rule5))] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple5)] The bald eagle is nice.[(triple6)] The bald eagle is not green.[(triple4)] The bald eagle is rough.[(triple7)] The bald eagle sees the bear.[(triple8)] The bear chases the bald eagle.[(triple9)] The bear eats the bald eagle.[(triple10)] The bear is big.[(triple11)] The bear is green.[(triple12)] The bear is kind.[(triple13 OR ((triple9 triple6) -> rule3))] The bear is not nice.[(triple14)] The bear is rough.[(triple15)] The bear sees the bald eagle.[(triple16 OR ((triple12) -> rule4))] @1: The bald eagle eats the bald eagle.[(((triple8) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
((triple9) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
((triple15 triple9) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple6
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple7
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple8
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple9
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple10
The bear is big.
("bear" "is" "big" "+")
triple11
The bear is green.
("bear" "is" "green" "+")
triple12
The bear is kind.
("bear" "is" "kind" "+")
triple13
((triple9 triple6) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not nice.
("bear" "is" "nice" "-")
triple14
The bear is rough.
("bear" "is" "rough" "+")
triple15
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple16
((triple12) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple8) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1