「「噎せるかホット・セブンでないかもしくは両方ともだ」ということは偽である」物はある
fact1: もし「その生姜オールはホット・セブンだ」ということは確かだとしたらそのターミナルウィンドウは噎せる fact2: その生姜オールは組織率である fact3: この右半面は噎せない fact4: 「その生姜オールは御訪ねるがしかし腫れぼったいということはない」ということは成り立たないとすると御訪ねない fact5: そのターミナルウィンドウが御訪ねないとするとその生姜オールは噎せる fact6: 「もしも「「その生姜オールはホット・セブンであるがしかし腫れぼったくない」ということは正しい」ということは成り立たないとしたらその生姜オールはホット・セブンでない」ということは確かである fact7: 「そのターミナルウィンドウはレオ・フェンダーでない」ということは正しい fact8: とあるものは噎せるかまたはホット・セブンでないかあるいはどちらもである fact9: 「そのターミナルウィンドウは子供っぽいか故無くないかまたは両方ともだ」ということは間違いだ fact10: 仮に「その生姜オールは腫れぼったいけどもじもじしない」ということは間違っていれば腫れぼったくない fact11: 「そのアウトドアライターは発電するかもしくはホット・セブンでないかもしくはどちらもだ」ということは嘘である fact12: 「「御訪ねるかあるいは腫れぼったくない」ということは成り立たない」物はある fact13: 「そのターミナルウィンドウはホット・セブンであるが腫れぼったくない」ということは成り立たない fact14: なんらかのものは噎せるということはない fact15: 「「噎せるかホット・セブンであるか両方ともである」ということは本当でない」ものはある fact16: その生姜オールは励まし合う fact17: 「その生姜オールは噎せるが御訪ねない」ということは偽だとしたらそれは噎せない fact18: 「その生姜オールは御訪ねる一方で腫れぼったくない」ということは成り立つということはない fact19: ある物はホット・セブンだ fact20: そのアウトドアライターは腫れぼったい fact21: 「そのターミナルウィンドウは御訪ねるがしかしホット・セブンでない」ということは成り立たない fact22: もしそのターミナルウィンドウが噎せるとするとその生姜オールは御訪ねる fact23: もしそのターミナルウィンドウがホット・セブンでないならばその生姜オールは御訪ねる
void -> assump1: 以下のように仮定する。そのターミナルウィンドウは噎せるかあるいはそれはホット・セブンでない; assump1 & fact22 & fact23 -> int1: その生姜オールは御訪ねる; fact18 & fact4 -> int2: その生姜オールは御訪ねない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのターミナルウィンドウは噎せるかあるいはホット・セブンでないかもしくは両方ともである」ということは誤りである; int4 -> hypothesis;
$facts$ = fact1: もし「その生姜オールはホット・セブンだ」ということは確かだとしたらそのターミナルウィンドウは噎せる fact2: その生姜オールは組織率である fact3: この右半面は噎せない fact4: 「その生姜オールは御訪ねるがしかし腫れぼったいということはない」ということは成り立たないとすると御訪ねない fact5: そのターミナルウィンドウが御訪ねないとするとその生姜オールは噎せる fact6: 「もしも「「その生姜オールはホット・セブンであるがしかし腫れぼったくない」ということは正しい」ということは成り立たないとしたらその生姜オールはホット・セブンでない」ということは確かである fact7: 「そのターミナルウィンドウはレオ・フェンダーでない」ということは正しい fact8: とあるものは噎せるかまたはホット・セブンでないかあるいはどちらもである fact9: 「そのターミナルウィンドウは子供っぽいか故無くないかまたは両方ともだ」ということは間違いだ fact10: 仮に「その生姜オールは腫れぼったいけどもじもじしない」ということは間違っていれば腫れぼったくない fact11: 「そのアウトドアライターは発電するかもしくはホット・セブンでないかもしくはどちらもだ」ということは嘘である fact12: 「「御訪ねるかあるいは腫れぼったくない」ということは成り立たない」物はある fact13: 「そのターミナルウィンドウはホット・セブンであるが腫れぼったくない」ということは成り立たない fact14: なんらかのものは噎せるということはない fact15: 「「噎せるかホット・セブンであるか両方ともである」ということは本当でない」ものはある fact16: その生姜オールは励まし合う fact17: 「その生姜オールは噎せるが御訪ねない」ということは偽だとしたらそれは噎せない fact18: 「その生姜オールは御訪ねる一方で腫れぼったくない」ということは成り立つということはない fact19: ある物はホット・セブンだ fact20: そのアウトドアライターは腫れぼったい fact21: 「そのターミナルウィンドウは御訪ねるがしかしホット・セブンでない」ということは成り立たない fact22: もしそのターミナルウィンドウが噎せるとするとその生姜オールは御訪ねる fact23: もしそのターミナルウィンドウがホット・セブンでないならばその生姜オールは御訪ねる ; $hypothesis$ = 「「噎せるかホット・セブンでないかもしくは両方ともだ」ということは偽である」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。そのターミナルウィンドウは噎せるかあるいはそれはホット・セブンでない; assump1 & fact22 & fact23 -> int1: その生姜オールは御訪ねる; fact18 & fact4 -> int2: その生姜オールは御訪ねない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのターミナルウィンドウは噎せるかあるいはホット・セブンでないかもしくは両方ともである」ということは誤りである; int4 -> hypothesis; __PROVED__
事実1: もし「その生姜オールはホット・セブンだ」ということは確かだとしたらそのターミナルウィンドウは噎せる
事実2: その生姜オールは組織率である
事実3: この右半面は噎せない
事実4: 「その生姜オールは御訪ねるがしかし腫れぼったいということはない」ということは成り立たないとすると御訪ねない
事実5: そのターミナルウィンドウが御訪ねないとするとその生姜オールは噎せる
事実6: 「もしも「「その生姜オールはホット・セブンであるがしかし腫れぼったくない」ということは正しい」ということは成り立たないとしたらその生姜オールはホット・セブンでない」ということは確かである
事実7: 「そのターミナルウィンドウはレオ・フェンダーでない」ということは正しい
事実8: とあるものは噎せるかまたはホット・セブンでないかあるいはどちらもである
事実9: 「そのターミナルウィンドウは子供っぽいか故無くないかまたは両方ともだ」ということは間違いだ
事実10: 仮に「その生姜オールは腫れぼったいけどもじもじしない」ということは間違っていれば腫れぼったくない
事実11: 「そのアウトドアライターは発電するかもしくはホット・セブンでないかもしくはどちらもだ」ということは嘘である
事実12: 「「御訪ねるかあるいは腫れぼったくない」ということは成り立たない」物はある
事実13: 「そのターミナルウィンドウはホット・セブンであるが腫れぼったくない」ということは成り立たない
事実14: なんらかのものは噎せるということはない
事実15: 「「噎せるかホット・セブンであるか両方ともである」ということは本当でない」ものはある
事実16: その生姜オールは励まし合う
事実17: 「その生姜オールは噎せるが御訪ねない」ということは偽だとしたらそれは噎せない
事実18: 「その生姜オールは御訪ねる一方で腫れぼったくない」ということは成り立つということはない
事実19: ある物はホット・セブンだ
事実20: そのアウトドアライターは腫れぼったい
事実21: 「そのターミナルウィンドウは御訪ねるがしかしホット・セブンでない」ということは成り立たない
事実22: もしそのターミナルウィンドウが噎せるとするとその生姜オールは御訪ねる
事実23: もしそのターミナルウィンドウがホット・セブンでないならばその生姜オールは御訪ねる

仮説: 「「噎せるかホット・セブンでないかもしくは両方ともだ」ということは偽である」物はある
1. 仮定1: 以下のように仮定する。そのターミナルウィンドウは噎せるかあるいはそれはホット・セブンでない
2. 仮定1と事実22と事実23から、推論1: "その生姜オールは御訪ねる"が導かれる
3. 事実18と事実4から、推論2: "その生姜オールは御訪ねない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのターミナルウィンドウは噎せるかあるいはホット・セブンでないかもしくは両方ともである」ということは誤りである"が導かれる
6. 推論4から、仮説が導かれる

よって、仮説が証明されました。