「仮にあのＲＣサーボモータが体現するとすればあの白銀は郷土料理だ」ということは間違いである
fact1: 「もし仮にとある物は布切れであるならば「それは無し瓜でなくて奥床しくない」ということは間違っている」ということは真実だ fact2: 「もし仮にあのＲＣサーボモータが体現するならあのＲＣサーボモータは迎え角αＳだ」ということは事実である fact3: もしあの白銀が押し頂くなら直観する fact4: もし仮にこの悪性貧血は改名するかもしくは授業しないならそれは布切れだ fact5: もしもあのＲＣサーボモータは迎え角αＳなら「あの白銀は郷土料理だ」ということは成り立つ fact6: 仮にあの白銀が郷土料理ならば体現する fact7: この悪性貧血は改名するかまたは授業するということはないかまたは両方だ fact8: もしも何かは嬲らないかあるいは小煩いかまたは両方であるとすると興奮し易くない fact9: もし仮にあのＲＣサーボモータが郷土料理であるとすればあの白銀は迎え角αＳだ fact10: 仮に「何らかのものは無し瓜でないし奥床しいということはない」ということは成り立つということはないとしたら見過ごし難くない fact11: もしもこの悪性貧血が布切れであるとしたらあの白銀は布切れである fact12: 「見過ごし難くないものは程遠くない」ということは成り立つ fact13: もし仮にあの白銀が程遠くないとすればあのＲＣサーボモータは嬲らないかまたは小煩いかまたは両方ともである fact14: もしあの白銀が郷土料理だとするとそれは無し瓜である fact15: 興奮し易いということはない物は郷土料理であるか迎え角αＳであるかまたは両方である
void -> assump1: 以下のように仮定する。「あのＲＣサーボモータは体現する」ということは正しい; fact2 & assump1 -> int1: あのＲＣサーボモータは迎え角αＳである; int1 & fact5 -> int2: あの白銀は郷土料理である; [assump1] & int2 -> hypothesis;
このＨＲＱＯＬは体現する
fact18 -> int3: もし「あのＲＣサーボモータは興奮し易い」ということは本当でないならば郷土料理であるかまたは迎え角αＳであるかあるいはどちらもだ; fact20 -> int4: もしもあのＲＣサーボモータが嬲らないかあるいはそれは小煩いかまたは両方ならばそれは興奮し易くない; fact19 -> int5: 仮にあの白銀が見過ごし難いということはないとしたらそれは程遠くない; fact21 -> int6: 仮に「あの白銀は無し瓜だということはなくてそれに奥床しくない」ということは偽であるならば「見過ごし難いということはない」ということは成り立つ; fact24 -> int7: もしあの白銀は布切れであるならば「それは無し瓜でないししかも奥床しくない」ということは成り立たない; fact17 & fact16 -> int8: この悪性貧血は布切れだ; fact23 & int8 -> int9: あの白銀は布切れである; int7 & int9 -> int10: 「あの白銀は無し瓜でないし加えて奥床しくない」ということは真実でない; int6 & int10 -> int11: あの白銀は見過ごし難くない; int5 & int11 -> int12: あの白銀は程遠くない; fact22 & int12 -> int13: あのＲＣサーボモータは嬲らないかあるいは小煩いかもしくはどちらもである; int4 & int13 -> int14: あのＲＣサーボモータは興奮し易くない; int3 & int14 -> int15: あのＲＣサーボモータは郷土料理であるかあるいはそれは迎え角αＳであるかまたは両方である;
$facts$ = fact1: 「もし仮にとある物は布切れであるならば「それは無し瓜でなくて奥床しくない」ということは間違っている」ということは真実だ fact2: 「もし仮にあのＲＣサーボモータが体現するならあのＲＣサーボモータは迎え角αＳだ」ということは事実である fact3: もしあの白銀が押し頂くなら直観する fact4: もし仮にこの悪性貧血は改名するかもしくは授業しないならそれは布切れだ fact5: もしもあのＲＣサーボモータは迎え角αＳなら「あの白銀は郷土料理だ」ということは成り立つ fact6: 仮にあの白銀が郷土料理ならば体現する fact7: この悪性貧血は改名するかまたは授業するということはないかまたは両方だ fact8: もしも何かは嬲らないかあるいは小煩いかまたは両方であるとすると興奮し易くない fact9: もし仮にあのＲＣサーボモータが郷土料理であるとすればあの白銀は迎え角αＳだ fact10: 仮に「何らかのものは無し瓜でないし奥床しいということはない」ということは成り立つということはないとしたら見過ごし難くない fact11: もしもこの悪性貧血が布切れであるとしたらあの白銀は布切れである fact12: 「見過ごし難くないものは程遠くない」ということは成り立つ fact13: もし仮にあの白銀が程遠くないとすればあのＲＣサーボモータは嬲らないかまたは小煩いかまたは両方ともである fact14: もしあの白銀が郷土料理だとするとそれは無し瓜である fact15: 興奮し易いということはない物は郷土料理であるか迎え角αＳであるかまたは両方である ; $hypothesis$ = 「仮にあのＲＣサーボモータが体現するとすればあの白銀は郷土料理だ」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのＲＣサーボモータは体現する」ということは正しい; fact2 & assump1 -> int1: あのＲＣサーボモータは迎え角αＳである; int1 & fact5 -> int2: あの白銀は郷土料理である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 「もし仮にとある物は布切れであるならば「それは無し瓜でなくて奥床しくない」ということは間違っている」ということは真実だ
事実2: 「もし仮にあのＲＣサーボモータが体現するならあのＲＣサーボモータは迎え角αＳだ」ということは事実である
事実3: もしあの白銀が押し頂くなら直観する
事実4: もし仮にこの悪性貧血は改名するかもしくは授業しないならそれは布切れだ
事実5: もしもあのＲＣサーボモータは迎え角αＳなら「あの白銀は郷土料理だ」ということは成り立つ
事実6: 仮にあの白銀が郷土料理ならば体現する
事実7: この悪性貧血は改名するかまたは授業するということはないかまたは両方だ
事実8: もしも何かは嬲らないかあるいは小煩いかまたは両方であるとすると興奮し易くない
事実9: もし仮にあのＲＣサーボモータが郷土料理であるとすればあの白銀は迎え角αＳだ
事実10: 仮に「何らかのものは無し瓜でないし奥床しいということはない」ということは成り立つということはないとしたら見過ごし難くない
事実11: もしもこの悪性貧血が布切れであるとしたらあの白銀は布切れである
事実12: 「見過ごし難くないものは程遠くない」ということは成り立つ
事実13: もし仮にあの白銀が程遠くないとすればあのＲＣサーボモータは嬲らないかまたは小煩いかまたは両方ともである
事実14: もしあの白銀が郷土料理だとするとそれは無し瓜である
事実15: 興奮し易いということはない物は郷土料理であるか迎え角αＳであるかまたは両方である

仮説: 「仮にあのＲＣサーボモータが体現するとすればあの白銀は郷土料理だ」ということは間違いである
1. 仮定1: 以下のように仮定する。「あのＲＣサーボモータは体現する」ということは正しい
2. 事実2と仮定1から、推論1: "あのＲＣサーボモータは迎え角αＳである"が導かれる
3. 推論1と事実5から、推論2: "あの白銀は郷土料理である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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