The bald eagle is not rough. The bald eagle is round. The bear sees the cow. The bear sees the lion. The cow is not red. The lion is rough. The lion is round. The lion needs the bear. The lion sees the bear. The lion visits the bear. If someone needs the bear and the bear is not rough then the bear is green. If someone sees the cow then they are nice.
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The cow is not red.
("cow" "is" "red" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone needs the bear and the bear is not rough then the bear is green.
((("someone" "needs" "bear" "+") ("bear" "is" "rough" "~")) -> ("bear" "is" "green" "+"))
If someone sees the cow then they are nice.
((("someone" "sees" "cow" "+")) -> ("someone" "is" "nice" "+"))
The lion visits the bear.
True
1
proof
[(triple10)]
("lion" "visits" "bear" "+")
triple10
The bald eagle is rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "nice" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bald eagle is not rough.[(triple1)] The bald eagle is round.[(triple2)] The bear sees the cow.[(triple3)] The bear sees the lion.[(triple4)] The cow is not red.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7)] The lion needs the bear.[(triple8)] The lion sees the bear.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear is nice.[(((triple3) -> rule2))]
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bear sees the cow.
("bear" "sees" "cow" "+")
triple3
The bear sees the lion.
("bear" "sees" "lion" "+")
triple4
The cow is not red.
("cow" "is" "red" "-")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion needs the bear.
("lion" "needs" "bear" "+")
triple8
The lion sees the bear.
("lion" "sees" "bear" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The bear is nice.
("bear" "is" "nice" "+")
((triple3) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1