The cow is blue. The cow is cold. The cow is not kind. Blue things are not nice. All young, cold things are not nice. If the cow is young and the cow is blue then the cow is kind.
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not kind.
("cow" "is" "kind" "-")
Blue things are not nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "-"))
All young, cold things are not nice.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "-"))
If the cow is young and the cow is blue then the cow is kind.
((("cow" "is" "young" "+") ("cow" "is" "blue" "+")) -> ("cow" "is" "kind" "+"))
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 does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is not kind.[(triple3)] @1: The cow is not nice.[(((triple1) -> rule1))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The cow is not nice.
("cow" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The cow is not nice.
("cow" "is" "nice" "-")
int1