The cow is blue. The cow is green. The cow is rough. Rough, red people are young. If the cow is green then the cow is red. If the cow is red and the cow is not green then the cow is not blue.
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
Rough, red people are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If the cow is green then the cow is red.
((("cow" "is" "green" "+")) -> ("cow" "is" "red" "+"))
If the cow is red and the cow is not green then the cow is not blue.
((("cow" "is" "red" "+") ("cow" "is" "green" "~")) -> ("cow" "is" "blue" "-"))
The cow is green.
True
1
proof
[(triple2)]
("cow" "is" "green" "+")
triple2
The cow is not blue.
False
1
inv-proof
[(triple1)]
("cow" "is" "blue" "-")
triple1
The cow is red.
True
2
proof
[(((triple2) -> rule2))]
("cow" "is" "red" "+")
((triple2) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is not red.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "is" "red" "-")
((triple2) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
True
4
proof
[(((triple3 ((triple2) -> rule2)) -> rule1))]
("cow" "is" "young" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow is not young.
False
4
inv-proof
[(((triple3 ((triple2) -> rule2)) -> rule1))]
("cow" "is" "young" "-")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
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 eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is rough.[(triple3)] @1: The cow is red.[(((triple2) -> rule2))] @2: The cow is young.[(((triple3 ((triple2) -> rule2)) -> rule1))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
((triple2) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2