The cow is green. The cow is not nice. The cow is young. If something is young then it is cold. If something is kind then it is cold.
The cow is green.
("cow" "is" "green" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is young.
("cow" "is" "young" "+")
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
The cow is young.
True
1
proof
[(triple3)]
("cow" "is" "young" "+")
triple3
The cow is not young.
False
1
inv-proof
[(triple3)]
("cow" "is" "young" "-")
triple3
The cow is cold.
True
2
proof
[(((triple3) -> rule1))]
("cow" "is" "cold" "+")
((triple3) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "is" "cold" "-")
((triple3) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow is green.[(triple1)] The cow is not nice.[(triple2)] The cow is young.[(triple3)] @1: The cow is cold.[(((triple3) -> rule1))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is not nice.
("cow" "is" "nice" "-")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
((triple3) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1