「その移動キャラは陥り易い」ということは確かである
fact1: もし「騙され易い」物はあるとすれば「その移動キャラは挟撃しないしかつ騙され易くない」ということは成り立たない fact2: 仮に「その親兄弟は仕事しない」ということは真実だとするとあの学校選択制は騙され易いししかも乾癬である fact3: もしあるものが返りらしくないなら陥り易い fact4: ある物が自然農法でないとすればそれはネイルサロンでないか返りらしくないかどちらもだ fact5: その移動キャラは陥り易い fact6: もし「とあるものは挟撃しないし騙され易いということはない」ということは嘘であるとすると挟撃する fact7: その移動キャラは人物画だ fact8: 「その事業単位は陥り易い」ということは正しい fact9: もし仮に「あるものは小汚くない一方でそれは大反対する」ということは事実でないならばそれは自然農法でない fact10: もし「あの石頭はめんどくないかもしくはそれは仕事する」ということは誤りであるなら「その親兄弟は仕事しない」ということは成り立つ fact11: 「その移動キャラは却ってする」ということは嘘でない fact12: 「その一昨は陥り易い」ということは成り立つ fact13: あの石頭は拉するがそれはねちっこくない fact14: もし仮にとある物がネイルサロンでないとすればそれは陥り易い fact15: 仮にその移動キャラはごっついとすると「この火山弾は小汚くないが大反対する」ということは成り立たない fact16: もし「とある物は挟撃する」ということは嘘でないとすればそれはごっつい fact17: もし「あの石頭は立ち戻る」ということは本当なら「めんどくないか仕事するかまたはどちらもである」ということは嘘だ fact18: その粕取り雑誌は陥り易い fact19: あの石頭は拉するがしかしねちっこいということはないとすればマッカーサー司令部である fact20: 「その移動キャラは引き出す」ということは本当だ fact21: マッカーサー司令部は立ち戻る
fact5 -> hypothesis;
この火山弾は陥り易い
fact32 -> int1: もしもこの火山弾が自然農法でないとするとそれはネイルサロンでないかもしくは返りらしくないかまたは両方だ; fact35 -> int2: 「「この火山弾は小汚くないがそれは大反対する」ということは成り立つ」ということは成り立たないならば自然農法でない; fact31 -> int3: その移動キャラが挟撃するとしたらごっつい; fact22 -> int4: もし「「その移動キャラは挟撃しないし騙され易くない」ということは成り立つ」ということは事実と異なるとすれば挟撃する; fact33 -> int5: あの石頭はマッカーサー司令部ならば「立ち戻る」ということは成り立つ; fact29 & fact34 -> int6: あの石頭はマッカーサー司令部だ; int5 & int6 -> int7: あの石頭は立ち戻る; fact24 & int7 -> int8: 「あの石頭はめんどくないかもしくは仕事するかまたは両方だ」ということは誤っている; fact27 & int8 -> int9: その親兄弟は仕事しない; fact23 & int9 -> int10: あの学校選択制は騙され易いししかもそれは乾癬だ; int10 -> int11: あの学校選択制は騙され易い; int11 -> int12: なんらかの物は騙され易い; int12 & fact26 -> int13: 「その移動キャラは挟撃しなくてしかも騙され易くない」ということは誤りだ; int4 & int13 -> int14: その移動キャラは挟撃する; int3 & int14 -> int15: その移動キャラはごっつい; fact28 & int15 -> int16: 「この火山弾は小汚くないがしかしそれは大反対する」ということは間違っている; int2 & int16 -> int17: この火山弾は自然農法でない; int1 & int17 -> int18: この火山弾はネイルサロンでないかもしくはそれは返りらしくないかもしくは両方である; fact30 -> int19: もし仮にこの火山弾がネイルサロンでないとすればそれは陥り易い; fact25 -> int20: もしもこの火山弾は返りらしくないなら「それは陥り易い」ということは成り立つ; int18 & int19 & int20 -> hypothesis;
$facts$ = fact1: もし「騙され易い」物はあるとすれば「その移動キャラは挟撃しないしかつ騙され易くない」ということは成り立たない fact2: 仮に「その親兄弟は仕事しない」ということは真実だとするとあの学校選択制は騙され易いししかも乾癬である fact3: もしあるものが返りらしくないなら陥り易い fact4: ある物が自然農法でないとすればそれはネイルサロンでないか返りらしくないかどちらもだ fact5: その移動キャラは陥り易い fact6: もし「とあるものは挟撃しないし騙され易いということはない」ということは嘘であるとすると挟撃する fact7: その移動キャラは人物画だ fact8: 「その事業単位は陥り易い」ということは正しい fact9: もし仮に「あるものは小汚くない一方でそれは大反対する」ということは事実でないならばそれは自然農法でない fact10: もし「あの石頭はめんどくないかもしくはそれは仕事する」ということは誤りであるなら「その親兄弟は仕事しない」ということは成り立つ fact11: 「その移動キャラは却ってする」ということは嘘でない fact12: 「その一昨は陥り易い」ということは成り立つ fact13: あの石頭は拉するがそれはねちっこくない fact14: もし仮にとある物がネイルサロンでないとすればそれは陥り易い fact15: 仮にその移動キャラはごっついとすると「この火山弾は小汚くないが大反対する」ということは成り立たない fact16: もし「とある物は挟撃する」ということは嘘でないとすればそれはごっつい fact17: もし「あの石頭は立ち戻る」ということは本当なら「めんどくないか仕事するかまたはどちらもである」ということは嘘だ fact18: その粕取り雑誌は陥り易い fact19: あの石頭は拉するがしかしねちっこいということはないとすればマッカーサー司令部である fact20: 「その移動キャラは引き出す」ということは本当だ fact21: マッカーサー司令部は立ち戻る ; $hypothesis$ = 「その移動キャラは陥り易い」ということは確かである ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし「騙され易い」物はあるとすれば「その移動キャラは挟撃しないしかつ騙され易くない」ということは成り立たない
事実2: 仮に「その親兄弟は仕事しない」ということは真実だとするとあの学校選択制は騙され易いししかも乾癬である
事実3: もしあるものが返りらしくないなら陥り易い
事実4: ある物が自然農法でないとすればそれはネイルサロンでないか返りらしくないかどちらもだ
事実5: その移動キャラは陥り易い
事実6: もし「とあるものは挟撃しないし騙され易いということはない」ということは嘘であるとすると挟撃する
事実7: その移動キャラは人物画だ
事実8: 「その事業単位は陥り易い」ということは正しい
事実9: もし仮に「あるものは小汚くない一方でそれは大反対する」ということは事実でないならばそれは自然農法でない
事実10: もし「あの石頭はめんどくないかもしくはそれは仕事する」ということは誤りであるなら「その親兄弟は仕事しない」ということは成り立つ
事実11: 「その移動キャラは却ってする」ということは嘘でない
事実12: 「その一昨は陥り易い」ということは成り立つ
事実13: あの石頭は拉するがそれはねちっこくない
事実14: もし仮にとある物がネイルサロンでないとすればそれは陥り易い
事実15: 仮にその移動キャラはごっついとすると「この火山弾は小汚くないが大反対する」ということは成り立たない
事実16: もし「とある物は挟撃する」ということは嘘でないとすればそれはごっつい
事実17: もし「あの石頭は立ち戻る」ということは本当なら「めんどくないか仕事するかまたはどちらもである」ということは嘘だ
事実18: その粕取り雑誌は陥り易い
事実19: あの石頭は拉するがしかしねちっこいということはないとすればマッカーサー司令部である
事実20: 「その移動キャラは引き出す」ということは本当だ
事実21: マッカーサー司令部は立ち戻る

仮説: 「その移動キャラは陥り易い」ということは確かである
1. 事実5から、仮説が導かれる

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