Anne is young. Fiona is not green. Fiona is kind. All young people are rough. Kind people are not rough. If Anne is furry and Anne is not green then Anne is not nice. If Anne is nice then Anne is blue. Green people are furry. If someone is blue and green then they are not nice.
Anne is young.
("Anne" "is" "young" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Kind people are not rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "-"))
If Anne is furry and Anne is not green then Anne is not nice.
((("Anne" "is" "furry" "+") ("Anne" "is" "green" "~")) -> ("Anne" "is" "nice" "-"))
If Anne is nice then Anne is blue.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "blue" "+"))
Green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue and green then they are not nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "-"))
Fiona is not green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Anne is rough.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "furry" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is young.[(triple1)] Fiona is kind.[(triple3)] Fiona is not green.[(triple2)] @1: Anne is rough.[(((triple1) -> rule1))] Fiona is not rough.[(((triple3) -> rule2))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
((triple3) -> (rule2 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1