Anne is big. Bob is furry. Dave is quiet. Gary is not furry. All furry people are kind. If someone is white and not round then they are not nice.
Anne is big.
("Anne" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is white and not round then they are not nice.
((("someone" "is" "white" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "nice" "-"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Dave is not quiet.
False
1
inv-proof
[(triple3)]
("Dave" "is" "quiet" "-")
triple3
Bob is kind.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "kind" "-")
((triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is big.[(triple1)] Bob is furry.[(triple2)] Dave is quiet.[(triple3)] Gary is not furry.[(triple4)] @1: Bob is kind.[(((triple2) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Gary is not furry.
("Gary" "is" "furry" "-")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1