Gary is big. Gary is blue. Gary is not cold. Gary is furry. Gary is kind. Gary is not quiet. Gary is not rough. All quiet people are not cold. All kind people are blue. If Gary is kind and Gary is not furry then Gary is quiet.
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is not rough.
("Gary" "is" "rough" "-")
All quiet people are not cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "-"))
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If Gary is kind and Gary is not furry then Gary is quiet.
((("Gary" "is" "kind" "+") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "quiet" "+"))
Gary is not quiet.
True
1
proof
[(triple6)]
("Gary" "is" "quiet" "-")
triple6
Gary is not blue.
False
1
inv-proof
[(triple2 OR ((triple5) -> rule2))]
("Gary" "is" "blue" "-")
triple2
((triple5) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple5) -> rule2))] Gary is furry.[(triple4)] Gary is kind.[(triple5)] Gary is not cold.[(triple3)] Gary is not quiet.[(triple6)] Gary is not rough.[(triple7)]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
((triple5) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is not cold.
("Gary" "is" "cold" "-")
triple3
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple6
Gary is not rough.
("Gary" "is" "rough" "-")
triple7