「あの腹膜は防衛でない一方でそれは機首だ」ということは偽である
fact1: もしあの腹膜が全自動であるし加えて御寒いとするとこの温和は恫喝しない fact2: あの腹膜は機首だ fact3: もし「なにがしかの物は全自動でない」ということは真実だとしたら「それは防衛でなくてそれは機首である」ということは誤りである fact4: この温和は恫喝する fact5: あの腹膜は全自動である fact6: 御寒くないものは把握し難いけれど弾き易くない fact7: 把握し難い物は弾き易いということはないならば「それは防衛でない」ということは成り立つ fact8: この温和は全自動である fact9: もし仮に行政施策は助け手でないとすれば「それは御寒くない」ということは成り立つ fact10: 弾き易い物は恫喝する fact11: その同一銘柄株式等は恫喝する
void -> assump1: 以下のように仮定する。「あの腹膜は御寒い」ということは正しい; fact5 & assump1 -> int1: あの腹膜は全自動であるしそれに御寒い; int1 & fact1 -> int2: この温和は恫喝しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの腹膜は御寒くない; fact6 -> int5: もしも「あの腹膜は御寒くない」ということは嘘でないとすると把握し難いしそれに弾き易くない; int4 & int5 -> int6: あの腹膜は把握し難い一方で弾き易いということはない; fact7 -> int7: もしあの腹膜は把握し難いが弾き易くないなら防衛でない; int6 & int7 -> int8: あの腹膜は防衛でない; int8 & fact2 -> hypothesis;
「あの腹膜は防衛でないが機首だ」ということは誤っている
fact13 -> int9: 仮にあの腹膜は全自動でないならば「それは防衛でないが機首である」ということは偽である; fact12 -> int10: 仮にあの腹膜が弾き易いとすれば恫喝する;
$facts$ = fact1: もしあの腹膜が全自動であるし加えて御寒いとするとこの温和は恫喝しない fact2: あの腹膜は機首だ fact3: もし「なにがしかの物は全自動でない」ということは真実だとしたら「それは防衛でなくてそれは機首である」ということは誤りである fact4: この温和は恫喝する fact5: あの腹膜は全自動である fact6: 御寒くないものは把握し難いけれど弾き易くない fact7: 把握し難い物は弾き易いということはないならば「それは防衛でない」ということは成り立つ fact8: この温和は全自動である fact9: もし仮に行政施策は助け手でないとすれば「それは御寒くない」ということは成り立つ fact10: 弾き易い物は恫喝する fact11: その同一銘柄株式等は恫喝する ; $hypothesis$ = 「あの腹膜は防衛でない一方でそれは機首だ」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの腹膜は御寒い」ということは正しい; fact5 & assump1 -> int1: あの腹膜は全自動であるしそれに御寒い; int1 & fact1 -> int2: この温和は恫喝しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの腹膜は御寒くない; fact6 -> int5: もしも「あの腹膜は御寒くない」ということは嘘でないとすると把握し難いしそれに弾き易くない; int4 & int5 -> int6: あの腹膜は把握し難い一方で弾き易いということはない; fact7 -> int7: もしあの腹膜は把握し難いが弾き易くないなら防衛でない; int6 & int7 -> int8: あの腹膜は防衛でない; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: もしあの腹膜が全自動であるし加えて御寒いとするとこの温和は恫喝しない
事実2: あの腹膜は機首だ
事実3: もし「なにがしかの物は全自動でない」ということは真実だとしたら「それは防衛でなくてそれは機首である」ということは誤りである
事実4: この温和は恫喝する
事実5: あの腹膜は全自動である
事実6: 御寒くないものは把握し難いけれど弾き易くない
事実7: 把握し難い物は弾き易いということはないならば「それは防衛でない」ということは成り立つ
事実8: この温和は全自動である
事実9: もし仮に行政施策は助け手でないとすれば「それは御寒くない」ということは成り立つ
事実10: 弾き易い物は恫喝する
事実11: その同一銘柄株式等は恫喝する

仮説: 「あの腹膜は防衛でない一方でそれは機首だ」ということは偽である
1. 仮定1: 以下のように仮定する。「あの腹膜は御寒い」ということは正しい
2. 事実5と仮定1から、推論1: "あの腹膜は全自動であるしそれに御寒い"が導かれる
3. 推論1と事実1から、推論2: "この温和は恫喝しない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの腹膜は御寒くない"が導かれる
6. 事実6から、推論5: "もしも「あの腹膜は御寒くない」ということは嘘でないとすると把握し難いしそれに弾き易くない"が導かれる
7. 推論4と推論5から、推論6: "あの腹膜は把握し難い一方で弾き易いということはない"が導かれる
8. 事実7から、推論7: "もしあの腹膜は把握し難いが弾き易くないなら防衛でない"が導かれる
9. 推論6と推論7から、推論8: "あの腹膜は防衛でない"が導かれる
10. 推論8と事実2から、仮説が否定される

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