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