Anne is cold. Anne is kind. Anne is red. Anne is white. Bob is not kind. Bob is not red. Charlie is green. Charlie is red. Charlie is young. Dave is green. Dave is red. Dave is young. If Anne is red then Anne is green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not red.
("Bob" "is" "red" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
If Anne is red then Anne is green.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "green" "+"))
Charlie is young.
True
1
proof
[(triple9)]
("Charlie" "is" "young" "+")
triple9
Dave is not young.
False
1
inv-proof
[(triple12)]
("Dave" "is" "young" "-")
triple12
Anne is green.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "green" "+")
((triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "green" "-")
((triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Bob is not kind.[(triple5)] Bob is not red.[(triple6)] Charlie is green.[(triple7)] Charlie is red.[(triple8)] Charlie is young.[(triple9)] Dave is green.[(triple10)] Dave is red.[(triple11)] Dave is young.[(triple12)] @1: Anne is green.[(((triple3) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is not kind.
("Bob" "is" "kind" "-")
triple5
Bob is not red.
("Bob" "is" "red" "-")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple11
Dave is young.
("Dave" "is" "young" "+")
triple12
Anne is green.
("Anne" "is" "green" "+")
((triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1