この命令実行サイクルは入学出来る
fact1: 仮にこの敢行が再現出来るとすればあの命令実行サイクルは散逸粒子である fact2: あの司書は散逸粒子でないかもしくはそれは後ろめたくない fact3: もしその屋台が再現出来るとすればこの敢行は散逸粒子である fact4: この敢行は後ろめたくない fact5: もしその屋台が再現出来ないとすればこの命令実行サイクルは入学出来るしさらに再現出来る fact6: もしあの司書が散逸粒子でないかまたは後ろめたくないかまたは両方であるならこの敢行は散逸粒子でない
void -> assump1: 以下のように仮定する。その屋台は再現出来る; fact3 & assump1 -> int1: この敢行は散逸粒子である; fact6 & fact2 -> int2: この敢行は散逸粒子でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その屋台は再現出来ない; int4 & fact5 -> int5: この命令実行サイクルは入学出来るししかも再現出来る; int5 -> hypothesis;
$facts$ = fact1: 仮にこの敢行が再現出来るとすればあの命令実行サイクルは散逸粒子である fact2: あの司書は散逸粒子でないかもしくはそれは後ろめたくない fact3: もしその屋台が再現出来るとすればこの敢行は散逸粒子である fact4: この敢行は後ろめたくない fact5: もしその屋台が再現出来ないとすればこの命令実行サイクルは入学出来るしさらに再現出来る fact6: もしあの司書が散逸粒子でないかまたは後ろめたくないかまたは両方であるならこの敢行は散逸粒子でない ; $hypothesis$ = この命令実行サイクルは入学出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。その屋台は再現出来る; fact3 & assump1 -> int1: この敢行は散逸粒子である; fact6 & fact2 -> int2: この敢行は散逸粒子でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その屋台は再現出来ない; int4 & fact5 -> int5: この命令実行サイクルは入学出来るししかも再現出来る; int5 -> hypothesis; __PROVED__
事実1: 仮にこの敢行が再現出来るとすればあの命令実行サイクルは散逸粒子である
事実2: あの司書は散逸粒子でないかもしくはそれは後ろめたくない
事実3: もしその屋台が再現出来るとすればこの敢行は散逸粒子である
事実4: この敢行は後ろめたくない
事実5: もしその屋台が再現出来ないとすればこの命令実行サイクルは入学出来るしさらに再現出来る
事実6: もしあの司書が散逸粒子でないかまたは後ろめたくないかまたは両方であるならこの敢行は散逸粒子でない

仮説: この命令実行サイクルは入学出来る
1. 仮定1: 以下のように仮定する。その屋台は再現出来る
2. 事実3と仮定1から、推論1: "この敢行は散逸粒子である"が導かれる
3. 事実6と事実2から、推論2: "この敢行は散逸粒子でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その屋台は再現出来ない"が導かれる
6. 推論4と事実5から、推論5: "この命令実行サイクルは入学出来るししかも再現出来る"が導かれる
7. 推論5から、仮説が導かれる

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