Bob is white. Charlie is quiet. Fiona is cold. Cold, young things are not kind. All quiet things are not cold. If something is kind then it is quiet.
Bob is white.
("Bob" "is" "white" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Cold, young things are not kind.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "-"))
All quiet things are not cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "-"))
If something is kind then it is quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Fiona is cold.
True
1
proof
[(triple3)]
("Fiona" "is" "cold" "+")
triple3
Charlie is not quiet.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Charlie is not cold.
True
2
proof
[(((triple2) -> rule2))]
("Charlie" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is cold.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is white.[(triple1)] Charlie is quiet.[(triple2)] Fiona is cold.[(triple3)] @1: Charlie is not cold.[(((triple2) -> rule2))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1