The cow is blue. The cow is nice. The cow is round. If something is blue then it is not cold. If the cow is not red then the cow is cold. If something is cold then it is nice.
The cow is blue.
("cow" "is" "blue" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
If something is blue then it is not cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "-"))
If the cow is not red then the cow is cold.
((("cow" "is" "red" "~")) -> ("cow" "is" "cold" "+"))
If something is cold then it is nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
The cow is round.
True
1
proof
[(triple3)]
("cow" "is" "round" "+")
triple3
The cow is not round.
False
1
inv-proof
[(triple3)]
("cow" "is" "round" "-")
triple3
The cow is not cold.
True
2
proof
[(((triple1) -> rule1))]
("cow" "is" "cold" "-")
((triple1) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
The cow is cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "is" "cold" "+")
((triple1) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
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 eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
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" "+")
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow is round.[(triple3)] @1: The cow is not cold.[(((triple1) -> rule1))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow is not cold.
("cow" "is" "cold" "-")
((triple1) -> (rule1 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1