あの会議室は迷い込まない
fact1: あの会議室は粘膜上皮であるがしかし算定出来るということはないならばそれは選択され易い fact2: 選択され易くない物は迷い込むし順応出来る fact3: もしも丸っこくないものが実験棟だとしたらそれは迷い込まない fact4: もし仮にあの会議室が選択され易くないとすればあの待機状態は粘膜上皮であるしさらに順応出来る fact5: あの会議室は順応出来るしおまけに実験棟である fact6: 「そのＺ機は実験棟でないかもしくは選択され易い」ということは間違いであるとすれば「あの会議室は選択され易くない」ということは真実だ fact7: 仮になんらかのものが選択され易くて順応出来るとすればそれは迷い込まない fact8: このファブリックは実験棟であるし丸っこい fact9: 「「丸っこいし満ち溢れる」ということは間違いな」物はある fact10: もしそのＺ機が選択され易いならあの会議室は選択され易いということはない fact11: あの会議室は粘膜上皮だがしかし算定出来ない fact12: 仮に何らかの物が迷い込まないならばそれは選択され易い
fact1 & fact11 -> int1: あの会議室は選択され易い; fact5 -> int2: あの会議室は順応出来る; int1 & int2 -> int3: あの会議室は選択され易いししかもそれは順応出来る; fact7 -> int4: 仮にあの会議室は選択され易いし加えて順応出来るとすると迷い込まない; int3 & int4 -> hypothesis;
その待機状態は粘膜上皮である
fact16 -> int5: もし仮にそのＺ機が迷い込まないとすると選択され易い; fact15 -> int6: もし仮にそのＺ機は丸っこくないがしかし実験棟ならばそれは迷い込まない;
$facts$ = fact1: あの会議室は粘膜上皮であるがしかし算定出来るということはないならばそれは選択され易い fact2: 選択され易くない物は迷い込むし順応出来る fact3: もしも丸っこくないものが実験棟だとしたらそれは迷い込まない fact4: もし仮にあの会議室が選択され易くないとすればあの待機状態は粘膜上皮であるしさらに順応出来る fact5: あの会議室は順応出来るしおまけに実験棟である fact6: 「そのＺ機は実験棟でないかもしくは選択され易い」ということは間違いであるとすれば「あの会議室は選択され易くない」ということは真実だ fact7: 仮になんらかのものが選択され易くて順応出来るとすればそれは迷い込まない fact8: このファブリックは実験棟であるし丸っこい fact9: 「「丸っこいし満ち溢れる」ということは間違いな」物はある fact10: もしそのＺ機が選択され易いならあの会議室は選択され易いということはない fact11: あの会議室は粘膜上皮だがしかし算定出来ない fact12: 仮に何らかの物が迷い込まないならばそれは選択され易い ; $hypothesis$ = あの会議室は迷い込まない ; $proof$ = 
fact1 & fact11 -> int1: あの会議室は選択され易い; fact5 -> int2: あの会議室は順応出来る; int1 & int2 -> int3: あの会議室は選択され易いししかもそれは順応出来る; fact7 -> int4: 仮にあの会議室は選択され易いし加えて順応出来るとすると迷い込まない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの会議室は粘膜上皮であるがしかし算定出来るということはないならばそれは選択され易い
事実2: 選択され易くない物は迷い込むし順応出来る
事実3: もしも丸っこくないものが実験棟だとしたらそれは迷い込まない
事実4: もし仮にあの会議室が選択され易くないとすればあの待機状態は粘膜上皮であるしさらに順応出来る
事実5: あの会議室は順応出来るしおまけに実験棟である
事実6: 「そのＺ機は実験棟でないかもしくは選択され易い」ということは間違いであるとすれば「あの会議室は選択され易くない」ということは真実だ
事実7: 仮になんらかのものが選択され易くて順応出来るとすればそれは迷い込まない
事実8: このファブリックは実験棟であるし丸っこい
事実9: 「「丸っこいし満ち溢れる」ということは間違いな」物はある
事実10: もしそのＺ機が選択され易いならあの会議室は選択され易いということはない
事実11: あの会議室は粘膜上皮だがしかし算定出来ない
事実12: 仮に何らかの物が迷い込まないならばそれは選択され易い

仮説: あの会議室は迷い込まない
1. 事実1と事実11から、推論1: "あの会議室は選択され易い"が導かれる
2. 事実5から、推論2: "あの会議室は順応出来る"が導かれる
3. 推論1と推論2から、推論3: "あの会議室は選択され易いししかもそれは順応出来る"が導かれる
4. 事実7から、推論4: "仮にあの会議室は選択され易いし加えて順応出来るとすると迷い込まない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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