「もしも「あの製造者は痩せ細らない」ということは成り立てばこの役民は人らしくないしかつ申告出来ない」ということは成り立たない
fact1: あの製造者は鳴らさない fact2: あの製造者は代行しないとしたら「平べったいし申告出来る」ということは間違っている fact3: もしもそのサインが御出迎えするならその性戯は人らしい fact4: もしもこの航空機産業が御出迎えすればそのサインは御出迎えする fact5: 何かは逆照射するとしたら「それは上昇し易くないし雛鳥であるということはない」ということは間違っている fact6: もし仮にとある物は雛鳥だとすると「人らしいしおまけにそれは代行する」ということは事実と異なる fact7: もしもなにかは代行するとすると申告出来る fact8: もしもなにがしかのものが申告出来るとすればそれは雛鳥だ fact9: 仮にあの製造者は壊れ難くないなら「痩せ細るしおまけに御出迎えする」ということは偽だ fact10: 仮にこの役民が平べったいとするとあの製造者は人らしいということはなくてそれにそれは御出迎えしない fact11: あの百二十三Ｉは壊れ難い fact12: 「その白刃は相手するし更に勇ましい」ということは成り立たない fact13: あの日報は雛鳥でない fact14: あるものは痩せ細らないとしたら「代行するしさらに壊れ難い」ということは事実と異なる fact15: もしその性戯が人らしいならその若上人は痩せ細るかそれは申告出来ないか両方である fact16: その文体は壊れ難くない fact17: もし仮にその若上人が痩せ細るか申告出来るということはないならばその学生一人一人は混じり合わない fact18: この役民は雛鳥であるしおまけに御出迎えする fact19: 「この役民は申告出来るし壊れ難い」ということは本当でない fact20: もしもなにがしかのものが御出迎えするなら人らしいということはなくて平べったい fact21: あの製造者が代行しないならこの役民は申告出来ない fact22: もしも「あの製造者は代行するしかつ壊れ難い」ということは間違っているとしたらこの役民は申告出来ない fact23: 「仮にとあるものは雛鳥だということはないとすると「それは申告出来るし人らしい」ということは偽だ」ということは真実である
fact14 -> int1: あの製造者は痩せ細らないとすると「代行するし壊れ難い」ということは誤っている; void -> assump1: 以下のように仮定する。あの製造者は痩せ細らない; int1 & assump1 -> int2: 「あの製造者は代行するししかも壊れ難い」ということは偽である; int2 & fact22 -> int3: この役民は申告出来るということはない; fact18 -> int4: この役民は御出迎えする; fact20 -> int5: もし仮にこの役民が御出迎えするとすると人らしくないしそれは平べったい; int4 & int5 -> int6: この役民は人らしくないがしかし平べったい; int6 -> int7: この役民は人らしくない; int3 & int7 -> int8: この役民は人らしくないし申告出来るということはない; [assump1] & int8 -> hypothesis;
「この役民は平べったいしさらに混じり合う」ということは嘘である
fact24 -> int9: 「この航空機産業は逆照射しない」ということは成り立たないとすれば「それは上昇し易くないしおまけに雛鳥でない」ということは事実と異なる;
$facts$ = fact1: あの製造者は鳴らさない fact2: あの製造者は代行しないとしたら「平べったいし申告出来る」ということは間違っている fact3: もしもそのサインが御出迎えするならその性戯は人らしい fact4: もしもこの航空機産業が御出迎えすればそのサインは御出迎えする fact5: 何かは逆照射するとしたら「それは上昇し易くないし雛鳥であるということはない」ということは間違っている fact6: もし仮にとある物は雛鳥だとすると「人らしいしおまけにそれは代行する」ということは事実と異なる fact7: もしもなにかは代行するとすると申告出来る fact8: もしもなにがしかのものが申告出来るとすればそれは雛鳥だ fact9: 仮にあの製造者は壊れ難くないなら「痩せ細るしおまけに御出迎えする」ということは偽だ fact10: 仮にこの役民が平べったいとするとあの製造者は人らしいということはなくてそれにそれは御出迎えしない fact11: あの百二十三Ｉは壊れ難い fact12: 「その白刃は相手するし更に勇ましい」ということは成り立たない fact13: あの日報は雛鳥でない fact14: あるものは痩せ細らないとしたら「代行するしさらに壊れ難い」ということは事実と異なる fact15: もしその性戯が人らしいならその若上人は痩せ細るかそれは申告出来ないか両方である fact16: その文体は壊れ難くない fact17: もし仮にその若上人が痩せ細るか申告出来るということはないならばその学生一人一人は混じり合わない fact18: この役民は雛鳥であるしおまけに御出迎えする fact19: 「この役民は申告出来るし壊れ難い」ということは本当でない fact20: もしもなにがしかのものが御出迎えするなら人らしいということはなくて平べったい fact21: あの製造者が代行しないならこの役民は申告出来ない fact22: もしも「あの製造者は代行するしかつ壊れ難い」ということは間違っているとしたらこの役民は申告出来ない fact23: 「仮にとあるものは雛鳥だということはないとすると「それは申告出来るし人らしい」ということは偽だ」ということは真実である ; $hypothesis$ = 「もしも「あの製造者は痩せ細らない」ということは成り立てばこの役民は人らしくないしかつ申告出来ない」ということは成り立たない ; $proof$ = 
fact14 -> int1: あの製造者は痩せ細らないとすると「代行するし壊れ難い」ということは誤っている; void -> assump1: 以下のように仮定する。あの製造者は痩せ細らない; int1 & assump1 -> int2: 「あの製造者は代行するししかも壊れ難い」ということは偽である; int2 & fact22 -> int3: この役民は申告出来るということはない; fact18 -> int4: この役民は御出迎えする; fact20 -> int5: もし仮にこの役民が御出迎えするとすると人らしくないしそれは平べったい; int4 & int5 -> int6: この役民は人らしくないがしかし平べったい; int6 -> int7: この役民は人らしくない; int3 & int7 -> int8: この役民は人らしくないし申告出来るということはない; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: あの製造者は鳴らさない
事実2: あの製造者は代行しないとしたら「平べったいし申告出来る」ということは間違っている
事実3: もしもそのサインが御出迎えするならその性戯は人らしい
事実4: もしもこの航空機産業が御出迎えすればそのサインは御出迎えする
事実5: 何かは逆照射するとしたら「それは上昇し易くないし雛鳥であるということはない」ということは間違っている
事実6: もし仮にとある物は雛鳥だとすると「人らしいしおまけにそれは代行する」ということは事実と異なる
事実7: もしもなにかは代行するとすると申告出来る
事実8: もしもなにがしかのものが申告出来るとすればそれは雛鳥だ
事実9: 仮にあの製造者は壊れ難くないなら「痩せ細るしおまけに御出迎えする」ということは偽だ
事実10: 仮にこの役民が平べったいとするとあの製造者は人らしいということはなくてそれにそれは御出迎えしない
事実11: あの百二十三Ｉは壊れ難い
事実12: 「その白刃は相手するし更に勇ましい」ということは成り立たない
事実13: あの日報は雛鳥でない
事実14: あるものは痩せ細らないとしたら「代行するしさらに壊れ難い」ということは事実と異なる
事実15: もしその性戯が人らしいならその若上人は痩せ細るかそれは申告出来ないか両方である
事実16: その文体は壊れ難くない
事実17: もし仮にその若上人が痩せ細るか申告出来るということはないならばその学生一人一人は混じり合わない
事実18: この役民は雛鳥であるしおまけに御出迎えする
事実19: 「この役民は申告出来るし壊れ難い」ということは本当でない
事実20: もしもなにがしかのものが御出迎えするなら人らしいということはなくて平べったい
事実21: あの製造者が代行しないならこの役民は申告出来ない
事実22: もしも「あの製造者は代行するしかつ壊れ難い」ということは間違っているとしたらこの役民は申告出来ない
事実23: 「仮にとあるものは雛鳥だということはないとすると「それは申告出来るし人らしい」ということは偽だ」ということは真実である

仮説: 「もしも「あの製造者は痩せ細らない」ということは成り立てばこの役民は人らしくないしかつ申告出来ない」ということは成り立たない
1. 事実14から、推論1: "あの製造者は痩せ細らないとすると「代行するし壊れ難い」ということは誤っている"が導かれる
2. 仮定1: 以下のように仮定する。あの製造者は痩せ細らない
3. 推論1と仮定1から、推論2: "「あの製造者は代行するししかも壊れ難い」ということは偽である"が導かれる
4. 推論2と事実22から、推論3: "この役民は申告出来るということはない"が導かれる
5. 事実18から、推論4: "この役民は御出迎えする"が導かれる
6. 事実20から、推論5: "もし仮にこの役民が御出迎えするとすると人らしくないしそれは平べったい"が導かれる
7. 推論4と推論5から、推論6: "この役民は人らしくないがしかし平べったい"が導かれる
8. 推論6から、推論7: "この役民は人らしくない"が導かれる
9. 推論3と推論7から、推論8: "この役民は人らしくないし申告出来るということはない"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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