Anne is not green. Anne is kind. Anne is quiet. Anne is round. Erin is green. Erin is young. Harry is quiet. If someone is kind and young then they are not green. All cold, rough people are round. All kind, round people are not rough.
Anne is not green.
("Anne" "is" "green" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is kind and young then they are not green.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
All cold, rough people are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
All kind, round people are not rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
Anne is not green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Erin is not young.
False
1
inv-proof
[(triple6)]
("Erin" "is" "young" "-")
triple6
Anne is not rough.
True
3
proof
[(((triple2 triple4) -> rule3))]
("Anne" "is" "rough" "-")
((triple2 triple4) -> (rule3 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is rough.
False
3
inv-proof
[(((triple2 triple4) -> rule3))]
("Anne" "is" "rough" "+")
((triple2 triple4) -> (rule3 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is kind.[(triple2)] Anne is not green.[(triple1)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Erin is green.[(triple5)] Erin is young.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is not rough.[(((triple2 triple4) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Anne is not rough.
("Anne" "is" "rough" "-")
((triple2 triple4) -> (rule3 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1