The bald eagle is rough. The bear visits the mouse. The mouse sees the bear. If something is round and it chases the bald eagle then it is green. If something sees the bear and it chases the bear then the bear is green. If something visits the mouse then it sees the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something is round and it chases the bald eagle then it is green.
((("something" "is" "round" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If something sees the bear and it chases the bear then the bear is green.
((("something" "sees" "bear" "+") ("something" "chases" "bear" "+")) -> ("bear" "is" "green" "+"))
If something visits the mouse then it sees the bald eagle.
((("something" "visits" "mouse" "+")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is not rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "-")
triple1
The mouse does not see the bald eagle.
Unknown
inv-rconc
[@1: The mouse sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "sees" "bald eagle" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle is rough.[(triple1)] The bear visits the mouse.[(triple2)] The mouse sees the bear.[(triple3)] @1: The bear sees the bald eagle.[(((triple2) -> rule3))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1