The cow is rough. All rough things are green. If the cow is rough and the cow is cold then the cow is green. If something is green then it is cold.
The cow is rough.
("cow" "is" "rough" "+")
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If the cow is rough and the cow is cold then the cow is green.
((("cow" "is" "rough" "+") ("cow" "is" "cold" "+")) -> ("cow" "is" "green" "+"))
If something is green then it is cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
The cow is rough.
True
1
proof
[(triple1)]
("cow" "is" "rough" "+")
triple1
The cow is not rough.
False
1
inv-proof
[(triple1)]
("cow" "is" "rough" "-")
triple1
The cow is green.
True
2
proof
[(((triple1) -> rule1))]
("cow" "is" "green" "+")
((triple1) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "is" "green" "-")
((triple1) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
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 is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
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 sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow is rough.[(triple1)] @1: The cow is green.[(((triple1) -> rule1))] @2: The cow is cold.[(((((triple1) -> rule1)) -> rule3))]
The cow is rough.
("cow" "is" "rough" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
((triple1) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2