The cow is blue. The cow is cold. The cow is young. All green, blue people are red. All cold, blue people are green.
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is young.
("cow" "is" "young" "+")
All green, blue people are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All cold, blue people are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
The cow is blue.
True
1
proof
[(triple1)]
("cow" "is" "blue" "+")
triple1
The cow is not cold.
False
1
inv-proof
[(triple2)]
("cow" "is" "cold" "-")
triple2
The cow is green.
True
3
proof
[(((triple2 triple1) -> rule2))]
("cow" "is" "green" "+")
((triple2 triple1) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not green.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("cow" "is" "green" "-")
((triple2 triple1) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is red.
True
5
proof
[(((((triple2 triple1) -> rule2) triple1) -> rule1))]
("cow" "is" "red" "+")
((((triple2 triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is not red.
False
5
inv-proof
[(((((triple2 triple1) -> rule2) triple1) -> rule1))]
("cow" "is" "red" "-")
((((triple2 triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
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 likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is young.[(triple3)] @1: The cow is green.[(((triple2 triple1) -> rule2))] @2: The cow is red.[(((((triple2 triple1) -> rule2) triple1) -> rule1))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
((triple2 triple1) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is red.
("cow" "is" "red" "+")
((((triple2 triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2