Bob is not blue. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is white. Bob is not young. Gary is cold. Gary is green. Gary is young. If someone is nice and not white then they are not young. Young people are quiet.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is not young.
("Bob" "is" "young" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is nice and not white then they are not young.
((("someone" "is" "nice" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "young" "-"))
Young people are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Bob is young.
False
1
inv-proof
[(triple7)]
("Bob" "is" "young" "+")
triple7
Gary is quiet.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "quiet" "-")
((triple10) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is not blue.[(triple1)] Bob is not young.[(triple7)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10)] @1: Gary is quiet.[(((triple10) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1