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