Anne is cold. Bob is white. Charlie is not quiet. Erin is round. If someone is white then they are cold. If Erin is quiet then Erin is rough. If Erin is not quiet then Erin is not white.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Erin is round.
("Erin" "is" "round" "+")
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If Erin is quiet then Erin is rough.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "rough" "+"))
If Erin is not quiet then Erin is not white.
((("Erin" "is" "quiet" "~")) -> ("Erin" "is" "white" "-"))
Charlie is not quiet.
True
1
proof
[(triple3)]
("Charlie" "is" "quiet" "-")
triple3
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Bob is cold.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Bob is white.[(triple2)] Charlie is not quiet.[(triple3)] Erin is round.[(triple4)] @1: Bob is cold.[(((triple2) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1