「「地域福祉権利擁護事業であるしその上ｆＨＡだ」ということは成り立つということはない」ものはある
fact1: もし「この引き波は罹り易くない」ということは間違っているということはないならば「それは漏れ出るし共有結合する」ということは間違いだ fact2: この引き波は強発酵でない fact3: 「「疑り深いしＰＤＦだ」ということは誤っている」物はある fact4: 「惨たらしいということはなくて当たり役でない」物はある fact5: もしも何らかのものが漏れ出ないがそれが一稼ぎするとするとこの引き波は正しない fact6: この引き波が押し付けはましくらないとしたら「それは記名押印するし漏れ出る」ということは間違っている fact7: 「「立ち往生しないしまた別居親でない」ものがあればその諸方は成型しない」ということは確かである fact8: なにがしかの物が戯れであるということはなくてそれにＦＨＡでないならこの引き波は堀跡でない fact9: もしもなんらかの物は正しということはないとすれば「地域福祉権利擁護事業であるしそれはＦＨＡだ」ということは成り立たない fact10: 「「漏れ出ないし一稼ぎするということはない」ということは真実な」物があればこの引き波は正しということはない fact11: その朝顔ガイは西棟でない fact12: 「地域福祉権利擁護事業でＦＨＡな」物はある fact13: この引き波は戯れでない fact14: 「漏れ出ないしその上一稼ぎしない」物はある fact15: もし仮になにかは口汚くないとしたら「それが酸化チタンだしそれは口封じだ」ということは誤っている fact16: もし「防護しないし量産しない」ものがあるならあのカーボンナノチューブはＦＨＡであるということはない fact17: 仮に何らかのものが漏れ出るけどそれは一稼ぎしないとすれば「この引き波は正しない」ということは事実である fact18: 「この引き波は倒れ難いし一稼ぎする」ということは嘘だ fact19: もし仮に何かはだだっ広いということはないとすれば「それは浮かすし更に吸収され易い」ということは間違いである fact20: 仮に「この情報化社会は意識しない」ということは誤りでないならば「それはアーカイブするし加えてそれは地域福祉権利擁護事業だ」ということは嘘だ
fact14 & fact10 -> int1: この引き波は正しない; fact9 -> int2: この引き波は正しないとしたら「地域福祉権利擁護事業であるしＦＨＡだ」ということは成り立たない; int1 & int2 -> int3: 「この引き波は地域福祉権利擁護事業であるしそれにＦＨＡである」ということは偽である; int3 -> hypothesis;
fact14 & fact10 -> int1: ¬{C}{a}; fact9 -> int2: ¬{C}{a} -> ¬({D}{a} & {E}{a}); int1 & int2 -> int3: ¬({D}{a} & {E}{a}); int3 -> hypothesis;
$facts$ = fact1: もし「この引き波は罹り易くない」ということは間違っているということはないならば「それは漏れ出るし共有結合する」ということは間違いだ fact2: この引き波は強発酵でない fact3: 「「疑り深いしＰＤＦだ」ということは誤っている」物はある fact4: 「惨たらしいということはなくて当たり役でない」物はある fact5: もしも何らかのものが漏れ出ないがそれが一稼ぎするとするとこの引き波は正しない fact6: この引き波が押し付けはましくらないとしたら「それは記名押印するし漏れ出る」ということは間違っている fact7: 「「立ち往生しないしまた別居親でない」ものがあればその諸方は成型しない」ということは確かである fact8: なにがしかの物が戯れであるということはなくてそれにＦＨＡでないならこの引き波は堀跡でない fact9: もしもなんらかの物は正しということはないとすれば「地域福祉権利擁護事業であるしそれはＦＨＡだ」ということは成り立たない fact10: 「「漏れ出ないし一稼ぎするということはない」ということは真実な」物があればこの引き波は正しということはない fact11: その朝顔ガイは西棟でない fact12: 「地域福祉権利擁護事業でＦＨＡな」物はある fact13: この引き波は戯れでない fact14: 「漏れ出ないしその上一稼ぎしない」物はある fact15: もし仮になにかは口汚くないとしたら「それが酸化チタンだしそれは口封じだ」ということは誤っている fact16: もし「防護しないし量産しない」ものがあるならあのカーボンナノチューブはＦＨＡであるということはない fact17: 仮に何らかのものが漏れ出るけどそれは一稼ぎしないとすれば「この引き波は正しない」ということは事実である fact18: 「この引き波は倒れ難いし一稼ぎする」ということは嘘だ fact19: もし仮に何かはだだっ広いということはないとすれば「それは浮かすし更に吸収され易い」ということは間違いである fact20: 仮に「この情報化社会は意識しない」ということは誤りでないならば「それはアーカイブするし加えてそれは地域福祉権利擁護事業だ」ということは嘘だ ; $hypothesis$ = 「「地域福祉権利擁護事業であるしその上ｆＨＡだ」ということは成り立つということはない」ものはある ; $proof$ = 
fact14 & fact10 -> int1: この引き波は正しない; fact9 -> int2: この引き波は正しないとしたら「地域福祉権利擁護事業であるしＦＨＡだ」ということは成り立たない; int1 & int2 -> int3: 「この引き波は地域福祉権利擁護事業であるしそれにＦＨＡである」ということは偽である; int3 -> hypothesis; __PROVED__
事実1: もし「この引き波は罹り易くない」ということは間違っているということはないならば「それは漏れ出るし共有結合する」ということは間違いだ
事実2: この引き波は強発酵でない
事実3: 「「疑り深いしＰＤＦだ」ということは誤っている」物はある
事実4: 「惨たらしいということはなくて当たり役でない」物はある
事実5: もしも何らかのものが漏れ出ないがそれが一稼ぎするとするとこの引き波は正しない
事実6: この引き波が押し付けはましくらないとしたら「それは記名押印するし漏れ出る」ということは間違っている
事実7: 「「立ち往生しないしまた別居親でない」ものがあればその諸方は成型しない」ということは確かである
事実8: なにがしかの物が戯れであるということはなくてそれにＦＨＡでないならこの引き波は堀跡でない
事実9: もしもなんらかの物は正しということはないとすれば「地域福祉権利擁護事業であるしそれはＦＨＡだ」ということは成り立たない
事実10: 「「漏れ出ないし一稼ぎするということはない」ということは真実な」物があればこの引き波は正しということはない
事実11: その朝顔ガイは西棟でない
事実12: 「地域福祉権利擁護事業でＦＨＡな」物はある
事実13: この引き波は戯れでない
事実14: 「漏れ出ないしその上一稼ぎしない」物はある
事実15: もし仮になにかは口汚くないとしたら「それが酸化チタンだしそれは口封じだ」ということは誤っている
事実16: もし「防護しないし量産しない」ものがあるならあのカーボンナノチューブはＦＨＡであるということはない
事実17: 仮に何らかのものが漏れ出るけどそれは一稼ぎしないとすれば「この引き波は正しない」ということは事実である
事実18: 「この引き波は倒れ難いし一稼ぎする」ということは嘘だ
事実19: もし仮に何かはだだっ広いということはないとすれば「それは浮かすし更に吸収され易い」ということは間違いである
事実20: 仮に「この情報化社会は意識しない」ということは誤りでないならば「それはアーカイブするし加えてそれは地域福祉権利擁護事業だ」ということは嘘だ

仮説: 「「地域福祉権利擁護事業であるしその上ｆＨＡだ」ということは成り立つということはない」ものはある
1. 事実14と事実10から、推論1: "この引き波は正しない"が導かれる
2. 事実9から、推論2: "この引き波は正しないとしたら「地域福祉権利擁護事業であるしＦＨＡだ」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この引き波は地域福祉権利擁護事業であるしそれにＦＨＡである」ということは偽である"が導かれる
4. 推論3から、仮説が導かれる

よって、仮説が証明されました。