The cow is blue. The cow is green. The cow is rough. If someone is rough then they are green. If someone is blue then they are green. Rough, young people are green. If the cow is rough then the cow is young. If someone is green and kind then they are rough. If someone is young and blue then they are not kind.
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Rough, young people are green.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If the cow is rough then the cow is young.
((("cow" "is" "rough" "+")) -> ("cow" "is" "young" "+"))
If someone is green and kind then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and blue then they are not kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "-"))
The cow is rough.
True
1
proof
[(triple3)]
("cow" "is" "rough" "+")
triple3
The cow is not blue.
False
1
inv-proof
[(triple1)]
("cow" "is" "blue" "-")
triple1
The cow is young.
True
2
proof
[(((triple3) -> rule4))]
("cow" "is" "young" "+")
((triple3) -> (rule4 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple3) -> rule4))]
("cow" "is" "young" "-")
((triple3) -> (rule4 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not kind.
True
4
proof
[(((((triple3) -> rule4) triple1) -> rule6))]
("cow" "is" "kind" "-")
((((triple3) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is kind.
False
4
inv-proof
[(((((triple3) -> rule4) triple1) -> rule6))]
("cow" "is" "kind" "+")
((((triple3) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow is blue.[(triple1)] The cow is green.[(triple2 OR ((triple1) -> rule2) OR ((triple3) -> rule1) OR ((triple3 ((triple3) -> rule4)) -> rule3))] The cow is rough.[(triple3)] @1: The cow is young.[(((triple3) -> rule4))] @2: The cow is not kind.[(((((triple3) -> rule4) triple1) -> rule6))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
((triple1) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((triple3) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((triple3 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
((triple3) -> (rule4 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not kind.
("cow" "is" "kind" "-")
((((triple3) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The cow is young.
("cow" "is" "young" "+")
int2