「このイスラエル国防軍はフレーズでない」ということは本当である
fact1: この食事摂取量が例外無いしまたフレーズだとすればこのイスラエル国防軍はフレーズでない fact2: もしこの食事摂取量が情報収集するということはないならばこの法号はＳＥＣであるか例外無い fact3: 「料理する」ものはある fact4: もしもこの講和後が暴露だとするとこのイスラエル国防軍はフレーズだ fact5: もしなにかは浴びせないとすれば後ずさるしそれにそれはパニクる fact6: もし仮にこの法号は例外無いとすれば「あのレシチンは料理する」ということは本当である fact7: 仮にあるものは浴びせるということはないとすれば「パニクる」ということは成り立つ fact8: 仮にこの法号がＳＥＣであるとすればあのレシチンは料理する fact9: もしも「あのレシチンは通婚する一方でそれは物らしくない」ということは本当であるとすると浴びせない fact10: 「「理由付けでまた投げ落とさない」ということは誤りな」物はある fact11: 仮になにがしかのものが情報収集するし更にそれが通婚するとしたらこの食事摂取量は例外無い fact12: もし仮にあのレシチンがフレーズであるならばこのイスラエル国防軍は物らしい fact13: 「「通婚するしその上例外無くない」ということは誤りな」ものはある fact14: あのレシチンは通婚するが物らしくない fact15: 仮に「とあるものは通婚する」ということは本当であるならばＳＥＣだ fact16: 物らしいということはないものはフレーズだしそれに情報収集する fact17: もし仮に「料理するし後ずさる」物があるとするとこの講和後は胡坐である fact18: この食事摂取量は胡坐であるしその上例外無い fact19: もし仮に「「理由付けであるしそれに投げ落とさない」ということは成り立たない」ものがあるならこの食事摂取量は情報収集しない fact20: もしもとある物は胡坐であるとするとそれは暴露である fact21: 仮に「投げ落とす」物があるとしたらこの食事摂取量は情報収集しない
fact10 & fact19 -> int1: この食事摂取量は情報収集しない; int1 & fact2 -> int2: この法号はＳＥＣであるかもしくは例外無いかまたはどちらもである; int2 & fact8 & fact6 -> int3: 「あのレシチンは料理する」ということは真実である; fact9 & fact14 -> int4: あのレシチンは浴びせない; fact5 -> int5: 仮に「あのレシチンは浴びせない」ということは嘘でないとするとそれは後ずさるしパニクる; int4 & int5 -> int6: 「あのレシチンは後ずさるしパニクる」ということは確かである; int6 -> int7: あのレシチンは後ずさる; int3 & int7 -> int8: あのレシチンは料理するしおまけにそれは後ずさる; int8 -> int9: 何らかのものは料理するし後ずさる; int9 & fact17 -> int10: この講和後は胡坐だ; fact20 -> int11: もしこの講和後は胡坐であるとしたらそれは暴露である; int10 & int11 -> int12: 「この講和後は暴露である」ということは本当だ; int12 & fact4 -> hypothesis;
このイスラエル国防軍はフレーズでない
fact22 -> int13: この食事摂取量は例外無い;
$facts$ = fact1: この食事摂取量が例外無いしまたフレーズだとすればこのイスラエル国防軍はフレーズでない fact2: もしこの食事摂取量が情報収集するということはないならばこの法号はＳＥＣであるか例外無い fact3: 「料理する」ものはある fact4: もしもこの講和後が暴露だとするとこのイスラエル国防軍はフレーズだ fact5: もしなにかは浴びせないとすれば後ずさるしそれにそれはパニクる fact6: もし仮にこの法号は例外無いとすれば「あのレシチンは料理する」ということは本当である fact7: 仮にあるものは浴びせるということはないとすれば「パニクる」ということは成り立つ fact8: 仮にこの法号がＳＥＣであるとすればあのレシチンは料理する fact9: もしも「あのレシチンは通婚する一方でそれは物らしくない」ということは本当であるとすると浴びせない fact10: 「「理由付けでまた投げ落とさない」ということは誤りな」物はある fact11: 仮になにがしかのものが情報収集するし更にそれが通婚するとしたらこの食事摂取量は例外無い fact12: もし仮にあのレシチンがフレーズであるならばこのイスラエル国防軍は物らしい fact13: 「「通婚するしその上例外無くない」ということは誤りな」ものはある fact14: あのレシチンは通婚するが物らしくない fact15: 仮に「とあるものは通婚する」ということは本当であるならばＳＥＣだ fact16: 物らしいということはないものはフレーズだしそれに情報収集する fact17: もし仮に「料理するし後ずさる」物があるとするとこの講和後は胡坐である fact18: この食事摂取量は胡坐であるしその上例外無い fact19: もし仮に「「理由付けであるしそれに投げ落とさない」ということは成り立たない」ものがあるならこの食事摂取量は情報収集しない fact20: もしもとある物は胡坐であるとするとそれは暴露である fact21: 仮に「投げ落とす」物があるとしたらこの食事摂取量は情報収集しない ; $hypothesis$ = 「このイスラエル国防軍はフレーズでない」ということは本当である ; $proof$ = 
fact10 & fact19 -> int1: この食事摂取量は情報収集しない; int1 & fact2 -> int2: この法号はＳＥＣであるかもしくは例外無いかまたはどちらもである; int2 & fact8 & fact6 -> int3: 「あのレシチンは料理する」ということは真実である; fact9 & fact14 -> int4: あのレシチンは浴びせない; fact5 -> int5: 仮に「あのレシチンは浴びせない」ということは嘘でないとするとそれは後ずさるしパニクる; int4 & int5 -> int6: 「あのレシチンは後ずさるしパニクる」ということは確かである; int6 -> int7: あのレシチンは後ずさる; int3 & int7 -> int8: あのレシチンは料理するしおまけにそれは後ずさる; int8 -> int9: 何らかのものは料理するし後ずさる; int9 & fact17 -> int10: この講和後は胡坐だ; fact20 -> int11: もしこの講和後は胡坐であるとしたらそれは暴露である; int10 & int11 -> int12: 「この講和後は暴露である」ということは本当だ; int12 & fact4 -> hypothesis; __DISPROVED__
事実1: この食事摂取量が例外無いしまたフレーズだとすればこのイスラエル国防軍はフレーズでない
事実2: もしこの食事摂取量が情報収集するということはないならばこの法号はＳＥＣであるか例外無い
事実3: 「料理する」ものはある
事実4: もしもこの講和後が暴露だとするとこのイスラエル国防軍はフレーズだ
事実5: もしなにかは浴びせないとすれば後ずさるしそれにそれはパニクる
事実6: もし仮にこの法号は例外無いとすれば「あのレシチンは料理する」ということは本当である
事実7: 仮にあるものは浴びせるということはないとすれば「パニクる」ということは成り立つ
事実8: 仮にこの法号がＳＥＣであるとすればあのレシチンは料理する
事実9: もしも「あのレシチンは通婚する一方でそれは物らしくない」ということは本当であるとすると浴びせない
事実10: 「「理由付けでまた投げ落とさない」ということは誤りな」物はある
事実11: 仮になにがしかのものが情報収集するし更にそれが通婚するとしたらこの食事摂取量は例外無い
事実12: もし仮にあのレシチンがフレーズであるならばこのイスラエル国防軍は物らしい
事実13: 「「通婚するしその上例外無くない」ということは誤りな」ものはある
事実14: あのレシチンは通婚するが物らしくない
事実15: 仮に「とあるものは通婚する」ということは本当であるならばＳＥＣだ
事実16: 物らしいということはないものはフレーズだしそれに情報収集する
事実17: もし仮に「料理するし後ずさる」物があるとするとこの講和後は胡坐である
事実18: この食事摂取量は胡坐であるしその上例外無い
事実19: もし仮に「「理由付けであるしそれに投げ落とさない」ということは成り立たない」ものがあるならこの食事摂取量は情報収集しない
事実20: もしもとある物は胡坐であるとするとそれは暴露である
事実21: 仮に「投げ落とす」物があるとしたらこの食事摂取量は情報収集しない

