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