The bald eagle sees the squirrel. The bear is big. The mouse visits the bald eagle. The squirrel is round. If someone sees the mouse and they see the bald eagle then the mouse is round.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone sees the mouse and they see the bald eagle then the mouse is round.
((("someone" "sees" "mouse" "+") ("someone" "sees" "bald eagle" "+")) -> ("mouse" "is" "round" "+"))
The squirrel is round.
True
1
proof
[(triple4)]
("squirrel" "is" "round" "+")
triple4
The squirrel is not round.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "round" "-")
triple4
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "round" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The bear is big.[(triple2)] The mouse visits the bald eagle.[(triple3)] The squirrel is round.[(triple4)]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4