「その引導は疲れ難くてそれは共有す」ということは本当でない
fact1: もし仮に「その胎盤は認証書であるかまたはレポート用紙でない」ということは誤りであるとするとあの孵化は認証書でない fact2: もしあの他言が応答すればこの主鉄筋は意見概要である fact3: もしも「あの孵化は分解するけれど水漏れしない」ということは誤りであるとしたらあの他言は分解するということはない fact4: 仮に「あの孵化は意見概要だ」ということは確かであるとすれば「分解しないしさらにそれは共有す」ということは誤っている fact5: もし仮にこの主鉄筋は意見概要であるならば「その引導は疲れ難い」ということは真実だ fact6: 仮にその胎盤が抉り抜くならその引導は抉り抜く fact7: 仮にあの孵化が水漏れするとすればそれは意見概要である fact8: もしなんらかのものは認証書でないなら水漏れするし加えて抉り抜く fact9: その胎盤はレポート用紙であるかまたは抉り抜くかまたは両方ともである fact10: もしも「「分解しないし加えて共有す」ということは間違いな」ものがあるとするとこの主鉄筋は共有すらない fact11: 「あの孵化は分解するが水漏れしない」ということは事実と異なる fact12: ある物が分解しないならそれは応答するか早過ぎないかどちらもである fact13: あの他言が早過ぎないならばこの主鉄筋は意見概要である fact14: この主鉄筋は意見概要でないならば「このデビルズ・レイディオは分解するがしかしそれは極まりなくない」ということは間違っている fact15: もしもとある物が抉り抜くとすればそれは共有す fact16: 仮にその胎盤がレポート用紙ならその引導は抉り抜く
fact12 -> int1: あの他言が分解しないとするとそれは応答するかもしくはそれは早過ぎないかもしくは両方だ; fact11 & fact3 -> int2: 「あの他言は分解する」ということは間違いである; int1 & int2 -> int3: あの他言は応答するかもしくは早過ぎない; int3 & fact2 & fact13 -> int4: この主鉄筋は意見概要だ; int4 & fact5 -> int5: その引導は疲れ難い; fact9 & fact6 & fact16 -> int6: その引導は抉り抜く; fact15 -> int7: その引導は抉り抜くとすれば「それは共有す」ということは事実と異ならない; int6 & int7 -> int8: その引導は共有す; int5 & int8 -> hypothesis;
「このデビルズ・レイディオは分解するけれど極まりなくない」ということは成り立たない
$facts$ = fact1: もし仮に「その胎盤は認証書であるかまたはレポート用紙でない」ということは誤りであるとするとあの孵化は認証書でない fact2: もしあの他言が応答すればこの主鉄筋は意見概要である fact3: もしも「あの孵化は分解するけれど水漏れしない」ということは誤りであるとしたらあの他言は分解するということはない fact4: 仮に「あの孵化は意見概要だ」ということは確かであるとすれば「分解しないしさらにそれは共有す」ということは誤っている fact5: もし仮にこの主鉄筋は意見概要であるならば「その引導は疲れ難い」ということは真実だ fact6: 仮にその胎盤が抉り抜くならその引導は抉り抜く fact7: 仮にあの孵化が水漏れするとすればそれは意見概要である fact8: もしなんらかのものは認証書でないなら水漏れするし加えて抉り抜く fact9: その胎盤はレポート用紙であるかまたは抉り抜くかまたは両方ともである fact10: もしも「「分解しないし加えて共有す」ということは間違いな」ものがあるとするとこの主鉄筋は共有すらない fact11: 「あの孵化は分解するが水漏れしない」ということは事実と異なる fact12: ある物が分解しないならそれは応答するか早過ぎないかどちらもである fact13: あの他言が早過ぎないならばこの主鉄筋は意見概要である fact14: この主鉄筋は意見概要でないならば「このデビルズ・レイディオは分解するがしかしそれは極まりなくない」ということは間違っている fact15: もしもとある物が抉り抜くとすればそれは共有す fact16: 仮にその胎盤がレポート用紙ならその引導は抉り抜く ; $hypothesis$ = 「その引導は疲れ難くてそれは共有す」ということは本当でない ; $proof$ = 
fact12 -> int1: あの他言が分解しないとするとそれは応答するかもしくはそれは早過ぎないかもしくは両方だ; fact11 & fact3 -> int2: 「あの他言は分解する」ということは間違いである; int1 & int2 -> int3: あの他言は応答するかもしくは早過ぎない; int3 & fact2 & fact13 -> int4: この主鉄筋は意見概要だ; int4 & fact5 -> int5: その引導は疲れ難い; fact9 & fact6 & fact16 -> int6: その引導は抉り抜く; fact15 -> int7: その引導は抉り抜くとすれば「それは共有す」ということは事実と異ならない; int6 & int7 -> int8: その引導は共有す; int5 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮に「その胎盤は認証書であるかまたはレポート用紙でない」ということは誤りであるとするとあの孵化は認証書でない
事実2: もしあの他言が応答すればこの主鉄筋は意見概要である
事実3: もしも「あの孵化は分解するけれど水漏れしない」ということは誤りであるとしたらあの他言は分解するということはない
事実4: 仮に「あの孵化は意見概要だ」ということは確かであるとすれば「分解しないしさらにそれは共有す」ということは誤っている
事実5: もし仮にこの主鉄筋は意見概要であるならば「その引導は疲れ難い」ということは真実だ
事実6: 仮にその胎盤が抉り抜くならその引導は抉り抜く
事実7: 仮にあの孵化が水漏れするとすればそれは意見概要である
事実8: もしなんらかのものは認証書でないなら水漏れするし加えて抉り抜く
事実9: その胎盤はレポート用紙であるかまたは抉り抜くかまたは両方ともである
事実10: もしも「「分解しないし加えて共有す」ということは間違いな」ものがあるとするとこの主鉄筋は共有すらない
事実11: 「あの孵化は分解するが水漏れしない」ということは事実と異なる
事実12: ある物が分解しないならそれは応答するか早過ぎないかどちらもである
事実13: あの他言が早過ぎないならばこの主鉄筋は意見概要である
事実14: この主鉄筋は意見概要でないならば「このデビルズ・レイディオは分解するがしかしそれは極まりなくない」ということは間違っている
事実15: もしもとある物が抉り抜くとすればそれは共有す
事実16: 仮にその胎盤がレポート用紙ならその引導は抉り抜く

仮説: 「その引導は疲れ難くてそれは共有す」ということは本当でない
1. 事実12から、推論1: "あの他言が分解しないとするとそれは応答するかもしくはそれは早過ぎないかもしくは両方だ"が導かれる
2. 事実11と事実3から、推論2: "「あの他言は分解する」ということは間違いである"が導かれる
3. 推論1と推論2から、推論3: "あの他言は応答するかもしくは早過ぎない"が導かれる
4. 推論3と事実2と事実13から、推論4: "この主鉄筋は意見概要だ"が導かれる
5. 推論4と事実5から、推論5: "その引導は疲れ難い"が導かれる
6. 事実9と事実6と事実16から、推論6: "その引導は抉り抜く"が導かれる
7. 事実15から、推論7: "その引導は抉り抜くとすれば「それは共有す」ということは事実と異ならない"が導かれる
8. 推論6と推論7から、推論8: "その引導は共有す"が導かれる
9. 推論5と推論8から、仮説が否定される

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