このターボは大事さでない
fact1: 洒落臭いものは金工師でない fact2: 仮にあのモーラ基準は金工師でないなら「あのいざこざはアクセスし易くないしそれは分かり難くない」ということは成り立たない fact3: あらゆる物は百姓らしい fact4: もしもなんらかの物が吊り易いとすればそれは告る fact5: あのいざこざは洒落臭い fact6: もしもあのモーラ基準は金工師でないとしたら「あのいざこざはアクセスし易いがしかし分かり難くない」ということは誤りだ fact7: 仮に何らかの物が告るとすると洒落臭い fact8: もしこの決定等が百姓らしいけど聡いということはないならあのモーラ基準は吊り易い fact9: すべてのものは百姓らしいしおまけに聡くない fact10: もしも「あのいざこざはアクセスし易くないし分かり難くない」ということは誤っているとすればこのターボは大事さでない
fact9 -> int1: この決定等は百姓らしいがしかし聡くない; int1 & fact8 -> int2: あのモーラ基準は吊り易い; fact4 -> int3: もしあのモーラ基準が吊り易いとすれば告る; int2 & int3 -> int4: 「あのモーラ基準は告る」ということは間違いでない; fact7 -> int5: もし「あのモーラ基準は告る」ということは確かなら「それは洒落臭くない」ということは誤りである; int4 & int5 -> int6: あのモーラ基準は洒落臭い; fact1 -> int7: もしあのモーラ基準が洒落臭いとするとそれは金工師でない; int6 & int7 -> int8: あのモーラ基準は金工師でない; int8 & fact2 -> int9: 「あのいざこざはアクセスし易くないしその上分かり難くない」ということは間違っている; int9 & fact10 -> hypothesis;
$facts$ = fact1: 洒落臭いものは金工師でない fact2: 仮にあのモーラ基準は金工師でないなら「あのいざこざはアクセスし易くないしそれは分かり難くない」ということは成り立たない fact3: あらゆる物は百姓らしい fact4: もしもなんらかの物が吊り易いとすればそれは告る fact5: あのいざこざは洒落臭い fact6: もしもあのモーラ基準は金工師でないとしたら「あのいざこざはアクセスし易いがしかし分かり難くない」ということは誤りだ fact7: 仮に何らかの物が告るとすると洒落臭い fact8: もしこの決定等が百姓らしいけど聡いということはないならあのモーラ基準は吊り易い fact9: すべてのものは百姓らしいしおまけに聡くない fact10: もしも「あのいざこざはアクセスし易くないし分かり難くない」ということは誤っているとすればこのターボは大事さでない ; $hypothesis$ = このターボは大事さでない ; $proof$ = 
fact9 -> int1: この決定等は百姓らしいがしかし聡くない; int1 & fact8 -> int2: あのモーラ基準は吊り易い; fact4 -> int3: もしあのモーラ基準が吊り易いとすれば告る; int2 & int3 -> int4: 「あのモーラ基準は告る」ということは間違いでない; fact7 -> int5: もし「あのモーラ基準は告る」ということは確かなら「それは洒落臭くない」ということは誤りである; int4 & int5 -> int6: あのモーラ基準は洒落臭い; fact1 -> int7: もしあのモーラ基準が洒落臭いとするとそれは金工師でない; int6 & int7 -> int8: あのモーラ基準は金工師でない; int8 & fact2 -> int9: 「あのいざこざはアクセスし易くないしその上分かり難くない」ということは間違っている; int9 & fact10 -> hypothesis; __PROVED__
事実1: 洒落臭いものは金工師でない
事実2: 仮にあのモーラ基準は金工師でないなら「あのいざこざはアクセスし易くないしそれは分かり難くない」ということは成り立たない
事実3: あらゆる物は百姓らしい
事実4: もしもなんらかの物が吊り易いとすればそれは告る
事実5: あのいざこざは洒落臭い
事実6: もしもあのモーラ基準は金工師でないとしたら「あのいざこざはアクセスし易いがしかし分かり難くない」ということは誤りだ
事実7: 仮に何らかの物が告るとすると洒落臭い
事実8: もしこの決定等が百姓らしいけど聡いということはないならあのモーラ基準は吊り易い
事実9: すべてのものは百姓らしいしおまけに聡くない
事実10: もしも「あのいざこざはアクセスし易くないし分かり難くない」ということは誤っているとすればこのターボは大事さでない

仮説: このターボは大事さでない
1. 事実9から、推論1: "この決定等は百姓らしいがしかし聡くない"が導かれる
2. 推論1と事実8から、推論2: "あのモーラ基準は吊り易い"が導かれる
3. 事実4から、推論3: "もしあのモーラ基準が吊り易いとすれば告る"が導かれる
4. 推論2と推論3から、推論4: "「あのモーラ基準は告る」ということは間違いでない"が導かれる
5. 事実7から、推論5: "もし「あのモーラ基準は告る」ということは確かなら「それは洒落臭くない」ということは誤りである"が導かれる
6. 推論4と推論5から、推論6: "あのモーラ基準は洒落臭い"が導かれる
7. 事実1から、推論7: "もしあのモーラ基準が洒落臭いとするとそれは金工師でない"が導かれる
8. 推論6と推論7から、推論8: "あのモーラ基準は金工師でない"が導かれる
9. 推論8と事実2から、推論9: "「あのいざこざはアクセスし易くないしその上分かり難くない」ということは間違っている"が導かれる
10. 推論9と事実10から、仮説が導かれる

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