「あの使われ方は主要部位だ」ということは確かだ
fact1: その同盟会が倒れ難いが手酷くないならあの使われ方は主要部位でない fact2: もしも「何らかのものは再就職でないしその上灰色っぽくない」ということは真実でないとすると主要部位である fact3: 再就職は灰色っぽくないがしかし主要部位だ fact4: もし仮にあの使われ方が主要部位だけどそれが倒れ難くないとすればあの同盟会は手酷くない fact5: 仮に何かは政策問題だということはないとしたら睨み返すかＶＨＳである fact6: あの使われ方は正しい一方で定めない fact7: 「あの使われ方は睨み返すということはないし加えてそれはＶＨＳでない」ということは確かでない fact8: もしもその同盟会が脱会する一方でそれは回線交換モードでないならばそれは政策問題でない fact9: その同盟会は倒れ難いが主要部位でない fact10: あの使われ方は基本語順でない fact11: その同盟会は倒れ難い fact12: その同盟会は倒れ難い一方でそれは手酷くない fact13: その同盟会は脱会するがそれは回線交換モードでない
fact1 & fact12 -> hypothesis;
fact1 & fact12 -> hypothesis;
あの使われ方は主要部位だ
fact16 -> int1: もし「「あの使われ方は再就職でないしおまけに灰色っぽくない」ということは間違いである」ということは真実ならそれは主要部位である; fact15 -> int2: もしその同盟会が政策問題でないとすれば睨み返すかもしくはＶＨＳだ; fact14 & fact17 -> int3: その同盟会は政策問題でない; int2 & int3 -> int4: その同盟会は睨み返すかまたはＶＨＳであるかあるいはどちらもである;
$facts$ = fact1: その同盟会が倒れ難いが手酷くないならあの使われ方は主要部位でない fact2: もしも「何らかのものは再就職でないしその上灰色っぽくない」ということは真実でないとすると主要部位である fact3: 再就職は灰色っぽくないがしかし主要部位だ fact4: もし仮にあの使われ方が主要部位だけどそれが倒れ難くないとすればあの同盟会は手酷くない fact5: 仮に何かは政策問題だということはないとしたら睨み返すかＶＨＳである fact6: あの使われ方は正しい一方で定めない fact7: 「あの使われ方は睨み返すということはないし加えてそれはＶＨＳでない」ということは確かでない fact8: もしもその同盟会が脱会する一方でそれは回線交換モードでないならばそれは政策問題でない fact9: その同盟会は倒れ難いが主要部位でない fact10: あの使われ方は基本語順でない fact11: その同盟会は倒れ難い fact12: その同盟会は倒れ難い一方でそれは手酷くない fact13: その同盟会は脱会するがそれは回線交換モードでない ; $hypothesis$ = 「あの使われ方は主要部位だ」ということは確かだ ; $proof$ = 
fact1 & fact12 -> hypothesis; __DISPROVED__
事実1: その同盟会が倒れ難いが手酷くないならあの使われ方は主要部位でない
事実2: もしも「何らかのものは再就職でないしその上灰色っぽくない」ということは真実でないとすると主要部位である
事実3: 再就職は灰色っぽくないがしかし主要部位だ
事実4: もし仮にあの使われ方が主要部位だけどそれが倒れ難くないとすればあの同盟会は手酷くない
事実5: 仮に何かは政策問題だということはないとしたら睨み返すかＶＨＳである
事実6: あの使われ方は正しい一方で定めない
事実7: 「あの使われ方は睨み返すということはないし加えてそれはＶＨＳでない」ということは確かでない
事実8: もしもその同盟会が脱会する一方でそれは回線交換モードでないならばそれは政策問題でない
事実9: その同盟会は倒れ難いが主要部位でない
事実10: あの使われ方は基本語順でない
事実11: その同盟会は倒れ難い
事実12: その同盟会は倒れ難い一方でそれは手酷くない
事実13: その同盟会は脱会するがそれは回線交換モードでない

仮説: 「あの使われ方は主要部位だ」ということは確かだ
1. 事実1と事実12から、仮説が否定される

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