The bald eagle needs the bear. The bald eagle needs the cow. The bear is round. The bear is young. The bear visits the bald eagle. The cow chases the bald eagle. The cow is blue. If someone chases the cow then they need the cow. All young, round people are blue.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
If someone chases the cow then they need the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "needs" "cow" "+"))
All young, round people are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
The bald eagle needs the cow.
True
1
proof
[(triple2)]
("bald eagle" "needs" "cow" "+")
triple2
The bear is not round.
False
1
inv-proof
[(triple3)]
("bear" "is" "round" "-")
triple3
The bear does not need the cow.
Unknown
inv-rconc
[@1: The bear needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "cow" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bald eagle needs the bear.[(triple1)] The bald eagle needs the cow.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear visits the bald eagle.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is blue.[(triple7)] @1: The bear is blue.[(((triple4 triple3) -> rule2))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The bear is blue.
("bear" "is" "blue" "+")
((triple4 triple3) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1