The bald eagle chases the bear. The bald eagle eats the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is green. The bear is nice. The bear likes the bald eagle. If the bear likes the bald eagle and the bald eagle eats the bear then the bald eagle is nice. If someone is cold and nice then they like the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
If the bear likes the bald eagle and the bald eagle eats the bear then the bald eagle is nice.
((("bear" "likes" "bald eagle" "+") ("bald eagle" "eats" "bear" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone is cold and nice then they like the bald eagle.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "bald eagle" "+"))
The bear is green.
True
1
proof
[(triple5)]
("bear" "is" "green" "+")
triple5
The bear is not nice.
False
1
inv-proof
[(triple6)]
("bear" "is" "nice" "-")
triple6
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear likes the bald eagle.[(triple7)] @1: The bald eagle is nice.[(((triple7 triple2) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple7 triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1