「その親機は誘発し易くないししかも診査・観察しない」ということは嘘だ
fact1: 仮にその親機は艶っぽくてかつ誘発し易いとするとそれは聞き慣れない fact2: その体盤はすばしこい fact3: もしもその親機が聞き慣れないとすればその体盤は形成し易くないが聞き慣れる fact4: もしあるものが遠いとするとそれは平ったい fact5: 「その支払い対価は診査・観察しない」ということは正しい fact6: 「その親機は診査・観察しない」ということは正しい fact7: この多聞天は艶っぽいということはない fact8: その互換はすばしこくない fact9: その体盤は艶っぽくない fact10: この運営改善は形成し易くない fact11: 仮にあのプロスタグランジンが聞き忘れるならあの技能は遠い fact12: 平ったいものは会社分割無効確認でない fact13: その親機はレコード盤である fact14: 仮になんらかのものは会社分割無効確認でないとすれば「それはシャットアウトしなくて加えてそれは形成し易くない」ということは本当だということはない fact15: 仮にある物は艶っぽくないなら「それは誘発し易くないしそれは診査・観察しない」ということは正しいということはない fact16: その日野ＫＣ‐ＨＴがけばけばしくないとするとあのプロスタグランジンは聞き忘れるかまたは遠い fact17: その親機は通観しない一方で持参致す fact18: あの技能がすばしこくないならばその体盤は聞き慣れるけど数学科であるということはない fact19: その親機は艶っぽくて数学科である fact20: もし仮にその体盤は形成し易くないがしかし聞き慣れればそれはすばしこいということはない fact21: もし仮に「とある物はシャットアウトしないし形成し易くない」ということは成り立つということはないとしたらそれはすばしこくない fact22: その会社自体は形成し易くない fact23: その日野ＫＣ‐ＨＴはけばけばしくない
fact19 -> int1: その親機は艶っぽい; void -> assump1: 以下のように仮定する。「その親機は誘発し易い」ということは確かだ; int1 & assump1 -> int2: その親機は艶っぽくて誘発し易い; int2 & fact1 -> int3: その親機は聞き慣れない; int3 & fact3 -> int4: その体盤は形成し易いということはないけど聞き慣れる; int4 & fact20 -> int5: その体盤はすばしこくない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: その親機は誘発し易くない; int7 & fact6 -> hypothesis;
「その親機は誘発し易くないしそれにそれは診査・観察するということはない」ということは成り立たない
fact31 -> int8: 仮にその親機は艶っぽくないなら「それは誘発し易いということはなくて診査・観察しない」ということは確かでない; fact29 -> int9: 仮に「あの技能はシャットアウトしなくてかつ形成し易くない」ということは間違っているとしたら「すばしこくない」ということは事実だ; fact24 -> int10: もしもあの技能は会社分割無効確認でないなら「それはシャットアウトするということはなくて更にそれは形成し易くない」ということは誤りだ; fact30 -> int11: もしもあの技能が平ったいとすればそれは会社分割無効確認でない; fact25 -> int12: 仮にあの技能が遠いとするとそれは平ったい; fact27 & fact32 -> int13: あのプロスタグランジンは聞き忘れるかまたはそれは遠いかあるいは両方ともである;
$facts$ = fact1: 仮にその親機は艶っぽくてかつ誘発し易いとするとそれは聞き慣れない fact2: その体盤はすばしこい fact3: もしもその親機が聞き慣れないとすればその体盤は形成し易くないが聞き慣れる fact4: もしあるものが遠いとするとそれは平ったい fact5: 「その支払い対価は診査・観察しない」ということは正しい fact6: 「その親機は診査・観察しない」ということは正しい fact7: この多聞天は艶っぽいということはない fact8: その互換はすばしこくない fact9: その体盤は艶っぽくない fact10: この運営改善は形成し易くない fact11: 仮にあのプロスタグランジンが聞き忘れるならあの技能は遠い fact12: 平ったいものは会社分割無効確認でない fact13: その親機はレコード盤である fact14: 仮になんらかのものは会社分割無効確認でないとすれば「それはシャットアウトしなくて加えてそれは形成し易くない」ということは本当だということはない fact15: 仮にある物は艶っぽくないなら「それは誘発し易くないしそれは診査・観察しない」ということは正しいということはない fact16: その日野ＫＣ‐ＨＴがけばけばしくないとするとあのプロスタグランジンは聞き忘れるかまたは遠い fact17: その親機は通観しない一方で持参致す fact18: あの技能がすばしこくないならばその体盤は聞き慣れるけど数学科であるということはない fact19: その親機は艶っぽくて数学科である fact20: もし仮にその体盤は形成し易くないがしかし聞き慣れればそれはすばしこいということはない fact21: もし仮に「とある物はシャットアウトしないし形成し易くない」ということは成り立つということはないとしたらそれはすばしこくない fact22: その会社自体は形成し易くない fact23: その日野ＫＣ‐ＨＴはけばけばしくない ; $hypothesis$ = 「その親機は誘発し易くないししかも診査・観察しない」ということは嘘だ ; $proof$ = 
fact19 -> int1: その親機は艶っぽい; void -> assump1: 以下のように仮定する。「その親機は誘発し易い」ということは確かだ; int1 & assump1 -> int2: その親機は艶っぽくて誘発し易い; int2 & fact1 -> int3: その親機は聞き慣れない; int3 & fact3 -> int4: その体盤は形成し易いということはないけど聞き慣れる; int4 & fact20 -> int5: その体盤はすばしこくない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: その親機は誘発し易くない; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にその親機は艶っぽくてかつ誘発し易いとするとそれは聞き慣れない
事実2: その体盤はすばしこい
事実3: もしもその親機が聞き慣れないとすればその体盤は形成し易くないが聞き慣れる
事実4: もしあるものが遠いとするとそれは平ったい
事実5: 「その支払い対価は診査・観察しない」ということは正しい
事実6: 「その親機は診査・観察しない」ということは正しい
事実7: この多聞天は艶っぽいということはない
事実8: その互換はすばしこくない
事実9: その体盤は艶っぽくない
事実10: この運営改善は形成し易くない
事実11: 仮にあのプロスタグランジンが聞き忘れるならあの技能は遠い
事実12: 平ったいものは会社分割無効確認でない
事実13: その親機はレコード盤である
事実14: 仮になんらかのものは会社分割無効確認でないとすれば「それはシャットアウトしなくて加えてそれは形成し易くない」ということは本当だということはない
事実15: 仮にある物は艶っぽくないなら「それは誘発し易くないしそれは診査・観察しない」ということは正しいということはない
事実16: その日野ＫＣ‐ＨＴがけばけばしくないとするとあのプロスタグランジンは聞き忘れるかまたは遠い
事実17: その親機は通観しない一方で持参致す
事実18: あの技能がすばしこくないならばその体盤は聞き慣れるけど数学科であるということはない
事実19: その親機は艶っぽくて数学科である
事実20: もし仮にその体盤は形成し易くないがしかし聞き慣れればそれはすばしこいということはない
事実21: もし仮に「とある物はシャットアウトしないし形成し易くない」ということは成り立つということはないとしたらそれはすばしこくない
事実22: その会社自体は形成し易くない
事実23: その日野ＫＣ‐ＨＴはけばけばしくない

仮説: 「その親機は誘発し易くないししかも診査・観察しない」ということは嘘だ
1. 事実19から、推論1: "その親機は艶っぽい"が導かれる
2. 仮定1: 以下のように仮定する。「その親機は誘発し易い」ということは確かだ
3. 推論1と仮定1から、推論2: "その親機は艶っぽくて誘発し易い"が導かれる
4. 推論2と事実1から、推論3: "その親機は聞き慣れない"が導かれる
5. 推論3と事実3から、推論4: "その体盤は形成し易いということはないけど聞き慣れる"が導かれる
6. 推論4と事実20から、推論5: "その体盤はすばしこくない"が導かれる
7. 推論5と事実2から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その親機は誘発し易くない"が導かれる
9. 推論7と事実6から、仮説が否定される

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