「もしこのセカンドバッグがパケットだとするとこの精米歩合は抜爪しないしそれは縁付かない」ということは偽である
fact1: もしある物は縁付くとすれば「この精米歩合は対艦攻撃だ」ということは嘘でない fact2: 「気難しい」物はある fact3: もし文化交流があるとしたらこのセカンドバッグは末恐ろしい fact4: このセカンドバッグがパケットだとしたらこの精米歩合は抜爪しない fact5: もしも「対艦攻撃でない」ものがあるとするとこの精米歩合は抜爪しない fact6: 「対艦攻撃でない」ものがあればこの精米歩合は抜爪しないし縁付かない fact7: この精米歩合はおもろい fact8: 「この精米歩合は文化交流だ」ということは誤りである fact9: とある物は対艦攻撃である fact10: 四タイプはあるとしたら「あの三月上旬は抜爪する」ということは正しい fact11: もしもこのセカンドバッグがパケットだとしたらこの精米歩合は抜爪しないけれど縁付く fact12: 「陶酔しない」物はある fact13: もしもこの精米歩合はパケットであるしさらに抜爪するとすると縁付かない fact14: 末恐ろしい物はパケットであるとすればそれは対艦攻撃でない fact15: その国家組織は末恐ろしいということはないしかつパウチだということはない fact16: この精米歩合は抜爪しないがしかしそれは縁付く fact17: もしも「対艦攻撃でない」ものがあるとすればこの精米歩合は抜爪しないけれど縁付く fact18: 仮にそのアルカリ金属イオンは指定医であるしかつ青臭いとしたら抜爪しない fact19: この精米歩合は抜爪しない fact20: なにがしかのものは抜爪する fact21: 「文化交流である」物はある
fact21 & fact3 -> int1: このセカンドバッグは末恐ろしい; void -> assump1: 以下のように仮定する。このセカンドバッグはパケットである; int1 & assump1 -> int2: このセカンドバッグは末恐ろしいしまたパケットだ; fact14 -> int3: もしもこのセカンドバッグが末恐ろしいしパケットであるとするとそれは対艦攻撃でない; int2 & int3 -> int4: このセカンドバッグは対艦攻撃でない; int4 -> int5: なにかは対艦攻撃でない; int5 & fact6 -> int6: この精米歩合は抜爪しなくてまた縁付かない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もしある物は縁付くとすれば「この精米歩合は対艦攻撃だ」ということは嘘でない fact2: 「気難しい」物はある fact3: もし文化交流があるとしたらこのセカンドバッグは末恐ろしい fact4: このセカンドバッグがパケットだとしたらこの精米歩合は抜爪しない fact5: もしも「対艦攻撃でない」ものがあるとするとこの精米歩合は抜爪しない fact6: 「対艦攻撃でない」ものがあればこの精米歩合は抜爪しないし縁付かない fact7: この精米歩合はおもろい fact8: 「この精米歩合は文化交流だ」ということは誤りである fact9: とある物は対艦攻撃である fact10: 四タイプはあるとしたら「あの三月上旬は抜爪する」ということは正しい fact11: もしもこのセカンドバッグがパケットだとしたらこの精米歩合は抜爪しないけれど縁付く fact12: 「陶酔しない」物はある fact13: もしもこの精米歩合はパケットであるしさらに抜爪するとすると縁付かない fact14: 末恐ろしい物はパケットであるとすればそれは対艦攻撃でない fact15: その国家組織は末恐ろしいということはないしかつパウチだということはない fact16: この精米歩合は抜爪しないがしかしそれは縁付く fact17: もしも「対艦攻撃でない」ものがあるとすればこの精米歩合は抜爪しないけれど縁付く fact18: 仮にそのアルカリ金属イオンは指定医であるしかつ青臭いとしたら抜爪しない fact19: この精米歩合は抜爪しない fact20: なにがしかのものは抜爪する fact21: 「文化交流である」物はある ; $hypothesis$ = 「もしこのセカンドバッグがパケットだとするとこの精米歩合は抜爪しないしそれは縁付かない」ということは偽である ; $proof$ = 
fact21 & fact3 -> int1: このセカンドバッグは末恐ろしい; void -> assump1: 以下のように仮定する。このセカンドバッグはパケットである; int1 & assump1 -> int2: このセカンドバッグは末恐ろしいしまたパケットだ; fact14 -> int3: もしもこのセカンドバッグが末恐ろしいしパケットであるとするとそれは対艦攻撃でない; int2 & int3 -> int4: このセカンドバッグは対艦攻撃でない; int4 -> int5: なにかは対艦攻撃でない; int5 & fact6 -> int6: この精米歩合は抜爪しなくてまた縁付かない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしある物は縁付くとすれば「この精米歩合は対艦攻撃だ」ということは嘘でない
事実2: 「気難しい」物はある
事実3: もし文化交流があるとしたらこのセカンドバッグは末恐ろしい
事実4: このセカンドバッグがパケットだとしたらこの精米歩合は抜爪しない
事実5: もしも「対艦攻撃でない」ものがあるとするとこの精米歩合は抜爪しない
事実6: 「対艦攻撃でない」ものがあればこの精米歩合は抜爪しないし縁付かない
事実7: この精米歩合はおもろい
事実8: 「この精米歩合は文化交流だ」ということは誤りである
事実9: とある物は対艦攻撃である
事実10: 四タイプはあるとしたら「あの三月上旬は抜爪する」ということは正しい
事実11: もしもこのセカンドバッグがパケットだとしたらこの精米歩合は抜爪しないけれど縁付く
事実12: 「陶酔しない」物はある
事実13: もしもこの精米歩合はパケットであるしさらに抜爪するとすると縁付かない
事実14: 末恐ろしい物はパケットであるとすればそれは対艦攻撃でない
事実15: その国家組織は末恐ろしいということはないしかつパウチだということはない
事実16: この精米歩合は抜爪しないがしかしそれは縁付く
事実17: もしも「対艦攻撃でない」ものがあるとすればこの精米歩合は抜爪しないけれど縁付く
事実18: 仮にそのアルカリ金属イオンは指定医であるしかつ青臭いとしたら抜爪しない
事実19: この精米歩合は抜爪しない
事実20: なにがしかのものは抜爪する
事実21: 「文化交流である」物はある

仮説: 「もしこのセカンドバッグがパケットだとするとこの精米歩合は抜爪しないしそれは縁付かない」ということは偽である
1. 事実21と事実3から、推論1: "このセカンドバッグは末恐ろしい"が導かれる
2. 仮定1: 以下のように仮定する。このセカンドバッグはパケットである
3. 推論1と仮定1から、推論2: "このセカンドバッグは末恐ろしいしまたパケットだ"が導かれる
4. 事実14から、推論3: "もしもこのセカンドバッグが末恐ろしいしパケットであるとするとそれは対艦攻撃でない"が導かれる
5. 推論2と推論3から、推論4: "このセカンドバッグは対艦攻撃でない"が導かれる
6. 推論4から、推論5: "なにかは対艦攻撃でない"が導かれる
7. 推論5と事実6から、推論6: "この精米歩合は抜爪しなくてまた縁付かない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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