この北山田は縋り付かない
fact1: もし仮に何かは狂おしいとしたら「それは昇天しない一方で興奮し易い」ということは誤りだ fact2: もしもあるものは昇天しないとしたら「それは興奮し易くてそれは法的効力でない」ということは誤っている fact3: 「あの文書類は昇天するしそれは狂おしい」ということは事実と異なる fact4: 「この北山田は埃っぽい一方で温くない」ということは誤りだとすればそれはむず痒い fact5: 仮に興奮し易くないものはあるとすると「あの文書類は昇天するが狂おしくない」ということは誤っている fact6: 「「昇天するけれど狂おしくない」ということは正しいということはない」物があるとすればこの北山田は縋り付く fact7: 「発症し易くない」ものはある fact8: もしもこの御姉様は埃っぽいならば「あの顔料は埃っぽくない」ということは成り立つ fact9: 仮にとある物は狂おしいということはないとすれば「あの文書類は昇天するし狂おしい」ということは嘘である fact10: もしも「「狂おしいが縋り付かない」ということは成り立たない」ものがあるとするとこの北山田は昇天する fact11: 「興奮し易い」物はある fact12: むず痒いものは狂おしい fact13: もしとある物はむず痒くないとすれば「それは縋り付くしその上狂おしい」ということは成り立たない fact14: あの顔料は温いししかもビルトインする fact15: 仮に「「とある物は縋り付くし狂おしい」ということは成り立つ」ということは成り立たないならば狂おしくない fact16: この御姉様は埃っぽいかあるいはＸ型でないかまたはどちらもである fact17: 何かは興奮し易くない fact18: あの顔料が埃っぽくないがしかし温いとするとこの北山田はむず痒いということはない fact19: もし仮にこの御姉様がＸ型でないとしたらあの顔料は埃っぽくない
fact17 & fact5 -> int1: 「あの文書類は昇天するけど狂おしくない」ということは事実と異なる; int1 -> int2: 「「昇天するしその上狂おしくない」ということは誤っている」物はある; int2 & fact6 -> hypothesis;
「「あの文書類は興奮し易いけど法的効力でない」ということは真実だ」ということは誤りだ
fact24 -> int3: 「あの文書類は昇天しない」ということは嘘でないなら「それは興奮し易くてさらにそれは法的効力だということはない」ということは偽だ; fact25 -> int4: 「この北山田は縋り付くしおまけに狂おしい」ということは成り立つということはないとしたら狂おしくない; fact27 -> int5: 仮にこの北山田はむず痒くないとすれば「縋り付くししかも狂おしい」ということは本当でない; fact20 & fact28 & fact22 -> int6: あの顔料は埃っぽくない; fact21 -> int7: あの顔料は温い; int6 & int7 -> int8: あの顔料は埃っぽいということはないけれどそれは温い; fact23 & int8 -> int9: この北山田はむず痒くない; int5 & int9 -> int10: 「この北山田は縋り付くしそれに狂おしい」ということは成り立つということはない; int4 & int10 -> int11: この北山田は狂おしくない; int11 -> int12: 「狂おしくない」物はある; int12 & fact26 -> int13: 「あの文書類は昇天するし更に狂おしい」ということは偽である;
$facts$ = fact1: もし仮に何かは狂おしいとしたら「それは昇天しない一方で興奮し易い」ということは誤りだ fact2: もしもあるものは昇天しないとしたら「それは興奮し易くてそれは法的効力でない」ということは誤っている fact3: 「あの文書類は昇天するしそれは狂おしい」ということは事実と異なる fact4: 「この北山田は埃っぽい一方で温くない」ということは誤りだとすればそれはむず痒い fact5: 仮に興奮し易くないものはあるとすると「あの文書類は昇天するが狂おしくない」ということは誤っている fact6: 「「昇天するけれど狂おしくない」ということは正しいということはない」物があるとすればこの北山田は縋り付く fact7: 「発症し易くない」ものはある fact8: もしもこの御姉様は埃っぽいならば「あの顔料は埃っぽくない」ということは成り立つ fact9: 仮にとある物は狂おしいということはないとすれば「あの文書類は昇天するし狂おしい」ということは嘘である fact10: もしも「「狂おしいが縋り付かない」ということは成り立たない」ものがあるとするとこの北山田は昇天する fact11: 「興奮し易い」物はある fact12: むず痒いものは狂おしい fact13: もしとある物はむず痒くないとすれば「それは縋り付くしその上狂おしい」ということは成り立たない fact14: あの顔料は温いししかもビルトインする fact15: 仮に「「とある物は縋り付くし狂おしい」ということは成り立つ」ということは成り立たないならば狂おしくない fact16: この御姉様は埃っぽいかあるいはＸ型でないかまたはどちらもである fact17: 何かは興奮し易くない fact18: あの顔料が埃っぽくないがしかし温いとするとこの北山田はむず痒いということはない fact19: もし仮にこの御姉様がＸ型でないとしたらあの顔料は埃っぽくない ; $hypothesis$ = この北山田は縋り付かない ; $proof$ = 
fact17 & fact5 -> int1: 「あの文書類は昇天するけど狂おしくない」ということは事実と異なる; int1 -> int2: 「「昇天するしその上狂おしくない」ということは誤っている」物はある; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは狂おしいとしたら「それは昇天しない一方で興奮し易い」ということは誤りだ
事実2: もしもあるものは昇天しないとしたら「それは興奮し易くてそれは法的効力でない」ということは誤っている
事実3: 「あの文書類は昇天するしそれは狂おしい」ということは事実と異なる
事実4: 「この北山田は埃っぽい一方で温くない」ということは誤りだとすればそれはむず痒い
事実5: 仮に興奮し易くないものはあるとすると「あの文書類は昇天するが狂おしくない」ということは誤っている
事実6: 「「昇天するけれど狂おしくない」ということは正しいということはない」物があるとすればこの北山田は縋り付く
事実7: 「発症し易くない」ものはある
事実8: もしもこの御姉様は埃っぽいならば「あの顔料は埃っぽくない」ということは成り立つ
事実9: 仮にとある物は狂おしいということはないとすれば「あの文書類は昇天するし狂おしい」ということは嘘である
事実10: もしも「「狂おしいが縋り付かない」ということは成り立たない」ものがあるとするとこの北山田は昇天する
事実11: 「興奮し易い」物はある
事実12: むず痒いものは狂おしい
事実13: もしとある物はむず痒くないとすれば「それは縋り付くしその上狂おしい」ということは成り立たない
事実14: あの顔料は温いししかもビルトインする
事実15: 仮に「「とある物は縋り付くし狂おしい」ということは成り立つ」ということは成り立たないならば狂おしくない
事実16: この御姉様は埃っぽいかあるいはＸ型でないかまたはどちらもである
事実17: 何かは興奮し易くない
事実18: あの顔料が埃っぽくないがしかし温いとするとこの北山田はむず痒いということはない
事実19: もし仮にこの御姉様がＸ型でないとしたらあの顔料は埃っぽくない

仮説: この北山田は縋り付かない
1. 事実17と事実5から、推論1: "「あの文書類は昇天するけど狂おしくない」ということは事実と異なる"が導かれる
2. 推論1から、推論2: "「「昇天するしその上狂おしくない」ということは誤っている」物はある"が導かれる
3. 推論2と事実6から、仮説が否定される

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