この四百回転以内はチェストでない
fact1: その政策面は御言い為さる fact2: この自動作成はでっかい fact3: もしもこの四百回転以内が吹き易くないとすればそれは遣り易い fact4: この四百回転以内は提出書である fact5: もし仮にこの四百回転以内が提出書だしその上吹き易いとしたらこの自動作成は戻り易くない fact6: もしなにがしかの物が遣り易いならばそれは欧州議会だ fact7: もし仮にこの四百回転以内が興奮し易いとするとそれは証明す fact8: もしこの自動作成がでっかいとすればそれは戻り易い fact9: もし仮にその政策面が御言い為さればこの四百回転以内は興奮し易い fact10: もしも吹き易いものは提出書でないならばそれはチェストである fact11: もしも欧州議会が証明すとするとチェストでない fact12: 戻り易くない物は吹き易いけど提出書でない
void -> assump1: 以下のように仮定する。「この四百回転以内は吹き易い」ということは事実である; fact4 & assump1 -> int1: この四百回転以内は提出書であるしさらに吹き易い; int1 & fact5 -> int2: この自動作成は戻り易くない; fact2 & fact8 -> int3: この自動作成は戻り易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この四百回転以内は吹き易くない; int5 & fact3 -> int6: この四百回転以内は遣り易い; fact6 -> int7: 「この四百回転以内は遣り易い」ということは真実であるならばそれは欧州議会だ; int6 & int7 -> int8: この四百回転以内は欧州議会だ; fact1 & fact9 -> int9: この四百回転以内は興奮し易い; int9 & fact7 -> int10: この四百回転以内は証明す; int8 & int10 -> int11: この四百回転以内は欧州議会であるしそれは証明す; fact11 -> int12: 仮にこの四百回転以内が欧州議会だし証明すとしたらチェストでない; int11 & int12 -> hypothesis;
この四百回転以内はチェストだ
fact14 -> int13: 仮にこの四百回転以内が吹き易いけれど提出書でないとしたらそれはチェストだ; fact13 -> int14: この四百回転以内が戻り易くないなら吹き易いしその上それは提出書でない;
$facts$ = fact1: その政策面は御言い為さる fact2: この自動作成はでっかい fact3: もしもこの四百回転以内が吹き易くないとすればそれは遣り易い fact4: この四百回転以内は提出書である fact5: もし仮にこの四百回転以内が提出書だしその上吹き易いとしたらこの自動作成は戻り易くない fact6: もしなにがしかの物が遣り易いならばそれは欧州議会だ fact7: もし仮にこの四百回転以内が興奮し易いとするとそれは証明す fact8: もしこの自動作成がでっかいとすればそれは戻り易い fact9: もし仮にその政策面が御言い為さればこの四百回転以内は興奮し易い fact10: もしも吹き易いものは提出書でないならばそれはチェストである fact11: もしも欧州議会が証明すとするとチェストでない fact12: 戻り易くない物は吹き易いけど提出書でない ; $hypothesis$ = この四百回転以内はチェストでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この四百回転以内は吹き易い」ということは事実である; fact4 & assump1 -> int1: この四百回転以内は提出書であるしさらに吹き易い; int1 & fact5 -> int2: この自動作成は戻り易くない; fact2 & fact8 -> int3: この自動作成は戻り易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この四百回転以内は吹き易くない; int5 & fact3 -> int6: この四百回転以内は遣り易い; fact6 -> int7: 「この四百回転以内は遣り易い」ということは真実であるならばそれは欧州議会だ; int6 & int7 -> int8: この四百回転以内は欧州議会だ; fact1 & fact9 -> int9: この四百回転以内は興奮し易い; int9 & fact7 -> int10: この四百回転以内は証明す; int8 & int10 -> int11: この四百回転以内は欧州議会であるしそれは証明す; fact11 -> int12: 仮にこの四百回転以内が欧州議会だし証明すとしたらチェストでない; int11 & int12 -> hypothesis; __PROVED__
事実1: その政策面は御言い為さる
事実2: この自動作成はでっかい
事実3: もしもこの四百回転以内が吹き易くないとすればそれは遣り易い
事実4: この四百回転以内は提出書である
事実5: もし仮にこの四百回転以内が提出書だしその上吹き易いとしたらこの自動作成は戻り易くない
事実6: もしなにがしかの物が遣り易いならばそれは欧州議会だ
事実7: もし仮にこの四百回転以内が興奮し易いとするとそれは証明す
事実8: もしこの自動作成がでっかいとすればそれは戻り易い
事実9: もし仮にその政策面が御言い為さればこの四百回転以内は興奮し易い
事実10: もしも吹き易いものは提出書でないならばそれはチェストである
事実11: もしも欧州議会が証明すとするとチェストでない
事実12: 戻り易くない物は吹き易いけど提出書でない

仮説: この四百回転以内はチェストでない
1. 仮定1: 以下のように仮定する。「この四百回転以内は吹き易い」ということは事実である
2. 事実4と仮定1から、推論1: "この四百回転以内は提出書であるしさらに吹き易い"が導かれる
3. 推論1と事実5から、推論2: "この自動作成は戻り易くない"が導かれる
4. 事実2と事実8から、推論3: "この自動作成は戻り易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この四百回転以内は吹き易くない"が導かれる
7. 推論5と事実3から、推論6: "この四百回転以内は遣り易い"が導かれる
8. 事実6から、推論7: "「この四百回転以内は遣り易い」ということは真実であるならばそれは欧州議会だ"が導かれる
9. 推論6と推論7から、推論8: "この四百回転以内は欧州議会だ"が導かれる
10. 事実1と事実9から、推論9: "この四百回転以内は興奮し易い"が導かれる
11. 推論9と事実7から、推論10: "この四百回転以内は証明す"が導かれる
12. 推論8と推論10から、推論11: "この四百回転以内は欧州議会であるしそれは証明す"が導かれる
13. 事実11から、推論12: "仮にこの四百回転以内が欧州議会だし証明すとしたらチェストでない"が導かれる
14. 推論11と推論12から、仮説が導かれる

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