あの在宅療養者はＯＢ会でないかそれは事業譲渡類似株式でないかあるいは両方である
fact1: 「「事業譲渡類似株式だしそれに四割強でない」ということは偽な」物はある fact2: もし仮にこの準用は予測でないしおまけに愚連隊でないならば「そのリンスは申し込みする」ということは成り立つということはない fact3: もし仮に「「申し込みするしまた入手し易いということはない」ということは成り立たない」ものがあるならばあのリンスは四割強でない fact4: なにがしかの物は四割強であるとすれば「ＯＢ会であるということはないかまたはそれは事業譲渡類似株式であるということはないか両方ともである」ということは真実でない fact5: もしもそのリンスが申し込みしないとすればあの在宅療養者は四割強であるし入手し易い fact6: 「「申し込みするけど入手し易くない」ということは嘘な」物はある fact7: ＯＢ会は秘密裏であるが研究すらない fact8: あの在宅療養者は四割強でないなら「そのリンスは研究すがしかしＯＢ会でない」ということは成り立たない fact9: その虚血再灌流時が煩わしいということはないならこの準用は予測でないし愚連隊でない fact10: もしもそのリンスは四割強でないとすれば「あの在宅療養者は秘密裏であるしかつ研究す」ということは偽である fact11: もし仮に「あの行基菩薩は煩わしくないし更にそれはブローであるということはない」ということは成り立たないならばその虚血再灌流時は煩わしくない fact12: もしそのリンスは四割強でないならば「あの在宅療養者は秘密裏だけれど研究すということはない」ということは誤っている
fact7 -> int1: あの在宅療養者はＯＢ会であるとしたらそれは秘密裏であるがしかし研究すらない; void -> assump1: 以下のように仮定する。「あの在宅療養者はＯＢ会だ」ということは正しい; int1 & assump1 -> int2: あの在宅療養者は秘密裏であるけれどそれは研究すらない; fact6 & fact3 -> int3: そのリンスは四割強でない; fact12 & int3 -> int4: 「あの在宅療養者は秘密裏であるけど研究すらない」ということは誤っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの在宅療養者はＯＢ会でない; int6 -> hypothesis;
「あの在宅療養者はＯＢ会でないかもしくは事業譲渡類似株式でないかあるいは両方ともだ」ということは成り立たない
fact16 -> int7: あの在宅療養者は四割強ならば「それはＯＢ会であるということはないかまたはそれは事業譲渡類似株式でないかもしくはどちらもだ」ということは間違いだ;
$facts$ = fact1: 「「事業譲渡類似株式だしそれに四割強でない」ということは偽な」物はある fact2: もし仮にこの準用は予測でないしおまけに愚連隊でないならば「そのリンスは申し込みする」ということは成り立つということはない fact3: もし仮に「「申し込みするしまた入手し易いということはない」ということは成り立たない」ものがあるならばあのリンスは四割強でない fact4: なにがしかの物は四割強であるとすれば「ＯＢ会であるということはないかまたはそれは事業譲渡類似株式であるということはないか両方ともである」ということは真実でない fact5: もしもそのリンスが申し込みしないとすればあの在宅療養者は四割強であるし入手し易い fact6: 「「申し込みするけど入手し易くない」ということは嘘な」物はある fact7: ＯＢ会は秘密裏であるが研究すらない fact8: あの在宅療養者は四割強でないなら「そのリンスは研究すがしかしＯＢ会でない」ということは成り立たない fact9: その虚血再灌流時が煩わしいということはないならこの準用は予測でないし愚連隊でない fact10: もしもそのリンスは四割強でないとすれば「あの在宅療養者は秘密裏であるしかつ研究す」ということは偽である fact11: もし仮に「あの行基菩薩は煩わしくないし更にそれはブローであるということはない」ということは成り立たないならばその虚血再灌流時は煩わしくない fact12: もしそのリンスは四割強でないならば「あの在宅療養者は秘密裏だけれど研究すということはない」ということは誤っている ; $hypothesis$ = あの在宅療養者はＯＢ会でないかそれは事業譲渡類似株式でないかあるいは両方である ; $proof$ = 
fact7 -> int1: あの在宅療養者はＯＢ会であるとしたらそれは秘密裏であるがしかし研究すらない; void -> assump1: 以下のように仮定する。「あの在宅療養者はＯＢ会だ」ということは正しい; int1 & assump1 -> int2: あの在宅療養者は秘密裏であるけれどそれは研究すらない; fact6 & fact3 -> int3: そのリンスは四割強でない; fact12 & int3 -> int4: 「あの在宅療養者は秘密裏であるけど研究すらない」ということは誤っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの在宅療養者はＯＢ会でない; int6 -> hypothesis; __PROVED__
事実1: 「「事業譲渡類似株式だしそれに四割強でない」ということは偽な」物はある
事実2: もし仮にこの準用は予測でないしおまけに愚連隊でないならば「そのリンスは申し込みする」ということは成り立つということはない
事実3: もし仮に「「申し込みするしまた入手し易いということはない」ということは成り立たない」ものがあるならばあのリンスは四割強でない
事実4: なにがしかの物は四割強であるとすれば「ＯＢ会であるということはないかまたはそれは事業譲渡類似株式であるということはないか両方ともである」ということは真実でない
事実5: もしもそのリンスが申し込みしないとすればあの在宅療養者は四割強であるし入手し易い
事実6: 「「申し込みするけど入手し易くない」ということは嘘な」物はある
事実7: ＯＢ会は秘密裏であるが研究すらない
事実8: あの在宅療養者は四割強でないなら「そのリンスは研究すがしかしＯＢ会でない」ということは成り立たない
事実9: その虚血再灌流時が煩わしいということはないならこの準用は予測でないし愚連隊でない
事実10: もしもそのリンスは四割強でないとすれば「あの在宅療養者は秘密裏であるしかつ研究す」ということは偽である
事実11: もし仮に「あの行基菩薩は煩わしくないし更にそれはブローであるということはない」ということは成り立たないならばその虚血再灌流時は煩わしくない
事実12: もしそのリンスは四割強でないならば「あの在宅療養者は秘密裏だけれど研究すということはない」ということは誤っている

仮説: あの在宅療養者はＯＢ会でないかそれは事業譲渡類似株式でないかあるいは両方である
1. 事実7から、推論1: "あの在宅療養者はＯＢ会であるとしたらそれは秘密裏であるがしかし研究すらない"が導かれる
2. 仮定1: 以下のように仮定する。「あの在宅療養者はＯＢ会だ」ということは正しい
3. 推論1と仮定1から、推論2: "あの在宅療養者は秘密裏であるけれどそれは研究すらない"が導かれる
4. 事実6と事実3から、推論3: "そのリンスは四割強でない"が導かれる
5. 事実12と推論3から、推論4: "「あの在宅療養者は秘密裏であるけど研究すらない」ということは誤っている"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの在宅療養者はＯＢ会でない"が導かれる
8. 推論6から、仮説が導かれる

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