その基礎価値はマッピングしない
fact1: 仮にこの業界全体は東南方位でないとしたら「この第五学年はするする」ということは誤りだ fact2: 仮にこの第五学年がするしないとすればその基礎価値は勧請しないしするするということはない fact3: なにがしかの物は食品注文票であるしかつ味わい深い fact4: 「食品注文票でないけど味わい深い」ものはある fact5: もしもその基礎価値が勧請するけれどそれがするしないとしたらそれはマッピングしない fact6: もしもその基礎価値は勧請しなくてそれにするしないならマッピングしない fact7: もし仮になにかはシートリフトアップ車だということはないしその上それは入学志願者でないならばそれは薄暗いということはない fact8: なにがしかの物は食品注文票であるならばそれはマッピングする fact9: この業界全体は合体するし更に商品等表示であるとしたら東南方位でない fact10: もしその油が食品注文票だとするとその基礎価値は食品注文票である fact11: 仮に「食品注文票でないしさらに味わい深い」ものはあるとすると「その油は凄まじい」ということは成り立つ fact12: この業界全体は商品等表示である fact13: もし仮にその油が凄まじいとすればこの業界全体は重たい fact14: その基礎価値は勧請しない fact15: 重たいものは合体する fact16: 「するする」物はある
fact4 & fact11 -> int1: その油は凄まじい; int1 & fact13 -> int2: この業界全体は重たい; fact15 -> int3: この業界全体が重たいとしたら合体する; int2 & int3 -> int4: この業界全体は合体する; int4 & fact12 -> int5: この業界全体は合体するし加えて商品等表示である; int5 & fact9 -> int6: この業界全体は東南方位でない; int6 & fact1 -> int7: この第五学年はするしない; int7 & fact2 -> int8: その基礎価値は勧請しないしおまけにするしない; int8 & fact6 -> hypothesis;
もしもその油がシートリフトアップ車でなくて入学志願者でないとすればそれは薄暗くない
fact17 -> hypothesis;
$facts$ = fact1: 仮にこの業界全体は東南方位でないとしたら「この第五学年はするする」ということは誤りだ fact2: 仮にこの第五学年がするしないとすればその基礎価値は勧請しないしするするということはない fact3: なにがしかの物は食品注文票であるしかつ味わい深い fact4: 「食品注文票でないけど味わい深い」ものはある fact5: もしもその基礎価値が勧請するけれどそれがするしないとしたらそれはマッピングしない fact6: もしもその基礎価値は勧請しなくてそれにするしないならマッピングしない fact7: もし仮になにかはシートリフトアップ車だということはないしその上それは入学志願者でないならばそれは薄暗いということはない fact8: なにがしかの物は食品注文票であるならばそれはマッピングする fact9: この業界全体は合体するし更に商品等表示であるとしたら東南方位でない fact10: もしその油が食品注文票だとするとその基礎価値は食品注文票である fact11: 仮に「食品注文票でないしさらに味わい深い」ものはあるとすると「その油は凄まじい」ということは成り立つ fact12: この業界全体は商品等表示である fact13: もし仮にその油が凄まじいとすればこの業界全体は重たい fact14: その基礎価値は勧請しない fact15: 重たいものは合体する fact16: 「するする」物はある ; $hypothesis$ = その基礎価値はマッピングしない ; $proof$ = 
fact4 & fact11 -> int1: その油は凄まじい; int1 & fact13 -> int2: この業界全体は重たい; fact15 -> int3: この業界全体が重たいとしたら合体する; int2 & int3 -> int4: この業界全体は合体する; int4 & fact12 -> int5: この業界全体は合体するし加えて商品等表示である; int5 & fact9 -> int6: この業界全体は東南方位でない; int6 & fact1 -> int7: この第五学年はするしない; int7 & fact2 -> int8: その基礎価値は勧請しないしおまけにするしない; int8 & fact6 -> hypothesis; __PROVED__
事実1: 仮にこの業界全体は東南方位でないとしたら「この第五学年はするする」ということは誤りだ
事実2: 仮にこの第五学年がするしないとすればその基礎価値は勧請しないしするするということはない
事実3: なにがしかの物は食品注文票であるしかつ味わい深い
事実4: 「食品注文票でないけど味わい深い」ものはある
事実5: もしもその基礎価値が勧請するけれどそれがするしないとしたらそれはマッピングしない
事実6: もしもその基礎価値は勧請しなくてそれにするしないならマッピングしない
事実7: もし仮になにかはシートリフトアップ車だということはないしその上それは入学志願者でないならばそれは薄暗いということはない
事実8: なにがしかの物は食品注文票であるならばそれはマッピングする
事実9: この業界全体は合体するし更に商品等表示であるとしたら東南方位でない
事実10: もしその油が食品注文票だとするとその基礎価値は食品注文票である
事実11: 仮に「食品注文票でないしさらに味わい深い」ものはあるとすると「その油は凄まじい」ということは成り立つ
事実12: この業界全体は商品等表示である
事実13: もし仮にその油が凄まじいとすればこの業界全体は重たい
事実14: その基礎価値は勧請しない
事実15: 重たいものは合体する
事実16: 「するする」物はある

仮説: その基礎価値はマッピングしない
1. 事実4と事実11から、推論1: "その油は凄まじい"が導かれる
2. 推論1と事実13から、推論2: "この業界全体は重たい"が導かれる
3. 事実15から、推論3: "この業界全体が重たいとしたら合体する"が導かれる
4. 推論2と推論3から、推論4: "この業界全体は合体する"が導かれる
5. 推論4と事実12から、推論5: "この業界全体は合体するし加えて商品等表示である"が導かれる
6. 推論5と事実9から、推論6: "この業界全体は東南方位でない"が導かれる
7. 推論6と事実1から、推論7: "この第五学年はするしない"が導かれる
8. 推論7と事実2から、推論8: "その基礎価値は勧請しないしおまけにするしない"が導かれる
9. 推論8と事実6から、仮説が導かれる

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