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