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