この滴下はあぐねない
fact1: 御早くないものは下茹でしないし加えて立ち為さらない fact2: この滴下は下茹でする fact3: 「あの拙著は実力以上でない」ということは確かだ fact4: もしも「このハーレムは悲しか下茹でするかもしくは両方ともだ」ということは成り立たないならその多毛は若者らしい fact5: 「その多毛は公演するし加えてめでたい」ということは誤りだ fact6: もしも「「ある物は実力以上だということはないけれど御早い」ということは真実だ」ということは成り立たないとすれば御早いということはない fact7: 「その多毛は飛脚屋でないしそれに御早くない」ということは本当でない fact8: もし仮にこのハーレムが下茹でするということはないとすればそれはめでたくない fact9: もし仮にその多毛が悲しかもしくはあぐねるかあるいはどちらもであるならばそのエネルギー供給はあぐねない fact10: 仮にその多毛は公演しないなら「それは実力以上でない」ということは正しい fact11: この滴下は手早いということはなくて巡回しない fact12: もしもその多毛が御早いならばこの滴下はあぐねる fact13: この滴下は若者らしくない fact14: 「その多毛はしゃあ無くて加えて値上げする」ということは間違っている fact15: 「もしも「このハーレムは悲しないかあるいは下茹でするかあるいは両方である」ということは成り立たないとするとその多毛は若者らしい」ということは真実である fact16: その多毛は若者らしいなら「それは実力以上でないし御早くない」ということは偽である fact17: このハーレムは悲し fact18: 「このハーレムは悲しないかそれは下茹でするかどちらもだ」ということは嘘である fact19: もし「その多毛は公演するし加えてめでたい」ということは確かでないとしたら実力以上でない
fact19 & fact5 -> int1: その多毛は実力以上でない; void -> assump1: 以下のように仮定する。その多毛は御早くない; int1 & assump1 -> int2: その多毛は実力以上でないしそれに御早くない; fact18 & fact15 -> int3: その多毛は若者らしい; fact16 & int3 -> int4: 「その多毛は実力以上でなくてかつ御早くない」ということは事実でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その多毛は御早い; int6 & fact12 -> hypothesis;
そのエネルギー供給は下茹でするということはなくておまけに立ち為さらない
fact22 -> int7: そのエネルギー供給が御早いということはないとすればそれは下茹でするということはないしおまけに立ち為さらない; fact20 -> int8: もしも「そのエネルギー供給は実力以上だということはないが御早い」ということは間違いであるなら御早いということはない;
$facts$ = fact1: 御早くないものは下茹でしないし加えて立ち為さらない fact2: この滴下は下茹でする fact3: 「あの拙著は実力以上でない」ということは確かだ fact4: もしも「このハーレムは悲しか下茹でするかもしくは両方ともだ」ということは成り立たないならその多毛は若者らしい fact5: 「その多毛は公演するし加えてめでたい」ということは誤りだ fact6: もしも「「ある物は実力以上だということはないけれど御早い」ということは真実だ」ということは成り立たないとすれば御早いということはない fact7: 「その多毛は飛脚屋でないしそれに御早くない」ということは本当でない fact8: もし仮にこのハーレムが下茹でするということはないとすればそれはめでたくない fact9: もし仮にその多毛が悲しかもしくはあぐねるかあるいはどちらもであるならばそのエネルギー供給はあぐねない fact10: 仮にその多毛は公演しないなら「それは実力以上でない」ということは正しい fact11: この滴下は手早いということはなくて巡回しない fact12: もしもその多毛が御早いならばこの滴下はあぐねる fact13: この滴下は若者らしくない fact14: 「その多毛はしゃあ無くて加えて値上げする」ということは間違っている fact15: 「もしも「このハーレムは悲しないかあるいは下茹でするかあるいは両方である」ということは成り立たないとするとその多毛は若者らしい」ということは真実である fact16: その多毛は若者らしいなら「それは実力以上でないし御早くない」ということは偽である fact17: このハーレムは悲し fact18: 「このハーレムは悲しないかそれは下茹でするかどちらもだ」ということは嘘である fact19: もし「その多毛は公演するし加えてめでたい」ということは確かでないとしたら実力以上でない ; $hypothesis$ = この滴下はあぐねない ; $proof$ = 
fact19 & fact5 -> int1: その多毛は実力以上でない; void -> assump1: 以下のように仮定する。その多毛は御早くない; int1 & assump1 -> int2: その多毛は実力以上でないしそれに御早くない; fact18 & fact15 -> int3: その多毛は若者らしい; fact16 & int3 -> int4: 「その多毛は実力以上でなくてかつ御早くない」ということは事実でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その多毛は御早い; int6 & fact12 -> hypothesis; __DISPROVED__
事実1: 御早くないものは下茹でしないし加えて立ち為さらない
事実2: この滴下は下茹でする
事実3: 「あの拙著は実力以上でない」ということは確かだ
事実4: もしも「このハーレムは悲しか下茹でするかもしくは両方ともだ」ということは成り立たないならその多毛は若者らしい
事実5: 「その多毛は公演するし加えてめでたい」ということは誤りだ
事実6: もしも「「ある物は実力以上だということはないけれど御早い」ということは真実だ」ということは成り立たないとすれば御早いということはない
事実7: 「その多毛は飛脚屋でないしそれに御早くない」ということは本当でない
事実8: もし仮にこのハーレムが下茹でするということはないとすればそれはめでたくない
事実9: もし仮にその多毛が悲しかもしくはあぐねるかあるいはどちらもであるならばそのエネルギー供給はあぐねない
事実10: 仮にその多毛は公演しないなら「それは実力以上でない」ということは正しい
事実11: この滴下は手早いということはなくて巡回しない
事実12: もしもその多毛が御早いならばこの滴下はあぐねる
事実13: この滴下は若者らしくない
事実14: 「その多毛はしゃあ無くて加えて値上げする」ということは間違っている
事実15: 「もしも「このハーレムは悲しないかあるいは下茹でするかあるいは両方である」ということは成り立たないとするとその多毛は若者らしい」ということは真実である
事実16: その多毛は若者らしいなら「それは実力以上でないし御早くない」ということは偽である
事実17: このハーレムは悲し
事実18: 「このハーレムは悲しないかそれは下茹でするかどちらもだ」ということは嘘である
事実19: もし「その多毛は公演するし加えてめでたい」ということは確かでないとしたら実力以上でない

仮説: この滴下はあぐねない
1. 事実19と事実5から、推論1: "その多毛は実力以上でない"が導かれる
2. 仮定1: 以下のように仮定する。その多毛は御早くない
3. 推論1と仮定1から、推論2: "その多毛は実力以上でないしそれに御早くない"が導かれる
4. 事実18と事実15から、推論3: "その多毛は若者らしい"が導かれる
5. 事実16と推論3から、推論4: "「その多毛は実力以上でなくてかつ御早くない」ということは事実でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その多毛は御早い"が導かれる
8. 推論6と事実12から、仮説が否定される

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