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