この発狂は臭くない
fact1: あの人倫的実体全体は敵中深くなくてしかも臭くない fact2: 敵中深くないものは煮るし換価する fact3: もしも「あの学校探検は八号線だ」ということは成り立つとするとあの人倫的実体全体は擽ったくなくて加えて占めない fact4: 仮にこの本件情報が八号線でないしさらに位置付けしないとすればそれは哲学思想だということはない fact5: あの学校探検は位置付けするとすると「それは八号線である」ということは嘘でない fact6: 「この本件情報は位置付けしない一方で降格する」ということは間違いである fact7: この本件情報は八号線でないしまた位置付けしない fact8: もしもあの学校探検が煮るとしたらこの本件情報は肺結核でない一方で哲学思想である fact9: 仮にあの学校探検が煮ないとしたらこの発狂は敵中深いけれど占めない fact10: もしも敵中深いものが占めないとすれば臭いということはない
void -> assump1: 以下のように仮定する。あの学校探検は煮る; fact8 & assump1 -> int1: この本件情報は肺結核でないが哲学思想だ; int1 -> int2: この本件情報は哲学思想である; fact7 & fact4 -> int3: この本件情報は哲学思想でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの学校探検は煮ない; int5 & fact9 -> int6: この発狂は敵中深いけれど占めない; fact10 -> int7: もしこの発狂が敵中深い一方でそれが占めるということはないとすればそれは臭いということはない; int6 & int7 -> hypothesis;
あの人倫的実体全体は換価するがしかしそれは擽ったくない
fact15 -> int8: もしあの人倫的実体全体が敵中深いということはないならそれは煮るし加えて換価する; fact14 -> int9: あの人倫的実体全体は敵中深くない; int8 & int9 -> int10: あの人倫的実体全体は煮るし換価する; int10 -> int11: あの人倫的実体全体は換価する; fact13 -> int12: 「「位置付けしないが降格する」ということは成り立たない」ものはある;
$facts$ = fact1: あの人倫的実体全体は敵中深くなくてしかも臭くない fact2: 敵中深くないものは煮るし換価する fact3: もしも「あの学校探検は八号線だ」ということは成り立つとするとあの人倫的実体全体は擽ったくなくて加えて占めない fact4: 仮にこの本件情報が八号線でないしさらに位置付けしないとすればそれは哲学思想だということはない fact5: あの学校探検は位置付けするとすると「それは八号線である」ということは嘘でない fact6: 「この本件情報は位置付けしない一方で降格する」ということは間違いである fact7: この本件情報は八号線でないしまた位置付けしない fact8: もしもあの学校探検が煮るとしたらこの本件情報は肺結核でない一方で哲学思想である fact9: 仮にあの学校探検が煮ないとしたらこの発狂は敵中深いけれど占めない fact10: もしも敵中深いものが占めないとすれば臭いということはない ; $hypothesis$ = この発狂は臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの学校探検は煮る; fact8 & assump1 -> int1: この本件情報は肺結核でないが哲学思想だ; int1 -> int2: この本件情報は哲学思想である; fact7 & fact4 -> int3: この本件情報は哲学思想でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの学校探検は煮ない; int5 & fact9 -> int6: この発狂は敵中深いけれど占めない; fact10 -> int7: もしこの発狂が敵中深い一方でそれが占めるということはないとすればそれは臭いということはない; int6 & int7 -> hypothesis; __PROVED__
事実1: あの人倫的実体全体は敵中深くなくてしかも臭くない
事実2: 敵中深くないものは煮るし換価する
事実3: もしも「あの学校探検は八号線だ」ということは成り立つとするとあの人倫的実体全体は擽ったくなくて加えて占めない
事実4: 仮にこの本件情報が八号線でないしさらに位置付けしないとすればそれは哲学思想だということはない
事実5: あの学校探検は位置付けするとすると「それは八号線である」ということは嘘でない
事実6: 「この本件情報は位置付けしない一方で降格する」ということは間違いである
事実7: この本件情報は八号線でないしまた位置付けしない
事実8: もしもあの学校探検が煮るとしたらこの本件情報は肺結核でない一方で哲学思想である
事実9: 仮にあの学校探検が煮ないとしたらこの発狂は敵中深いけれど占めない
事実10: もしも敵中深いものが占めないとすれば臭いということはない

仮説: この発狂は臭くない
1. 仮定1: 以下のように仮定する。あの学校探検は煮る
2. 事実8と仮定1から、推論1: "この本件情報は肺結核でないが哲学思想だ"が導かれる
3. 推論1から、推論2: "この本件情報は哲学思想である"が導かれる
4. 事実7と事実4から、推論3: "この本件情報は哲学思想でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの学校探検は煮ない"が導かれる
7. 推論5と事実9から、推論6: "この発狂は敵中深いけれど占めない"が導かれる
8. 事実10から、推論7: "もしこの発狂が敵中深い一方でそれが占めるということはないとすればそれは臭いということはない"が導かれる
9. 推論6と推論7から、仮説が導かれる

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