The cat is blue. All blue people are green. All young people are not blue. If the cat is not red then the cat is green.
The cat is blue.
("cat" "is" "blue" "+")
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All young people are not blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "-"))
If the cat is not red then the cat is green.
((("cat" "is" "red" "~")) -> ("cat" "is" "green" "+"))
The cat is blue.
True
1
proof
[(triple1)]
("cat" "is" "blue" "+")
triple1
The cat is not blue.
False
1
inv-proof
[(triple1)]
("cat" "is" "blue" "-")
triple1
The cat is green.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "green" "+")
((triple1) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "green" "-")
((triple1) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is blue.[(triple1)] @1: The cat is green.[(((triple1) -> rule1))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
((triple1) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1