Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is young. Bob is red. Bob is rough. Erin is kind. Erin is rough. Harry is kind. Harry is not white. Harry is young. All blue people are white. If someone is blue and not white then they are not kind. White people are kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
All blue people are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is blue and not white then they are not kind.
((("someone" "is" "blue" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "kind" "-"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Erin is rough.
True
1
proof
[(triple9)]
("Erin" "is" "rough" "+")
triple9
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((((triple1) -> rule1)) -> rule3))] Anne is red.[(triple4)] Anne is young.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Harry is kind.[(triple10)] Harry is not white.[(triple11)] Harry is young.[(triple12)] @1: Anne is white.[(((triple1) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is not white.
("Harry" "is" "white" "-")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1