Anne is furry. Anne is not white. Bob is big. Bob is not rough. Bob is round. Charlie is round. Harry is not green. Rough, round people are kind. If someone is big and round then they are not kind. If Charlie is rough then Charlie is white. If someone is rough then they are not white. Rough people are white. White, big people are green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is big.
("Bob" "is" "big" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Harry is not green.
("Harry" "is" "green" "-")
Rough, round people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and round then they are not kind.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
If Charlie is rough then Charlie is white.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "white" "+"))
If someone is rough then they are not white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "-"))
Rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
White, big people are green.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Harry is not green.
True
1
proof
[(triple7)]
("Harry" "is" "green" "-")
triple7
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Bob is not kind.
True
3
proof
[(((triple3 triple5) -> rule2))]
("Bob" "is" "kind" "-")
((triple3 triple5) -> (rule2 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is kind.
False
3
inv-proof
[(((triple3 triple5) -> rule2))]
("Bob" "is" "kind" "+")
((triple3 triple5) -> (rule2 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "green" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is furry.[(triple1)] Anne is not white.[(triple2)] Bob is big.[(triple3)] Bob is not rough.[(triple4)] Bob is round.[(triple5)] Charlie is round.[(triple6)] Harry is not green.[(triple7)] @1: Bob is not kind.[(((triple3 triple5) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Harry is not green.
("Harry" "is" "green" "-")
triple7
Bob is not kind.
("Bob" "is" "kind" "-")
((triple3 triple5) -> (rule2 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1