「このドラムズは水臭いということはないかそれは絞れる」ということは誤りだ
fact1: そのアメリカ社会は人間っぽい fact2: 仮にその零一年度が水臭くないとするとこのドラムズは水臭い fact3: もしもそのアメリカ社会が多変数分析でないとするとその零一年度は水臭くないけれど宣誓する fact4: その零一年度は宣誓する fact5: そのアメリカ社会は腫れ上がるしまた人間っぽい fact6: このドラムズは水臭い fact7: もしもなにかは宣誓するということはないとするとそれは人間っぽくないし更にそれは多変数分析である fact8: もしもある物が腫れ上がらないとしたら水臭くないか絞れるかまたは両方である fact9: 仮に人間っぽくないものは多変数分析であるとするとそれは腫れ上がるということはない fact10: 合わせ辛いということはない物は宣誓しないがしかしＳＪＩＳだ fact11: 仮にそのアメリカ社会が宣誓しないがしかしそれがＳＪＩＳであるならこのドラムズは宣誓しない fact12: もしもそのアメリカ社会は船付き場であるとしたらそれは湿気る fact13: 「そのアメリカ社会は宣誓する」ということは事実である fact14: そのアメリカ社会が水臭くないとすればこのドラムズは水臭い fact15: 仮になにかは湿気るとするとそれは合わせ辛いということはない fact16: そのアメリカ社会が多変数分析であるということはないとするとその零一年度は宣誓する fact17: もしもとある物が腫れ上がるとするとそれは多変数分析でない fact18: 「その零一年度は水臭くない」ということは確かだとしたら「このドラムズは水臭くないかもしくはそれは絞れる」ということは間違いである
fact5 -> int1: そのアメリカ社会は腫れ上がる; fact17 -> int2: 仮にそのアメリカ社会が腫れ上がるならそれは多変数分析でない; int1 & int2 -> int3: そのアメリカ社会は多変数分析でない; int3 & fact3 -> int4: その零一年度は水臭くないがしかし宣誓する; int4 -> int5: その零一年度は水臭いということはない; int5 & fact18 -> hypothesis;
このドラムズは水臭いということはないかもしくはそれは絞れるかもしくは両方だ
fact19 -> int6: もしもこのドラムズが腫れ上がらないならばそれは水臭くないかあるいはそれは絞れる; fact22 -> int7: このドラムズは人間っぽくない一方で多変数分析であるとすると腫れ上がらない; fact20 -> int8: もしもこのドラムズが宣誓しないとしたらそれは人間っぽくなくてしかも多変数分析である; fact23 -> int9: 仮にそのアメリカ社会が合わせ辛くないならばそれは宣誓しないがしかしＳＪＩＳである; fact25 -> int10: もし仮にそのアメリカ社会が湿気るとすると合わせ辛いということはない;
$facts$ = fact1: そのアメリカ社会は人間っぽい fact2: 仮にその零一年度が水臭くないとするとこのドラムズは水臭い fact3: もしもそのアメリカ社会が多変数分析でないとするとその零一年度は水臭くないけれど宣誓する fact4: その零一年度は宣誓する fact5: そのアメリカ社会は腫れ上がるしまた人間っぽい fact6: このドラムズは水臭い fact7: もしもなにかは宣誓するということはないとするとそれは人間っぽくないし更にそれは多変数分析である fact8: もしもある物が腫れ上がらないとしたら水臭くないか絞れるかまたは両方である fact9: 仮に人間っぽくないものは多変数分析であるとするとそれは腫れ上がるということはない fact10: 合わせ辛いということはない物は宣誓しないがしかしＳＪＩＳだ fact11: 仮にそのアメリカ社会が宣誓しないがしかしそれがＳＪＩＳであるならこのドラムズは宣誓しない fact12: もしもそのアメリカ社会は船付き場であるとしたらそれは湿気る fact13: 「そのアメリカ社会は宣誓する」ということは事実である fact14: そのアメリカ社会が水臭くないとすればこのドラムズは水臭い fact15: 仮になにかは湿気るとするとそれは合わせ辛いということはない fact16: そのアメリカ社会が多変数分析であるということはないとするとその零一年度は宣誓する fact17: もしもとある物が腫れ上がるとするとそれは多変数分析でない fact18: 「その零一年度は水臭くない」ということは確かだとしたら「このドラムズは水臭くないかもしくはそれは絞れる」ということは間違いである ; $hypothesis$ = 「このドラムズは水臭いということはないかそれは絞れる」ということは誤りだ ; $proof$ = 
fact5 -> int1: そのアメリカ社会は腫れ上がる; fact17 -> int2: 仮にそのアメリカ社会が腫れ上がるならそれは多変数分析でない; int1 & int2 -> int3: そのアメリカ社会は多変数分析でない; int3 & fact3 -> int4: その零一年度は水臭くないがしかし宣誓する; int4 -> int5: その零一年度は水臭いということはない; int5 & fact18 -> hypothesis; __PROVED__
事実1: そのアメリカ社会は人間っぽい
事実2: 仮にその零一年度が水臭くないとするとこのドラムズは水臭い
事実3: もしもそのアメリカ社会が多変数分析でないとするとその零一年度は水臭くないけれど宣誓する
事実4: その零一年度は宣誓する
事実5: そのアメリカ社会は腫れ上がるしまた人間っぽい
事実6: このドラムズは水臭い
事実7: もしもなにかは宣誓するということはないとするとそれは人間っぽくないし更にそれは多変数分析である
事実8: もしもある物が腫れ上がらないとしたら水臭くないか絞れるかまたは両方である
事実9: 仮に人間っぽくないものは多変数分析であるとするとそれは腫れ上がるということはない
事実10: 合わせ辛いということはない物は宣誓しないがしかしＳＪＩＳだ
事実11: 仮にそのアメリカ社会が宣誓しないがしかしそれがＳＪＩＳであるならこのドラムズは宣誓しない
事実12: もしもそのアメリカ社会は船付き場であるとしたらそれは湿気る
事実13: 「そのアメリカ社会は宣誓する」ということは事実である
事実14: そのアメリカ社会が水臭くないとすればこのドラムズは水臭い
事実15: 仮になにかは湿気るとするとそれは合わせ辛いということはない
事実16: そのアメリカ社会が多変数分析であるということはないとするとその零一年度は宣誓する
事実17: もしもとある物が腫れ上がるとするとそれは多変数分析でない
事実18: 「その零一年度は水臭くない」ということは確かだとしたら「このドラムズは水臭くないかもしくはそれは絞れる」ということは間違いである

仮説: 「このドラムズは水臭いということはないかそれは絞れる」ということは誤りだ
1. 事実5から、推論1: "そのアメリカ社会は腫れ上がる"が導かれる
2. 事実17から、推論2: "仮にそのアメリカ社会が腫れ上がるならそれは多変数分析でない"が導かれる
3. 推論1と推論2から、推論3: "そのアメリカ社会は多変数分析でない"が導かれる
4. 推論3と事実3から、推論4: "その零一年度は水臭くないがしかし宣誓する"が導かれる
5. 推論4から、推論5: "その零一年度は水臭いということはない"が導かれる
6. 推論5と事実18から、仮説が導かれる

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