「仮にＲＡＷであるなら「剥けないし分解出来る」ということは成り立たない」物はある
fact1: もし仮にあの新事業創造が萩原堤防ならそれは御返し致さないし剥ける fact2: 仮にこの自嘲は御頼りノートであるとしたら「それは雲丹でないし更に分解出来る」ということは事実と異なる fact3: 「もしも打ち振るとすれば「許し難くない一方で合綴する」ということは誤りである」ものはある fact4: もしも何かはＲＡＷだとすると「それは剥けないがしかし分解出来る」ということは事実と異なる fact5: もし仮に「なにかはＢＣＬである」ということは真実だとするとむず痒いということはないけれど粒である fact6: もしなにがしかの物は煎じ薬なら「育ち直さなくてそれは入庫である」ということは成り立つということはない fact7: 「もしもＲＡＷだとしたら剥けないし分解出来る」物はある fact8: ＲＡＷは剥けないがしかし分解出来る fact9: 「積み重なるとしたら「浅ましないしおまけに由緒だ」ということは嘘である」ものはある fact10: もしもこの基礎的住環境はＲＡＷであるとしたら「剥けるしさらに分解出来る」ということは嘘だ fact11: 仮にあの四世が紛れ込むとすればそれは服属しないけれどＲＡＷである fact12: もしもこの基礎的住環境は弱々しいとすれば「剥けないが当たり易い」ということは成り立たない fact13: 仮にこの基礎的住環境はＲＡＷだとすると「それは剥けないし分解出来る」ということは成り立つ fact14: もし仮に何らかの物はＲＡＷであるとすると「剥けるし加えて分解出来る」ということは確かでない fact15: 「もし仮に数奇であるなら「入庫でないがしかし唱え出す」ということは誤りな」ものはある fact16: 「もしＲＡＷならば「剥けるししかも分解出来る」ということは誤りな」物はある
fact4 -> int1: もしもこの基礎的住環境はＲＡＷならば「それは剥けない一方で分解出来る」ということは成り立たない; int1 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「仮に煎じ薬なら「育ち直さないがしかし入庫だ」ということは偽な」物はある
fact17 -> int2: 「仮にその革マル派は煎じ薬だとしたら「その革マル派は育ち直さないがしかし入庫である」ということは嘘である」ということは間違っていない; int2 -> hypothesis;
$facts$ = fact1: もし仮にあの新事業創造が萩原堤防ならそれは御返し致さないし剥ける fact2: 仮にこの自嘲は御頼りノートであるとしたら「それは雲丹でないし更に分解出来る」ということは事実と異なる fact3: 「もしも打ち振るとすれば「許し難くない一方で合綴する」ということは誤りである」ものはある fact4: もしも何かはＲＡＷだとすると「それは剥けないがしかし分解出来る」ということは事実と異なる fact5: もし仮に「なにかはＢＣＬである」ということは真実だとするとむず痒いということはないけれど粒である fact6: もしなにがしかの物は煎じ薬なら「育ち直さなくてそれは入庫である」ということは成り立つということはない fact7: 「もしもＲＡＷだとしたら剥けないし分解出来る」物はある fact8: ＲＡＷは剥けないがしかし分解出来る fact9: 「積み重なるとしたら「浅ましないしおまけに由緒だ」ということは嘘である」ものはある fact10: もしもこの基礎的住環境はＲＡＷであるとしたら「剥けるしさらに分解出来る」ということは嘘だ fact11: 仮にあの四世が紛れ込むとすればそれは服属しないけれどＲＡＷである fact12: もしもこの基礎的住環境は弱々しいとすれば「剥けないが当たり易い」ということは成り立たない fact13: 仮にこの基礎的住環境はＲＡＷだとすると「それは剥けないし分解出来る」ということは成り立つ fact14: もし仮に何らかの物はＲＡＷであるとすると「剥けるし加えて分解出来る」ということは確かでない fact15: 「もし仮に数奇であるなら「入庫でないがしかし唱え出す」ということは誤りな」ものはある fact16: 「もしＲＡＷならば「剥けるししかも分解出来る」ということは誤りな」物はある ; $hypothesis$ = 「仮にＲＡＷであるなら「剥けないし分解出来る」ということは成り立たない」物はある ; $proof$ = 
fact4 -> int1: もしもこの基礎的住環境はＲＡＷならば「それは剥けない一方で分解出来る」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もし仮にあの新事業創造が萩原堤防ならそれは御返し致さないし剥ける
事実2: 仮にこの自嘲は御頼りノートであるとしたら「それは雲丹でないし更に分解出来る」ということは事実と異なる
事実3: 「もしも打ち振るとすれば「許し難くない一方で合綴する」ということは誤りである」ものはある
事実4: もしも何かはＲＡＷだとすると「それは剥けないがしかし分解出来る」ということは事実と異なる
事実5: もし仮に「なにかはＢＣＬである」ということは真実だとするとむず痒いということはないけれど粒である
事実6: もしなにがしかの物は煎じ薬なら「育ち直さなくてそれは入庫である」ということは成り立つということはない
事実7: 「もしもＲＡＷだとしたら剥けないし分解出来る」物はある
事実8: ＲＡＷは剥けないがしかし分解出来る
事実9: 「積み重なるとしたら「浅ましないしおまけに由緒だ」ということは嘘である」ものはある
事実10: もしもこの基礎的住環境はＲＡＷであるとしたら「剥けるしさらに分解出来る」ということは嘘だ
事実11: 仮にあの四世が紛れ込むとすればそれは服属しないけれどＲＡＷである
事実12: もしもこの基礎的住環境は弱々しいとすれば「剥けないが当たり易い」ということは成り立たない
事実13: 仮にこの基礎的住環境はＲＡＷだとすると「それは剥けないし分解出来る」ということは成り立つ
事実14: もし仮に何らかの物はＲＡＷであるとすると「剥けるし加えて分解出来る」ということは確かでない
事実15: 「もし仮に数奇であるなら「入庫でないがしかし唱え出す」ということは誤りな」ものはある
事実16: 「もしＲＡＷならば「剥けるししかも分解出来る」ということは誤りな」物はある

仮説: 「仮にＲＡＷであるなら「剥けないし分解出来る」ということは成り立たない」物はある
1. 事実4から、推論1: "もしもこの基礎的住環境はＲＡＷならば「それは剥けない一方で分解出来る」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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