この北側は垂直指導でない
fact1: リンパ節転移はある fact2: もしあるものが招き易くないとしたら寝不足でない fact3: もしこの北側が大怪我しないならリンパ節転移だということはない fact4: もし仮にある物が曳航しないとすれば騙らない fact5: もし仮に「この北側は諸大名であるしまた圧迫する」ということは成り立たないとすると「曳航しない」ということは確かである fact6: もし仮にこの北側が伝え切れないとすれば垂直指導でない fact7: 「潔し」ものはある fact8: もし仮になにかはきちんとするということはないならばそれは擦り付けるということはない fact9: リンパ節転移は垂直指導である fact10: もし何かはリポートしないとするとそれは垂直指導であるしそれにリンパ節転移だ fact11: この分泌型が管理支配すれば見出だし難くない fact12: もし仮に「「「リンパ節転移だ」ということは真実である」ものはある」ということは成り立つとすれば「この北側はリポートするしかつそれは伝え切れる」ということは嘘だ fact13: もしこの北側は見出だし難いということはないとすると「それは伝え切れない」ということは正しい fact14: この北側が役らしくないとすればそれは垂直指導でない fact15: もしも何かは伝え切れるということはないとしたらそれは垂直指導でない fact16: 仮に「何らかの物は採録するしそれは狡い」ということは成り立たないとすればそれは三十二文でない fact17: その左頬が見出だし難いということはないなら伝え切れるしその上磁極である fact18: もしも「その左頬は磁極であるかまたはそれは伝え切れるかあるいはどちらもだ」ということは事実と異なるとしたらこの北側は伝え切れない fact19: この分泌型は管理支配する fact20: 仮に「何らかのものは青文字であるしかつそれはむくつけし」ということは事実と異なるとしたら煩わしくない fact21: もしこの分泌型が管理支配するがしかし見出だし難くないとすればその左頬は見出だし難くない fact22: もし「あるものがリポートするしその上それは伝え切れる」ということは成り立たないとしたら垂直指導でない fact23: もしその博物は海底ケーブルでないなら塗り付けない
fact1 & fact12 -> int1: 「この北側はリポートするし伝え切れる」ということは偽である; fact22 -> int2: 仮に「この北側はリポートするしおまけに伝え切れる」ということは事実と異なるなら垂直指導でない; int1 & int2 -> hypothesis;
この北側は垂直指導である
fact25 -> int3: もしこの北側がリポートしないならばそれは垂直指導であるしそれにリンパ節転移である;
$facts$ = fact1: リンパ節転移はある fact2: もしあるものが招き易くないとしたら寝不足でない fact3: もしこの北側が大怪我しないならリンパ節転移だということはない fact4: もし仮にある物が曳航しないとすれば騙らない fact5: もし仮に「この北側は諸大名であるしまた圧迫する」ということは成り立たないとすると「曳航しない」ということは確かである fact6: もし仮にこの北側が伝え切れないとすれば垂直指導でない fact7: 「潔し」ものはある fact8: もし仮になにかはきちんとするということはないならばそれは擦り付けるということはない fact9: リンパ節転移は垂直指導である fact10: もし何かはリポートしないとするとそれは垂直指導であるしそれにリンパ節転移だ fact11: この分泌型が管理支配すれば見出だし難くない fact12: もし仮に「「「リンパ節転移だ」ということは真実である」ものはある」ということは成り立つとすれば「この北側はリポートするしかつそれは伝え切れる」ということは嘘だ fact13: もしこの北側は見出だし難いということはないとすると「それは伝え切れない」ということは正しい fact14: この北側が役らしくないとすればそれは垂直指導でない fact15: もしも何かは伝え切れるということはないとしたらそれは垂直指導でない fact16: 仮に「何らかの物は採録するしそれは狡い」ということは成り立たないとすればそれは三十二文でない fact17: その左頬が見出だし難いということはないなら伝え切れるしその上磁極である fact18: もしも「その左頬は磁極であるかまたはそれは伝え切れるかあるいはどちらもだ」ということは事実と異なるとしたらこの北側は伝え切れない fact19: この分泌型は管理支配する fact20: 仮に「何らかのものは青文字であるしかつそれはむくつけし」ということは事実と異なるとしたら煩わしくない fact21: もしこの分泌型が管理支配するがしかし見出だし難くないとすればその左頬は見出だし難くない fact22: もし「あるものがリポートするしその上それは伝え切れる」ということは成り立たないとしたら垂直指導でない fact23: もしその博物は海底ケーブルでないなら塗り付けない ; $hypothesis$ = この北側は垂直指導でない ; $proof$ = 
fact1 & fact12 -> int1: 「この北側はリポートするし伝え切れる」ということは偽である; fact22 -> int2: 仮に「この北側はリポートするしおまけに伝え切れる」ということは事実と異なるなら垂直指導でない; int1 & int2 -> hypothesis; __PROVED__
事実1: リンパ節転移はある
事実2: もしあるものが招き易くないとしたら寝不足でない
事実3: もしこの北側が大怪我しないならリンパ節転移だということはない
事実4: もし仮にある物が曳航しないとすれば騙らない
事実5: もし仮に「この北側は諸大名であるしまた圧迫する」ということは成り立たないとすると「曳航しない」ということは確かである
事実6: もし仮にこの北側が伝え切れないとすれば垂直指導でない
事実7: 「潔し」ものはある
事実8: もし仮になにかはきちんとするということはないならばそれは擦り付けるということはない
事実9: リンパ節転移は垂直指導である
事実10: もし何かはリポートしないとするとそれは垂直指導であるしそれにリンパ節転移だ
事実11: この分泌型が管理支配すれば見出だし難くない
事実12: もし仮に「「「リンパ節転移だ」ということは真実である」ものはある」ということは成り立つとすれば「この北側はリポートするしかつそれは伝え切れる」ということは嘘だ
事実13: もしこの北側は見出だし難いということはないとすると「それは伝え切れない」ということは正しい
事実14: この北側が役らしくないとすればそれは垂直指導でない
事実15: もしも何かは伝え切れるということはないとしたらそれは垂直指導でない
事実16: 仮に「何らかの物は採録するしそれは狡い」ということは成り立たないとすればそれは三十二文でない
事実17: その左頬が見出だし難いということはないなら伝え切れるしその上磁極である
事実18: もしも「その左頬は磁極であるかまたはそれは伝え切れるかあるいはどちらもだ」ということは事実と異なるとしたらこの北側は伝え切れない
事実19: この分泌型は管理支配する
事実20: 仮に「何らかのものは青文字であるしかつそれはむくつけし」ということは事実と異なるとしたら煩わしくない
事実21: もしこの分泌型が管理支配するがしかし見出だし難くないとすればその左頬は見出だし難くない
事実22: もし「あるものがリポートするしその上それは伝え切れる」ということは成り立たないとしたら垂直指導でない
事実23: もしその博物は海底ケーブルでないなら塗り付けない

仮説: この北側は垂直指導でない
1. 事実1と事実12から、推論1: "「この北側はリポートするし伝え切れる」ということは偽である"が導かれる
2. 事実22から、推論2: "仮に「この北側はリポートするしおまけに伝え切れる」ということは事実と異なるなら垂直指導でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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