その隣組はど偉くない
fact1: 「その美容術は転げ落ちる」ということは成り立つとするとそれは引き抜く fact2: 「「その美容術はど偉いけれど弾き易くない」ということは成り立つということはない」ということは真実だ fact3: もし仮にその美容術がクラッチバッグでなくて加えて出難くないならこの二十年代半ばは欠する fact4: 「その美容術はクラッチバッグでないけど出難い」ということは誤っている fact5: その隣組がクラッチバッグならそれはど偉いしそれは転げ落ちない fact6: 何らかの物が転げ落ちないならそれは引き抜くししかもそれは欠する fact7: もしもこの二十年代半ばが欠するとすればその隣組はど偉くない fact8: 「その美容術はクラッチバッグでないししかも出難くない」ということは間違っているとしたら展開するということはない fact9: もし仮にその美容術がクラッチバッグでないけど出難いとしたらこの二十年代半ばは欠する fact10: もし仮になにがしかのものが唱えばそれは展開しないがど偉い fact11: もしもその美容術がクラッチバッグであるけど出難くないとすればこの二十年代半ばは欠する fact12: その美容術は転げ落ちる fact13: その美容術は引き抜く fact14: 「その美容術はクラッチバッグであるがしかし出難くない」ということは誤っている fact15: もしその美容術が展開しないがど偉いとしたらその隣組はど偉い fact16: もし何かは転げ落ちるとしたらそれは引き抜く fact17: 仮にとある物が転げ落ちるならそれは引き抜くがしかし唱わない fact18: 仮にこの二十年代半ばが考え直すということはなくて更にむくつけしないならばその美容術は転げ落ちない fact19: このグラフィティ号は転げ落ちる fact20: もしも何らかの物は展開しないとしたら「引き抜く一方で唱うということはない」ということは成り立たない fact21: もし仮にその美容術が欠しないしそれに唱わないならこの二十年代半ばは展開する fact22: 慕わしい物は四年制だけど手引きしない fact23: 甚だしものは考え直さないしむくつけしない fact24: もし「この二十年代半ばは腐れないがしかしそれは切り返す」ということは嘘であるとすれば甚だし
void -> assump1: 以下のように仮定する。「その美容術はクラッチバッグでないし出難くない」ということは間違っている; fact8 & assump1 -> int1: その美容術は展開しない; fact20 -> int2: もし仮にその美容術は展開するということはないならば「それは引き抜くし更にそれは唱わない」ということは成り立たない; int1 & int2 -> int3: 「「その美容術は引き抜く一方で唱うということはない」ということは成り立たない」ということは本当である; fact17 -> int4: もし仮にその美容術が転げ落ちるとするとそれは引き抜くが唱うということはない; int4 & fact12 -> int5: その美容術は引き抜くけれど唱わない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その美容術はクラッチバッグでないし出難いということはない; int7 & fact3 -> int8: この二十年代半ばは欠する; int8 & fact7 -> hypothesis;
その隣組はど偉い
fact26 -> int9: もし仮にその美容術が唱うとすればそれは展開しない一方でど偉い; fact27 -> int10: もし仮にその美容術が転げ落ちないならば引き抜くし欠する; fact30 -> int11: 仮にこの二十年代半ばが甚だしとすると考え直さないしそれはむくつけしない;
$facts$ = fact1: 「その美容術は転げ落ちる」ということは成り立つとするとそれは引き抜く fact2: 「「その美容術はど偉いけれど弾き易くない」ということは成り立つということはない」ということは真実だ fact3: もし仮にその美容術がクラッチバッグでなくて加えて出難くないならこの二十年代半ばは欠する fact4: 「その美容術はクラッチバッグでないけど出難い」ということは誤っている fact5: その隣組がクラッチバッグならそれはど偉いしそれは転げ落ちない fact6: 何らかの物が転げ落ちないならそれは引き抜くししかもそれは欠する fact7: もしもこの二十年代半ばが欠するとすればその隣組はど偉くない fact8: 「その美容術はクラッチバッグでないししかも出難くない」ということは間違っているとしたら展開するということはない fact9: もし仮にその美容術がクラッチバッグでないけど出難いとしたらこの二十年代半ばは欠する fact10: もし仮になにがしかのものが唱えばそれは展開しないがど偉い fact11: もしもその美容術がクラッチバッグであるけど出難くないとすればこの二十年代半ばは欠する fact12: その美容術は転げ落ちる fact13: その美容術は引き抜く fact14: 「その美容術はクラッチバッグであるがしかし出難くない」ということは誤っている fact15: もしその美容術が展開しないがど偉いとしたらその隣組はど偉い fact16: もし何かは転げ落ちるとしたらそれは引き抜く fact17: 仮にとある物が転げ落ちるならそれは引き抜くがしかし唱わない fact18: 仮にこの二十年代半ばが考え直すということはなくて更にむくつけしないならばその美容術は転げ落ちない fact19: このグラフィティ号は転げ落ちる fact20: もしも何らかの物は展開しないとしたら「引き抜く一方で唱うということはない」ということは成り立たない fact21: もし仮にその美容術が欠しないしそれに唱わないならこの二十年代半ばは展開する fact22: 慕わしい物は四年制だけど手引きしない fact23: 甚だしものは考え直さないしむくつけしない fact24: もし「この二十年代半ばは腐れないがしかしそれは切り返す」ということは嘘であるとすれば甚だし ; $hypothesis$ = その隣組はど偉くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その美容術はクラッチバッグでないし出難くない」ということは間違っている; fact8 & assump1 -> int1: その美容術は展開しない; fact20 -> int2: もし仮にその美容術は展開するということはないならば「それは引き抜くし更にそれは唱わない」ということは成り立たない; int1 & int2 -> int3: 「「その美容術は引き抜く一方で唱うということはない」ということは成り立たない」ということは本当である; fact17 -> int4: もし仮にその美容術が転げ落ちるとするとそれは引き抜くが唱うということはない; int4 & fact12 -> int5: その美容術は引き抜くけれど唱わない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その美容術はクラッチバッグでないし出難いということはない; int7 & fact3 -> int8: この二十年代半ばは欠する; int8 & fact7 -> hypothesis; __PROVED__
事実1: 「その美容術は転げ落ちる」ということは成り立つとするとそれは引き抜く
事実2: 「「その美容術はど偉いけれど弾き易くない」ということは成り立つということはない」ということは真実だ
事実3: もし仮にその美容術がクラッチバッグでなくて加えて出難くないならこの二十年代半ばは欠する
事実4: 「その美容術はクラッチバッグでないけど出難い」ということは誤っている
事実5: その隣組がクラッチバッグならそれはど偉いしそれは転げ落ちない
事実6: 何らかの物が転げ落ちないならそれは引き抜くししかもそれは欠する
事実7: もしもこの二十年代半ばが欠するとすればその隣組はど偉くない
事実8: 「その美容術はクラッチバッグでないししかも出難くない」ということは間違っているとしたら展開するということはない
事実9: もし仮にその美容術がクラッチバッグでないけど出難いとしたらこの二十年代半ばは欠する
事実10: もし仮になにがしかのものが唱えばそれは展開しないがど偉い
事実11: もしもその美容術がクラッチバッグであるけど出難くないとすればこの二十年代半ばは欠する
事実12: その美容術は転げ落ちる
事実13: その美容術は引き抜く
事実14: 「その美容術はクラッチバッグであるがしかし出難くない」ということは誤っている
事実15: もしその美容術が展開しないがど偉いとしたらその隣組はど偉い
事実16: もし何かは転げ落ちるとしたらそれは引き抜く
事実17: 仮にとある物が転げ落ちるならそれは引き抜くがしかし唱わない
事実18: 仮にこの二十年代半ばが考え直すということはなくて更にむくつけしないならばその美容術は転げ落ちない
事実19: このグラフィティ号は転げ落ちる
事実20: もしも何らかの物は展開しないとしたら「引き抜く一方で唱うということはない」ということは成り立たない
事実21: もし仮にその美容術が欠しないしそれに唱わないならこの二十年代半ばは展開する
事実22: 慕わしい物は四年制だけど手引きしない
事実23: 甚だしものは考え直さないしむくつけしない
事実24: もし「この二十年代半ばは腐れないがしかしそれは切り返す」ということは嘘であるとすれば甚だし

仮説: その隣組はど偉くない
1. 仮定1: 以下のように仮定する。「その美容術はクラッチバッグでないし出難くない」ということは間違っている
2. 事実8と仮定1から、推論1: "その美容術は展開しない"が導かれる
3. 事実20から、推論2: "もし仮にその美容術は展開するということはないならば「それは引き抜くし更にそれは唱わない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "「「その美容術は引き抜く一方で唱うということはない」ということは成り立たない」ということは本当である"が導かれる
5. 事実17から、推論4: "もし仮にその美容術が転げ落ちるとするとそれは引き抜くが唱うということはない"が導かれる
6. 推論4と事実12から、推論5: "その美容術は引き抜くけれど唱わない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その美容術はクラッチバッグでないし出難いということはない"が導かれる
9. 推論7と事実3から、推論8: "この二十年代半ばは欠する"が導かれる
10. 推論8と事実7から、仮説が導かれる

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