The tiger is blue. Green, young things are not big. All blue things are not young. If something is big then it is blue.
The tiger is blue.
("tiger" "is" "blue" "+")
Green, young things are not big.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "-"))
All blue things are not young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "-"))
If something is big then it is blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger is not young.
True
2
proof
[(((triple1) -> rule2))]
("tiger" "is" "young" "-")
((triple1) -> (rule2 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is young.
False
2
inv-proof
[(((triple1) -> rule2))]
("tiger" "is" "young" "+")
((triple1) -> (rule2 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The tiger is blue.[(triple1)] @1: The tiger is not young.[(((triple1) -> rule2))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is not young.
("tiger" "is" "young" "-")
((triple1) -> (rule2 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1