The cow is kind. If the cow is red and the cow is kind then the cow is green. If the cow is kind then the cow is green.
The cow is kind.
("cow" "is" "kind" "+")
If the cow is red and the cow is kind then the cow is green.
((("cow" "is" "red" "+") ("cow" "is" "kind" "+")) -> ("cow" "is" "green" "+"))
If the cow is kind then the cow is green.
((("cow" "is" "kind" "+")) -> ("cow" "is" "green" "+"))
The cow is kind.
True
1
proof
[(triple1)]
("cow" "is" "kind" "+")
triple1
The cow is not kind.
False
1
inv-proof
[(triple1)]
("cow" "is" "kind" "-")
triple1
The cow is green.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "green" "+")
((triple1) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not green.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "green" "-")
((triple1) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow is kind.[(triple1)] @1: The cow is green.[(((triple1) -> rule2))]
The cow is kind.
("cow" "is" "kind" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
((triple1) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1