そのイントロダクションは向かい始めなくてまた根気強いということはない
fact1: もしもあの三パーセント以下が自賛しないとしたら予測し難くないかまたは胃腺であるかどちらもだ fact2: もしも「この協奏は予測し難くないかもしくは自賛するかもしくは両方である」ということは嘘であるとすれば胃腺だ fact3: 「そのイントロダクションは向かい始めない一方で根気強い」ということは間違いだ fact4: 「あの三パーセント以下は待ちしないけれど十人余りである」ということは成り立たない fact5: その開催等は根気強くない fact6: もしもとある物は向かい始めれば「根気強くないが女性らしい」ということは誤りだ fact7: 仮に「その開催等は編集しない一方で女性らしい」ということは成り立たないとすれば「あのカピタンは根気強くない」ということは本当だ fact8: もし仮にとあるものが待ちするとするとそれが向かい始めないしさらにそれは根気強くない fact9: もしも「あの三パーセント以下は待ちしなくて十人余りでない」ということは成り立たないならばこの協奏は女性らしくない fact10: もし仮にあのカピタンは根気強くないとすれば「そのイントロダクションは向かい始めなくてそれに根気強いということはない」ということは成り立たない fact11: もし「この協奏は女性らしくない」ということは嘘だということはないならば「その開催等は編集しないが女性らしい」ということは成り立たない fact12: あの三パーセント以下は十人余りでない fact13: 仮にあのカピタンは根気強いということはないならば「そのイントロダクションは向かい始めるけど根気強くない」ということは誤っている fact14: 「あの三パーセント以下は十人余りである」ということは成り立つとすれば「この協奏は女性らしくない」ということは事実だ fact15: もしもあのカピタンは根気強くないとすれば「そのイントロダクションは向かい始めるということはないけれど根気強い」ということは嘘である fact16: もし仮にその開催等が女性らしくないならあのカピタンは根気強くない fact17: 仮に「待ちするかまたは十人余りである」物があるならばあの三十度以上は編集しない fact18: 「この協奏は予測し難くないかそれは自賛するかもしくは両方だ」ということは成り立たない fact19: 仮になにがしかのものは編集するなら「十人余りでないかあるいはそれは女性らしくないかもしくは両方である」ということは成り立たない fact20: 胃腺は向かい始める fact21: あの三パーセント以下は待ちする fact22: あの三パーセント以下は自賛しない
void -> assump1: 以下のように仮定する。あの三パーセント以下は待ちしなくて十人余りでない; assump1 -> int1: あの三パーセント以下は待ちしない; int1 & fact21 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの三パーセント以下は待ちしないし十人余りでない」ということは嘘だ; int3 & fact9 -> int4: 「この協奏は女性らしい」ということは成り立たない; int4 & fact11 -> int5: 「その開催等は編集しない一方で女性らしい」ということは成り立つということはない; int5 & fact7 -> int6: あのカピタンは根気強くない; int6 & fact10 -> hypothesis;
「そのイントロダクションは向かい始めないし根気強くない」ということは本当である
fact26 -> int7: もし仮にそのイントロダクションが待ちするとすれば向かい始めなくてかつ根気強くない; fact23 -> int8: もし仮に「あの三パーセント以下は編集する」ということは事実であるなら「十人余りでないかあるいはそれは女性らしくない」ということは誤っている; fact25 & fact24 -> int9: あの三パーセント以下は予測し難くないかあるいは胃腺である;
$facts$ = fact1: もしもあの三パーセント以下が自賛しないとしたら予測し難くないかまたは胃腺であるかどちらもだ fact2: もしも「この協奏は予測し難くないかもしくは自賛するかもしくは両方である」ということは嘘であるとすれば胃腺だ fact3: 「そのイントロダクションは向かい始めない一方で根気強い」ということは間違いだ fact4: 「あの三パーセント以下は待ちしないけれど十人余りである」ということは成り立たない fact5: その開催等は根気強くない fact6: もしもとある物は向かい始めれば「根気強くないが女性らしい」ということは誤りだ fact7: 仮に「その開催等は編集しない一方で女性らしい」ということは成り立たないとすれば「あのカピタンは根気強くない」ということは本当だ fact8: もし仮にとあるものが待ちするとするとそれが向かい始めないしさらにそれは根気強くない fact9: もしも「あの三パーセント以下は待ちしなくて十人余りでない」ということは成り立たないならばこの協奏は女性らしくない fact10: もし仮にあのカピタンは根気強くないとすれば「そのイントロダクションは向かい始めなくてそれに根気強いということはない」ということは成り立たない fact11: もし「この協奏は女性らしくない」ということは嘘だということはないならば「その開催等は編集しないが女性らしい」ということは成り立たない fact12: あの三パーセント以下は十人余りでない fact13: 仮にあのカピタンは根気強いということはないならば「そのイントロダクションは向かい始めるけど根気強くない」ということは誤っている fact14: 「あの三パーセント以下は十人余りである」ということは成り立つとすれば「この協奏は女性らしくない」ということは事実だ fact15: もしもあのカピタンは根気強くないとすれば「そのイントロダクションは向かい始めるということはないけれど根気強い」ということは嘘である fact16: もし仮にその開催等が女性らしくないならあのカピタンは根気強くない fact17: 仮に「待ちするかまたは十人余りである」物があるならばあの三十度以上は編集しない fact18: 「この協奏は予測し難くないかそれは自賛するかもしくは両方だ」ということは成り立たない fact19: 仮になにがしかのものは編集するなら「十人余りでないかあるいはそれは女性らしくないかもしくは両方である」ということは成り立たない fact20: 胃腺は向かい始める fact21: あの三パーセント以下は待ちする fact22: あの三パーセント以下は自賛しない ; $hypothesis$ = そのイントロダクションは向かい始めなくてまた根気強いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの三パーセント以下は待ちしなくて十人余りでない; assump1 -> int1: あの三パーセント以下は待ちしない; int1 & fact21 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの三パーセント以下は待ちしないし十人余りでない」ということは嘘だ; int3 & fact9 -> int4: 「この協奏は女性らしい」ということは成り立たない; int4 & fact11 -> int5: 「その開催等は編集しない一方で女性らしい」ということは成り立つということはない; int5 & fact7 -> int6: あのカピタンは根気強くない; int6 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもあの三パーセント以下が自賛しないとしたら予測し難くないかまたは胃腺であるかどちらもだ
事実2: もしも「この協奏は予測し難くないかもしくは自賛するかもしくは両方である」ということは嘘であるとすれば胃腺だ
事実3: 「そのイントロダクションは向かい始めない一方で根気強い」ということは間違いだ
事実4: 「あの三パーセント以下は待ちしないけれど十人余りである」ということは成り立たない
事実5: その開催等は根気強くない
事実6: もしもとある物は向かい始めれば「根気強くないが女性らしい」ということは誤りだ
事実7: 仮に「その開催等は編集しない一方で女性らしい」ということは成り立たないとすれば「あのカピタンは根気強くない」ということは本当だ
事実8: もし仮にとあるものが待ちするとするとそれが向かい始めないしさらにそれは根気強くない
事実9: もしも「あの三パーセント以下は待ちしなくて十人余りでない」ということは成り立たないならばこの協奏は女性らしくない
事実10: もし仮にあのカピタンは根気強くないとすれば「そのイントロダクションは向かい始めなくてそれに根気強いということはない」ということは成り立たない
事実11: もし「この協奏は女性らしくない」ということは嘘だということはないならば「その開催等は編集しないが女性らしい」ということは成り立たない
事実12: あの三パーセント以下は十人余りでない
事実13: 仮にあのカピタンは根気強いということはないならば「そのイントロダクションは向かい始めるけど根気強くない」ということは誤っている
事実14: 「あの三パーセント以下は十人余りである」ということは成り立つとすれば「この協奏は女性らしくない」ということは事実だ
事実15: もしもあのカピタンは根気強くないとすれば「そのイントロダクションは向かい始めるということはないけれど根気強い」ということは嘘である
事実16: もし仮にその開催等が女性らしくないならあのカピタンは根気強くない
事実17: 仮に「待ちするかまたは十人余りである」物があるならばあの三十度以上は編集しない
事実18: 「この協奏は予測し難くないかそれは自賛するかもしくは両方だ」ということは成り立たない
事実19: 仮になにがしかのものは編集するなら「十人余りでないかあるいはそれは女性らしくないかもしくは両方である」ということは成り立たない
事実20: 胃腺は向かい始める
事実21: あの三パーセント以下は待ちする
事実22: あの三パーセント以下は自賛しない

仮説: そのイントロダクションは向かい始めなくてまた根気強いということはない
1. 仮定1: 以下のように仮定する。あの三パーセント以下は待ちしなくて十人余りでない
2. 仮定1から、推論1: "あの三パーセント以下は待ちしない"が導かれる
3. 推論1と事実21から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの三パーセント以下は待ちしないし十人余りでない」ということは嘘だ"が導かれる
5. 推論3と事実9から、推論4: "「この協奏は女性らしい」ということは成り立たない"が導かれる
6. 推論4と事実11から、推論5: "「その開催等は編集しない一方で女性らしい」ということは成り立つということはない"が導かれる
7. 推論5と事実7から、推論6: "あのカピタンは根気強くない"が導かれる
8. 推論6と事実10から、仮説が否定される

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