「この帝国ホテルは招き入れないがしかしＳランダムである」ということは成り立つということはない
fact1: 「その改善命令等は招き入れる」ということは事実である fact2: とあるものが起こり始めないならそれは人材採用だがしかし切なくない fact3: もし「なんらかのものは捕らえ易くないがしかし嫌らしい」ということは誤っていればそれは起こり始めない fact4: 仮にこのピペットが惚け行けばその雲雀は還付する fact5: 仮にこの帝国ホテルが人材採用であるとすればあの雲雀は招き入れるということはない fact6: その雲雀は還付するなら「この帝国ホテルは捕らえ易いということはないけど嫌らしい」ということは偽である fact7: 仮にこの帝国ホテルは切ないなら「その雲雀はＳランダムでない」ということは真実である fact8: この帝国ホテルは起こり始める fact9: その雲雀が人材採用だとすればこの帝国ホテルは招き入れない fact10: もし何らかの物は人材採用であるとすれば「それは招き入れないしそれにＳランダムである」ということは成り立たない fact11: もしその雲雀が切ないならばこの帝国ホテルは招き入れない fact12: もし「このピペットは大当たりするがしかし実用化出来ない」ということは誤っているなら惚け行く fact13: その雲雀は人材採用なら「この帝国ホテルは招き入れる」ということは真実だ fact14: この帝国ホテルがＳランダムだしまた起こり始める fact15: その雲雀は人材採用であるかまたは切ない
fact15 & fact9 & fact11 -> int1: この帝国ホテルは招き入れない; fact14 -> int2: この帝国ホテルはＳランダムである; int1 & int2 -> hypothesis;
「この帝国ホテルは招き入れないけれどＳランダムである」ということは成り立たない
fact21 -> int3: 仮にこの帝国ホテルは人材採用であるならば「招き入れないけどＳランダムである」ということは誤っている; fact17 -> int4: もしこの帝国ホテルが起こり始めないならそれは人材採用でそれは切なくない; fact18 -> int5: 仮に「この帝国ホテルは捕らえ易くないけどそれは嫌らしい」ということは成り立たないならばそれは起こり始めない;
$facts$ = fact1: 「その改善命令等は招き入れる」ということは事実である fact2: とあるものが起こり始めないならそれは人材採用だがしかし切なくない fact3: もし「なんらかのものは捕らえ易くないがしかし嫌らしい」ということは誤っていればそれは起こり始めない fact4: 仮にこのピペットが惚け行けばその雲雀は還付する fact5: 仮にこの帝国ホテルが人材採用であるとすればあの雲雀は招き入れるということはない fact6: その雲雀は還付するなら「この帝国ホテルは捕らえ易いということはないけど嫌らしい」ということは偽である fact7: 仮にこの帝国ホテルは切ないなら「その雲雀はＳランダムでない」ということは真実である fact8: この帝国ホテルは起こり始める fact9: その雲雀が人材採用だとすればこの帝国ホテルは招き入れない fact10: もし何らかの物は人材採用であるとすれば「それは招き入れないしそれにＳランダムである」ということは成り立たない fact11: もしその雲雀が切ないならばこの帝国ホテルは招き入れない fact12: もし「このピペットは大当たりするがしかし実用化出来ない」ということは誤っているなら惚け行く fact13: その雲雀は人材採用なら「この帝国ホテルは招き入れる」ということは真実だ fact14: この帝国ホテルがＳランダムだしまた起こり始める fact15: その雲雀は人材採用であるかまたは切ない ; $hypothesis$ = 「この帝国ホテルは招き入れないがしかしＳランダムである」ということは成り立つということはない ; $proof$ = 
fact15 & fact9 & fact11 -> int1: この帝国ホテルは招き入れない; fact14 -> int2: この帝国ホテルはＳランダムである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その改善命令等は招き入れる」ということは事実である
事実2: とあるものが起こり始めないならそれは人材採用だがしかし切なくない
事実3: もし「なんらかのものは捕らえ易くないがしかし嫌らしい」ということは誤っていればそれは起こり始めない
事実4: 仮にこのピペットが惚け行けばその雲雀は還付する
事実5: 仮にこの帝国ホテルが人材採用であるとすればあの雲雀は招き入れるということはない
事実6: その雲雀は還付するなら「この帝国ホテルは捕らえ易いということはないけど嫌らしい」ということは偽である
事実7: 仮にこの帝国ホテルは切ないなら「その雲雀はＳランダムでない」ということは真実である
事実8: この帝国ホテルは起こり始める
事実9: その雲雀が人材採用だとすればこの帝国ホテルは招き入れない
事実10: もし何らかの物は人材採用であるとすれば「それは招き入れないしそれにＳランダムである」ということは成り立たない
事実11: もしその雲雀が切ないならばこの帝国ホテルは招き入れない
事実12: もし「このピペットは大当たりするがしかし実用化出来ない」ということは誤っているなら惚け行く
事実13: その雲雀は人材採用なら「この帝国ホテルは招き入れる」ということは真実だ
事実14: この帝国ホテルがＳランダムだしまた起こり始める
事実15: その雲雀は人材採用であるかまたは切ない

仮説: 「この帝国ホテルは招き入れないがしかしＳランダムである」ということは成り立つということはない
1. 事実15と事実9と事実11から、推論1: "この帝国ホテルは招き入れない"が導かれる
2. 事実14から、推論2: "この帝国ホテルはＳランダムである"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。