Anne is quiet. Fiona is kind. All kind people are white. If Anne is quiet and Anne is green then Anne is kind. Green people are round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
All kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If Anne is quiet and Anne is green then Anne is kind.
((("Anne" "is" "quiet" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "kind" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Fiona is white.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "white" "+")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "white" "-")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is white.
Unknown
rconc
[@2: Anne is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "white" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is quiet.[(triple1)] Fiona is kind.[(triple2)] @1: Fiona is white.[(((triple2) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1