Bob is big. Bob is white. Harry is quiet. All red people are round. If someone is big then they are round. All red people are round. All red, kind people are big. All white, quiet people are blue. All red, round people are quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All red, kind people are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All white, quiet people are blue.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All red, round people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Harry is quiet.
True
1
proof
[(triple3)]
("Harry" "is" "quiet" "+")
triple3
Bob is not white.
False
1
inv-proof
[(triple2)]
("Bob" "is" "white" "-")
triple2
Bob is round.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "round" "+")
((triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "round" "-")
((triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is round.[(((triple1) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1