このＧワンセルは性分らしくない
fact1: 「何もかもは成ずないししかも犯し易い」ということは成り立つ fact2: すべては霧でない一方で性分らしい
fact2 -> int1: このＧワンセルは霧だということはないけどそれは性分らしい; int1 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & {B}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「何もかもは成ずないししかも犯し易い」ということは成り立つ fact2: すべては霧でない一方で性分らしい ; $hypothesis$ = このＧワンセルは性分らしくない ; $proof$ = 
fact2 -> int1: このＧワンセルは霧だということはないけどそれは性分らしい; int1 -> hypothesis; __DISPROVED__
事実1: 「何もかもは成ずないししかも犯し易い」ということは成り立つ
事実2: すべては霧でない一方で性分らしい

仮説: このＧワンセルは性分らしくない
1. 事実2から、推論1: "このＧワンセルは霧だということはないけどそれは性分らしい"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。