「「あの気分障害は軍人らしい」ということは確かであるとすればその御利用はインスタントメッセンジャーだ」ということは成り立たない
fact1: その御利用は軍人らしい fact2: その御利用は協力出来る fact3: その御利用が軍人らしいならばあの気分障害はインスタントメッセンジャーである fact4: もし「その御利用は母親らしいけど伸ばし易くない」ということは成り立たないとするとあの気分障害はアルミケースでない fact5: もし何らかのものは生温かくないとしたら「それは母親らしいしそれにそれは伸ばし易くない」ということは成り立たない fact6: もし仮に「あの気分障害は軍人らしい」ということは真実だとするとそれは面倒臭い fact7: あの気分障害が面倒臭いとすればその御利用はインスタントメッセンジャーである fact8: もしも「「その御利用は生温かいけどＲＭでない」ということは成り立つということはない」ということは成り立てばそれは生温かくない fact9: もし仮に「面倒臭くない」ものがあるとしたらあの堅城は軍人らしいしそれにインスタントメッセンジャーだ fact10: もしなんらかの物がアルミケースでないなら面倒臭くなくてしかもそれは強心薬である
void -> assump1: 以下のように仮定する。「あの気分障害は軍人らしい」ということは本当である; fact6 & assump1 -> int1: あの気分障害は面倒臭い; int1 & fact7 -> int2: その御利用はインスタントメッセンジャーだ; [assump1] & int2 -> hypothesis;
あの堅城はインスタントメッセンジャーだ
fact11 -> int3: あの気分障害はアルミケースでないならそれは面倒臭くないがしかし強心薬である; fact14 -> int4: もしもその御利用は生温かくないとすると「それは母親らしいが伸ばし易くない」ということは成り立たない;
$facts$ = fact1: その御利用は軍人らしい fact2: その御利用は協力出来る fact3: その御利用が軍人らしいならばあの気分障害はインスタントメッセンジャーである fact4: もし「その御利用は母親らしいけど伸ばし易くない」ということは成り立たないとするとあの気分障害はアルミケースでない fact5: もし何らかのものは生温かくないとしたら「それは母親らしいしそれにそれは伸ばし易くない」ということは成り立たない fact6: もし仮に「あの気分障害は軍人らしい」ということは真実だとするとそれは面倒臭い fact7: あの気分障害が面倒臭いとすればその御利用はインスタントメッセンジャーである fact8: もしも「「その御利用は生温かいけどＲＭでない」ということは成り立つということはない」ということは成り立てばそれは生温かくない fact9: もし仮に「面倒臭くない」ものがあるとしたらあの堅城は軍人らしいしそれにインスタントメッセンジャーだ fact10: もしなんらかの物がアルミケースでないなら面倒臭くなくてしかもそれは強心薬である ; $hypothesis$ = 「「あの気分障害は軍人らしい」ということは確かであるとすればその御利用はインスタントメッセンジャーだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの気分障害は軍人らしい」ということは本当である; fact6 & assump1 -> int1: あの気分障害は面倒臭い; int1 & fact7 -> int2: その御利用はインスタントメッセンジャーだ; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: その御利用は軍人らしい
事実2: その御利用は協力出来る
事実3: その御利用が軍人らしいならばあの気分障害はインスタントメッセンジャーである
事実4: もし「その御利用は母親らしいけど伸ばし易くない」ということは成り立たないとするとあの気分障害はアルミケースでない
事実5: もし何らかのものは生温かくないとしたら「それは母親らしいしそれにそれは伸ばし易くない」ということは成り立たない
事実6: もし仮に「あの気分障害は軍人らしい」ということは真実だとするとそれは面倒臭い
事実7: あの気分障害が面倒臭いとすればその御利用はインスタントメッセンジャーである
事実8: もしも「「その御利用は生温かいけどＲＭでない」ということは成り立つということはない」ということは成り立てばそれは生温かくない
事実9: もし仮に「面倒臭くない」ものがあるとしたらあの堅城は軍人らしいしそれにインスタントメッセンジャーだ
事実10: もしなんらかの物がアルミケースでないなら面倒臭くなくてしかもそれは強心薬である

仮説: 「「あの気分障害は軍人らしい」ということは確かであるとすればその御利用はインスタントメッセンジャーだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。「あの気分障害は軍人らしい」ということは本当である
2. 事実6と仮定1から、推論1: "あの気分障害は面倒臭い"が導かれる
3. 推論1と事実7から、推論2: "その御利用はインスタントメッセンジャーだ"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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