The cow is green. All green, young things are blue. If something is green then it is young. If something is green and rough then it is young. All kind, rough things are blue. All kind, blue things are rough. If something is blue then it is kind.
The cow is green.
("cow" "is" "green" "+")
All green, young things are blue.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is green then it is young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is green and rough then it is young.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All kind, rough things are blue.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All kind, blue things are rough.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is blue then it is kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
The cow is green.
True
1
proof
[(triple1)]
("cow" "is" "green" "+")
triple1
The cow is not green.
False
1
inv-proof
[(triple1)]
("cow" "is" "green" "-")
triple1
The cow is young.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "young" "+")
((triple1) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "young" "-")
((triple1) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is blue.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule1))]
("cow" "is" "blue" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is not blue.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule1))]
("cow" "is" "blue" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow is green.[(triple1)] @1: The cow is young.[(((triple1) -> rule2))] @2: The cow is blue.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: The cow is kind.[(((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule6))] @4: The cow is rough.[(((((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule6) ((triple1 ((triple1) -> rule2)) -> rule1)) -> rule5))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
((triple1) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
((((((triple1 ((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow is young.
("cow" "is" "young" "+")
int4