Bob is not big. Bob is furry. Bob is green. Bob is quiet. Bob is red. Gary is kind. Gary is not quiet. If someone is blue and not green then they are big. Quiet people are furry. If someone is blue then they are not red. Blue, kind people are red. All quiet, big people are kind. All blue people are quiet. Quiet, red people are not blue. If someone is quiet and big then they are blue.
Bob is not big.
("Bob" "is" "big" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
If someone is blue and not green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue then they are not red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "-"))
Blue, kind people are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All quiet, big people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Quiet, red people are not blue.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "-"))
If someone is quiet and big then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Bob is not big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Bob is big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Bob is not blue.
True
3
proof
[(((triple4 triple5) -> rule7))]
("Bob" "is" "blue" "-")
((triple4 triple5) -> (rule7 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is blue.
False
3
inv-proof
[(((triple4 triple5) -> rule7))]
("Bob" "is" "blue" "+")
((triple4 triple5) -> (rule7 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is furry.[(triple2 OR ((triple4) -> rule2))] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Gary is kind.[(triple6)] Gary is not quiet.[(triple7)] @1: Bob is not blue.[(((triple4 triple5) -> rule7))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple7
Bob is not blue.
("Bob" "is" "blue" "-")
((triple4 triple5) -> (rule7 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1