Anne is not furry. Anne is not red. Anne is white. Bob is kind. Bob is young. Charlie is round. Fiona is young. If something is young and not round then it is kind. If something is white and not furry then it is not kind. All round, rough things are not white. All young, round things are white. If something is rough and not round then it is young. All kind, furry things are not young.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not red.
("Anne" "is" "red" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is young and not round then it is kind.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "+"))
If something is white and not furry then it is not kind.
((("something" "is" "white" "+") ("something" "is" "furry" "~")) -> ("something" "is" "kind" "-"))
All round, rough things are not white.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "-"))
All young, round things are white.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is rough and not round then it is young.
((("something" "is" "rough" "+") ("something" "is" "round" "~")) -> ("something" "is" "young" "+"))
All kind, furry things are not young.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "-"))
Bob is young.
True
1
proof
[(triple5)]
("Bob" "is" "young" "+")
triple5
Charlie is not round.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "round" "-")
triple6
Anne is not kind.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "kind" "-")
((triple3 triple1) -> (rule2 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is kind.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "kind" "+")
((triple3 triple1) -> (rule2 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "white" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is not furry.[(triple1)] Anne is not red.[(triple2)] Anne is white.[(triple3)] Bob is kind.[(triple4)] Bob is young.[(triple5)] Charlie is round.[(triple6)] Fiona is young.[(triple7)] @1: Anne is not kind.[(((triple3 triple1) -> rule2))]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Anne is not kind.
("Anne" "is" "kind" "-")
((triple3 triple1) -> (rule2 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1