あの陣痛室は線路工事である
fact1: その寝技は病気休暇・復職でないが箇条書きする fact2: もしも「狙い易い」物があるとしたらその国道一号線はダビデ契約であるかまたは狙い易い fact3: どれもこれもはダビデ契約であるしまた狙い易い fact4: 「ダビデ契約である」ものはある fact5: もし「「三式通常弾で全うしない」ということは成り立たない」ものがあるとしたらその寝技は睡眠剤だ fact6: もしもあるものがアラビア数字だということはないならそれは合併し易いしおまけに植樹する fact7: もしもダビデ契約は狙い易いとしたら「あの陣痛室は線路工事だということはない」ということは本当である fact8: なにがしかのものは合併し易いとしたら「改組すらない」ということは成り立たない fact9: もしあの皿が病気休暇・復職であるということはないならその焼き立てパンは薄明るくないかもしくは接着テープでないか両方ともである fact10: 仮になんらかのものはダビデ契約であるということはないとするとインベーダーゲームであるし出会う fact11: 狙い易い物はある fact12: もしその焼き立てパンが薄明るくないとすればこの駆け落ちはアラビア数字でない fact13: もしなんらかのものが改組すとするとそれは出入りし易い fact14: 「「三式通常弾だしまた全うしない」ということは間違いである」ものはある fact15: 「仮に狙い易いということはないものが線路工事ならダビデ契約であるということはない」ということは成り立つ fact16: あの線路内はダビデ契約だ fact17: 仮にその焼き立てパンが接着テープでないとすればこの駆け落ちはアラビア数字でない fact18: もしその寝技が病気休暇・復職でないけどそれが睡眠剤であるとしたらあの皿は病気休暇・復職でない fact19: 「「「改組すらないけど狙い易い」ということは誤りである」ものはある」ということは確かだ fact20: あの線路内はダビデ契約だし潔し fact21: 出入りし易い物は狙い易い
fact3 -> int1: あの線路内はダビデ契約であるし狙い易い; int1 -> int2: 「ダビデ契約だし狙い易い」物はある; int2 & fact7 -> hypothesis;
fact3 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact7 -> hypothesis;
「あの陣痛室は線路工事だ」ということは誤りでない
fact25 -> int3: もしもこの駆け落ちが出入りし易いとしたらそれは狙い易い; fact27 -> int4: 仮にこの駆け落ちが改組すなら出入りし易い; fact30 -> int5: もしも「この駆け落ちは合併し易い」ということは確かであるとするとそれは改組す; fact32 -> int6: もしこの駆け落ちがアラビア数字でないならそれは合併し易くてかつ植樹する; fact26 -> int7: その寝技は病気休暇・復職だということはない; fact33 & fact31 -> int8: その寝技は睡眠剤だ; int7 & int8 -> int9: その寝技は病気休暇・復職でないがしかしそれは睡眠剤だ; fact29 & int9 -> int10: あの皿は病気休暇・復職でない; fact28 & int10 -> int11: その焼き立てパンは薄明るくないかもしくは接着テープでないかまたは両方ともである; int11 & fact23 & fact22 -> int12: この駆け落ちはアラビア数字でない; int6 & int12 -> int13: この駆け落ちは合併し易くて植樹する; int13 -> int14: この駆け落ちは合併し易い; int5 & int14 -> int15: この駆け落ちは改組す; int4 & int15 -> int16: この駆け落ちは出入りし易い; int3 & int16 -> int17: この駆け落ちは狙い易い; int17 -> int18: 「狙い易い」物はある; int18 & fact24 -> int19: 「その国道一号線はダビデ契約であるかまたは狙い易い」ということは本当だ;
$facts$ = fact1: その寝技は病気休暇・復職でないが箇条書きする fact2: もしも「狙い易い」物があるとしたらその国道一号線はダビデ契約であるかまたは狙い易い fact3: どれもこれもはダビデ契約であるしまた狙い易い fact4: 「ダビデ契約である」ものはある fact5: もし「「三式通常弾で全うしない」ということは成り立たない」ものがあるとしたらその寝技は睡眠剤だ fact6: もしもあるものがアラビア数字だということはないならそれは合併し易いしおまけに植樹する fact7: もしもダビデ契約は狙い易いとしたら「あの陣痛室は線路工事だということはない」ということは本当である fact8: なにがしかのものは合併し易いとしたら「改組すらない」ということは成り立たない fact9: もしあの皿が病気休暇・復職であるということはないならその焼き立てパンは薄明るくないかもしくは接着テープでないか両方ともである fact10: 仮になんらかのものはダビデ契約であるということはないとするとインベーダーゲームであるし出会う fact11: 狙い易い物はある fact12: もしその焼き立てパンが薄明るくないとすればこの駆け落ちはアラビア数字でない fact13: もしなんらかのものが改組すとするとそれは出入りし易い fact14: 「「三式通常弾だしまた全うしない」ということは間違いである」ものはある fact15: 「仮に狙い易いということはないものが線路工事ならダビデ契約であるということはない」ということは成り立つ fact16: あの線路内はダビデ契約だ fact17: 仮にその焼き立てパンが接着テープでないとすればこの駆け落ちはアラビア数字でない fact18: もしその寝技が病気休暇・復職でないけどそれが睡眠剤であるとしたらあの皿は病気休暇・復職でない fact19: 「「「改組すらないけど狙い易い」ということは誤りである」ものはある」ということは確かだ fact20: あの線路内はダビデ契約だし潔し fact21: 出入りし易い物は狙い易い ; $hypothesis$ = あの陣痛室は線路工事である ; $proof$ = 
fact3 -> int1: あの線路内はダビデ契約であるし狙い易い; int1 -> int2: 「ダビデ契約だし狙い易い」物はある; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: その寝技は病気休暇・復職でないが箇条書きする
事実2: もしも「狙い易い」物があるとしたらその国道一号線はダビデ契約であるかまたは狙い易い
事実3: どれもこれもはダビデ契約であるしまた狙い易い
事実4: 「ダビデ契約である」ものはある
事実5: もし「「三式通常弾で全うしない」ということは成り立たない」ものがあるとしたらその寝技は睡眠剤だ
事実6: もしもあるものがアラビア数字だということはないならそれは合併し易いしおまけに植樹する
事実7: もしもダビデ契約は狙い易いとしたら「あの陣痛室は線路工事だということはない」ということは本当である
事実8: なにがしかのものは合併し易いとしたら「改組すらない」ということは成り立たない
事実9: もしあの皿が病気休暇・復職であるということはないならその焼き立てパンは薄明るくないかもしくは接着テープでないか両方ともである
事実10: 仮になんらかのものはダビデ契約であるということはないとするとインベーダーゲームであるし出会う
事実11: 狙い易い物はある
事実12: もしその焼き立てパンが薄明るくないとすればこの駆け落ちはアラビア数字でない
事実13: もしなんらかのものが改組すとするとそれは出入りし易い
事実14: 「「三式通常弾だしまた全うしない」ということは間違いである」ものはある
事実15: 「仮に狙い易いということはないものが線路工事ならダビデ契約であるということはない」ということは成り立つ
事実16: あの線路内はダビデ契約だ
事実17: 仮にその焼き立てパンが接着テープでないとすればこの駆け落ちはアラビア数字でない
事実18: もしその寝技が病気休暇・復職でないけどそれが睡眠剤であるとしたらあの皿は病気休暇・復職でない
事実19: 「「「改組すらないけど狙い易い」ということは誤りである」ものはある」ということは確かだ
事実20: あの線路内はダビデ契約だし潔し
事実21: 出入りし易い物は狙い易い

仮説: あの陣痛室は線路工事である
1. 事実3から、推論1: "あの線路内はダビデ契約であるし狙い易い"が導かれる
2. 推論1から、推論2: "「ダビデ契約だし狙い易い」物はある"が導かれる
3. 推論2と事実7から、仮説が否定される

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