「「もしも投げ終わらないならば「短頭化であるかあるいは持て囃さない」ということは事実と異なる」ものはある」ということは確かでない
fact1: 「もし出現し易くないとすれば送り込む」物はある fact2: もし仮になにかはギブしないとすればそれは政府負担金相当額であるか反り返らないかまたはどちらもだ fact3: なんらかの物は投げ終わらないとすれば「それは短頭化であるかあるいは持て囃さないか両方ともだ」ということは成り立たない fact4: 「「もしもＨＳＦだということはないとすると眩いか宣布しないか両方ともな」物はある」ということは成り立つ fact5: もしもこの軍隊生活が宣布しないとしたら短頭化だ fact6: 「抗潰瘍薬でないとすれば「情報処理技能検定試験であるか訝らないかもしくはどちらもである」ということは間違いな」ものはある fact7: 「もしも協調性だということはないとしたら「市民会館であるかあるいは練習しないかもしくは両方ともである」ということは間違いな」ものはある fact8: あの木こりは知らせ合わないとしたら「「それは短頭化であるかあるいは受け入れ易くない」ということは確かである」ということは間違いである fact9: 仮にある物が市民会館でないとしたら攻め入るかもしくは歓心でないかまたは両方ともである fact10: この伊波礼彦は古ぼけるということはないとしたら「それが市民会館であるかまたは烏滸はましくらないかあるいはどちらもだ」ということは成り立つ fact11: 「もし仮に教員控え室でないとすればＣＡＵＳＡであるかまたは軽ーいということはないかあるいは両方ともである」物はある fact12: もしこのハイリスクは持て囃さないなら「大納言であるかあるいは資金量でないか両方である」ということは間違いである fact13: 偉くない物は人らしいかもしくは寄与度でない fact14: 「仮に情報処理技術だとすると「温かいかまたはマニエリスムでないかあるいは両方ともである」ということは偽である」物はある fact15: もし仮にある物が投げ終わるということはないならそれは持て囃す fact16: もしもなにかは投げ終わるとしたら「短頭化であるかまたは持て囃すということはない」ということは偽である fact17: もしもこのハイリスクが選択し易くないとするとそれは投げ終わるかまたはそれは教員控え室でないかもしくは両方ともだ
fact3 -> int1: 「このハイリスクは投げ終わらない」ということは成り立つとすると「それは短頭化であるかそれは持て囃さない」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 「もし出現し易くないとすれば送り込む」物はある fact2: もし仮になにかはギブしないとすればそれは政府負担金相当額であるか反り返らないかまたはどちらもだ fact3: なんらかの物は投げ終わらないとすれば「それは短頭化であるかあるいは持て囃さないか両方ともだ」ということは成り立たない fact4: 「「もしもＨＳＦだということはないとすると眩いか宣布しないか両方ともな」物はある」ということは成り立つ fact5: もしもこの軍隊生活が宣布しないとしたら短頭化だ fact6: 「抗潰瘍薬でないとすれば「情報処理技能検定試験であるか訝らないかもしくはどちらもである」ということは間違いな」ものはある fact7: 「もしも協調性だということはないとしたら「市民会館であるかあるいは練習しないかもしくは両方ともである」ということは間違いな」ものはある fact8: あの木こりは知らせ合わないとしたら「「それは短頭化であるかあるいは受け入れ易くない」ということは確かである」ということは間違いである fact9: 仮にある物が市民会館でないとしたら攻め入るかもしくは歓心でないかまたは両方ともである fact10: この伊波礼彦は古ぼけるということはないとしたら「それが市民会館であるかまたは烏滸はましくらないかあるいはどちらもだ」ということは成り立つ fact11: 「もし仮に教員控え室でないとすればＣＡＵＳＡであるかまたは軽ーいということはないかあるいは両方ともである」物はある fact12: もしこのハイリスクは持て囃さないなら「大納言であるかあるいは資金量でないか両方である」ということは間違いである fact13: 偉くない物は人らしいかもしくは寄与度でない fact14: 「仮に情報処理技術だとすると「温かいかまたはマニエリスムでないかあるいは両方ともである」ということは偽である」物はある fact15: もし仮にある物が投げ終わるということはないならそれは持て囃す fact16: もしもなにかは投げ終わるとしたら「短頭化であるかまたは持て囃すということはない」ということは偽である fact17: もしもこのハイリスクが選択し易くないとするとそれは投げ終わるかまたはそれは教員控え室でないかもしくは両方ともだ ; $hypothesis$ = 「「もしも投げ終わらないならば「短頭化であるかあるいは持て囃さない」ということは事実と異なる」ものはある」ということは確かでない ; $proof$ = 
fact3 -> int1: 「このハイリスクは投げ終わらない」ということは成り立つとすると「それは短頭化であるかそれは持て囃さない」ということは事実と異なる; int1 -> hypothesis; __DISPROVED__
事実1: 「もし出現し易くないとすれば送り込む」物はある
事実2: もし仮になにかはギブしないとすればそれは政府負担金相当額であるか反り返らないかまたはどちらもだ
事実3: なんらかの物は投げ終わらないとすれば「それは短頭化であるかあるいは持て囃さないか両方ともだ」ということは成り立たない
事実4: 「「もしもＨＳＦだということはないとすると眩いか宣布しないか両方ともな」物はある」ということは成り立つ
事実5: もしもこの軍隊生活が宣布しないとしたら短頭化だ
事実6: 「抗潰瘍薬でないとすれば「情報処理技能検定試験であるか訝らないかもしくはどちらもである」ということは間違いな」ものはある
事実7: 「もしも協調性だということはないとしたら「市民会館であるかあるいは練習しないかもしくは両方ともである」ということは間違いな」ものはある
事実8: あの木こりは知らせ合わないとしたら「「それは短頭化であるかあるいは受け入れ易くない」ということは確かである」ということは間違いである
事実9: 仮にある物が市民会館でないとしたら攻め入るかもしくは歓心でないかまたは両方ともである
事実10: この伊波礼彦は古ぼけるということはないとしたら「それが市民会館であるかまたは烏滸はましくらないかあるいはどちらもだ」ということは成り立つ
事実11: 「もし仮に教員控え室でないとすればＣＡＵＳＡであるかまたは軽ーいということはないかあるいは両方ともである」物はある
事実12: もしこのハイリスクは持て囃さないなら「大納言であるかあるいは資金量でないか両方である」ということは間違いである
事実13: 偉くない物は人らしいかもしくは寄与度でない
事実14: 「仮に情報処理技術だとすると「温かいかまたはマニエリスムでないかあるいは両方ともである」ということは偽である」物はある
事実15: もし仮にある物が投げ終わるということはないならそれは持て囃す
事実16: もしもなにかは投げ終わるとしたら「短頭化であるかまたは持て囃すということはない」ということは偽である
事実17: もしもこのハイリスクが選択し易くないとするとそれは投げ終わるかまたはそれは教員控え室でないかもしくは両方ともだ

仮説: 「「もしも投げ終わらないならば「短頭化であるかあるいは持て囃さない」ということは事実と異なる」ものはある」ということは確かでない
1. 事実3から、推論1: "「このハイリスクは投げ終わらない」ということは成り立つとすると「それは短頭化であるかそれは持て囃さない」ということは事実と異なる"が導かれる
2. 推論1から、仮説が否定される

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