The tiger is green. All red, nice people are green. If the tiger is green then the tiger is rough. If someone is green and big then they are red.
The tiger is green.
("tiger" "is" "green" "+")
All red, nice people are green.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If the tiger is green then the tiger is rough.
((("tiger" "is" "green" "+")) -> ("tiger" "is" "rough" "+"))
If someone is green and big then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
The tiger is green.
True
1
proof
[(triple1)]
("tiger" "is" "green" "+")
triple1
The tiger is not green.
False
1
inv-proof
[(triple1)]
("tiger" "is" "green" "-")
triple1
The tiger is rough.
True
2
proof
[(((triple1) -> rule2))]
("tiger" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("tiger" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "red" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
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 green.[(triple1)] @1: The tiger is rough.[(((triple1) -> rule2))]
The tiger is green.
("tiger" "is" "green" "+")
triple1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1