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