Anne is kind. Bob is white. Fiona is cold. Kind things are not cold. If Bob is cold and Bob is not quiet then Bob is not rough. If Anne is not cold then Anne is not white.
Anne is kind.
("Anne" "is" "kind" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Kind things are not cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "-"))
If Bob is cold and Bob is not quiet then Bob is not rough.
((("Bob" "is" "cold" "+") ("Bob" "is" "quiet" "~")) -> ("Bob" "is" "rough" "-"))
If Anne is not cold then Anne is not white.
((("Anne" "is" "cold" "~")) -> ("Anne" "is" "white" "-"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Bob is not white.
False
1
inv-proof
[(triple2)]
("Bob" "is" "white" "-")
triple2
Anne is not cold.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Bob is white.[(triple2)] Fiona is cold.[(triple3)] @1: Anne is not cold.[(((triple1) -> rule1))] @2: Anne is not white.[(((((triple1) -> rule1)) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is not white.
("Anne" "is" "white" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is not cold.
("Anne" "is" "cold" "-")
int2