The tiger is not rough. If the tiger is not young then the tiger is big. If someone is rough and not big then they are green.
The tiger is not rough.
("tiger" "is" "rough" "-")
If the tiger is not young then the tiger is big.
((("tiger" "is" "young" "~")) -> ("tiger" "is" "big" "+"))
If someone is rough and not big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "green" "+"))
The tiger is not rough.
True
1
proof
[(triple1)]
("tiger" "is" "rough" "-")
triple1
The tiger is rough.
False
1
inv-proof
[(triple1)]
("tiger" "is" "rough" "+")
triple1
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "green" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The tiger is not rough.[(triple1)]
The tiger is not rough.
("tiger" "is" "rough" "-")
triple1