仮説: 「このイスラエル国防軍はフレーズでない」ということは本当である
1. 事実10と事実19から、推論1: "この食事摂取量は情報収集しない"が導かれる
2. 推論1と事実2から、推論2: "この法号はＳＥＣであるかもしくは例外無いかまたはどちらもである"が導かれる
3. 推論2と事実8と事実6から、推論3: "「あのレシチンは料理する」ということは真実である"が導かれる
4. 事実9と事実14から、推論4: "あのレシチンは浴びせない"が導かれる
5. 事実5から、推論5: "仮に「あのレシチンは浴びせない」ということは嘘でないとするとそれは後ずさるしパニクる"が導かれる
6. 推論4と推論5から、推論6: "「あのレシチンは後ずさるしパニクる」ということは確かである"が導かれる
7. 推論6から、推論7: "あのレシチンは後ずさる"が導かれる
8. 推論3と推論7から、推論8: "あのレシチンは料理するしおまけにそれは後ずさる"が導かれる
9. 推論8から、推論9: "何らかのものは料理するし後ずさる"が導かれる
10. 推論9と事実17から、推論10: "この講和後は胡坐だ"が導かれる
11. 事実20から、推論11: "もしこの講和後は胡坐であるとしたらそれは暴露である"が導かれる
12. 推論10と推論11から、推論12: "「この講和後は暴露である」ということは本当だ"が導かれる
13. 推論12と事実4から、仮説が否定される

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