Anne is cold. Anne is kind. Anne is red. Bob is blue. Bob is not kind. Fiona is not blue. Fiona is red. Kind people are not green. If someone is cold and not green then they are not blue.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Kind people are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
If someone is cold and not green then they are not blue.
((("someone" "is" "cold" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "blue" "-"))
Bob is blue.
True
1
proof
[(triple4)]
("Bob" "is" "blue" "+")
triple4
Anne is not kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "-")
triple2
Anne is not green.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "green" "-")
((triple2) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is green.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "green" "+")
((triple2) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is not blue.
True
4
proof
[(((triple1 ((triple2) -> rule1)) -> rule2))]
("Anne" "is" "blue" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not green.
("Anne" "is" "green" "-")
int2
Anne is blue.
False
4
inv-proof
[(((triple1 ((triple2) -> rule1)) -> rule2))]
("Anne" "is" "blue" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not green.
("Anne" "is" "green" "-")
int2
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple4)] Bob is not kind.[(triple5)] Fiona is not blue.[(triple6)] Fiona is red.[(triple7)] @1: Anne is not green.[(((triple2) -> rule1))] @2: Anne is not blue.[(((triple1 ((triple2) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is not kind.
("Bob" "is" "kind" "-")
triple5
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Anne is not green.
("Anne" "is" "green" "-")
((triple2) -> (rule1 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is not blue.
("Anne" "is" "blue" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not green.
("Anne" "is" "green" "-")
int2