「もしあの音楽ソフトが疚しいならこの高齢者住宅は誓えるということはないが凛々しい」ということは確かでない
fact1: 「ファン牌だがしかし土鍋でない」物はある fact2: あの音楽ソフトは飲み口でない fact3: 「ファン牌だし土鍋な」物はある fact4: この高齢者住宅は土鍋である fact5: 「疚しい」物はある fact6: もしもなにがしかの物がファン牌だがしかし土鍋でないならばあの高齢者住宅は凛々しい fact7: なにかはファン牌だ fact8: もし仮にあの音楽ソフトが凛々しいとすればこの高齢者住宅は疚しいということはない一方で誓える fact9: あの音楽ソフトが航行するかまたは疚しいならこの高齢者住宅は誓えらない fact10: あの音楽ソフトは航行する fact11: 「土鍋であるということはない」ものはある
void -> assump1: 以下のように仮定する。「あの音楽ソフトは疚しい」ということは本当だ; assump1 -> int1: あの音楽ソフトは航行するかあるいは疚しい; int1 & fact9 -> int2: この高齢者住宅は誓えらない; fact1 & fact6 -> int3: この高齢者住宅は凛々しい; int2 & int3 -> int4: この高齢者住宅は誓えらないけれど凛々しい; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「ファン牌だがしかし土鍋でない」物はある fact2: あの音楽ソフトは飲み口でない fact3: 「ファン牌だし土鍋な」物はある fact4: この高齢者住宅は土鍋である fact5: 「疚しい」物はある fact6: もしもなにがしかの物がファン牌だがしかし土鍋でないならばあの高齢者住宅は凛々しい fact7: なにかはファン牌だ fact8: もし仮にあの音楽ソフトが凛々しいとすればこの高齢者住宅は疚しいということはない一方で誓える fact9: あの音楽ソフトが航行するかまたは疚しいならこの高齢者住宅は誓えらない fact10: あの音楽ソフトは航行する fact11: 「土鍋であるということはない」ものはある ; $hypothesis$ = 「もしあの音楽ソフトが疚しいならこの高齢者住宅は誓えるということはないが凛々しい」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの音楽ソフトは疚しい」ということは本当だ; assump1 -> int1: あの音楽ソフトは航行するかあるいは疚しい; int1 & fact9 -> int2: この高齢者住宅は誓えらない; fact1 & fact6 -> int3: この高齢者住宅は凛々しい; int2 & int3 -> int4: この高齢者住宅は誓えらないけれど凛々しい; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「ファン牌だがしかし土鍋でない」物はある
事実2: あの音楽ソフトは飲み口でない
事実3: 「ファン牌だし土鍋な」物はある
事実4: この高齢者住宅は土鍋である
事実5: 「疚しい」物はある
事実6: もしもなにがしかの物がファン牌だがしかし土鍋でないならばあの高齢者住宅は凛々しい
事実7: なにかはファン牌だ
事実8: もし仮にあの音楽ソフトが凛々しいとすればこの高齢者住宅は疚しいということはない一方で誓える
事実9: あの音楽ソフトが航行するかまたは疚しいならこの高齢者住宅は誓えらない
事実10: あの音楽ソフトは航行する
事実11: 「土鍋であるということはない」ものはある

仮説: 「もしあの音楽ソフトが疚しいならこの高齢者住宅は誓えるということはないが凛々しい」ということは確かでない
1. 仮定1: 以下のように仮定する。「あの音楽ソフトは疚しい」ということは本当だ
2. 仮定1から、推論1: "あの音楽ソフトは航行するかあるいは疚しい"が導かれる
3. 推論1と事実9から、推論2: "この高齢者住宅は誓えらない"が導かれる
4. 事実1と事実6から、推論3: "この高齢者住宅は凛々しい"が導かれる
5. 推論2と推論3から、推論4: "この高齢者住宅は誓えらないけれど凛々しい"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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