「「その尾裂き持ちは押さえ難くないけど痛々しい」ということは成り立たない」ということは正しい
fact1: もし仮に「その御弟子さん達は押さえ難くない」ということは真実であるとすればあの尾裂き持ちは押さえ難くないがしかし痛々しい fact2: もし仮にこの区分所有者が長ったらしいならばそれは減退しないかもしくは抜き放つということはないかあるいは両方ともだ fact3: 仮にその連生年金が遍歴するならこの取り組みは遍歴する fact4: もしもその御弟子さん達が押さえ難くないとしたらその尾裂き持ちは痛々しい fact5: その連生年金は遍歴する fact6: もしこの取り組みは道義心だとしたら「このプレスは麗しがしかし溜め込み易くない」ということは成り立つということはない fact7: もし仮にこの区分所有者が減退しないならこの取り組みは抜き放つ fact8: 「押さえ難いかまたは痛々しいかもしくは両方ともな」物はある fact9: その尾裂き持ちは痛々しい fact10: この区分所有者は長ったらしい fact11: もし何らかのものは感心出来ないなら「押さえ難くないしそれに痛々しい」ということは成り立たない fact12: このプレスは感心出来る fact13: 「鎮火する」ものはある fact14: 「遍歴する」物はある fact15: 仮になんらかの物が鎮火しないならばそれは遍歴するかもしくは感心出来ないか両方ともだ fact16: もしもなんらかのものは麗しかもしくは溜め込み易いかまたはどちらもであるならば「その御弟子さん達は押さえ難いということはない」ということは誤りでない fact17: もしなにがしかの物が抜き放つとすれば道義心である fact18: もしも「溜め込み易い」ものがあるとするとその御弟子さん達は押さえ難いということはない fact19: もしもなにかは遍歴するししかも鎮火するとしたらこの区分所有者は麗し fact20: もしもこのプレスが鎮火するということはなくて加えてそれが感心出来ないとすればこの一打罰は痛々しくない fact21: もし仮に溜め込み易くないものが麗しとすると遍歴しない fact22: 仮にこのプレスが感心出来るとしたらこの取り組みは鎮火する fact23: この取り組みは調査報告である fact24: あの調理技術は遍歴する fact25: 仮になんらかの物が遍歴するかあるいはそれは感心出来ないかまたは両方ともであるならば感心出来ない
fact22 & fact12 -> int1: この取り組みは鎮火する; fact5 & fact3 -> int2: この取り組みは遍歴する; int1 & int2 -> int3: この取り組みは遍歴するしそれに鎮火する; int3 -> int4: 「遍歴するしそれに鎮火する」ものはある; int4 & fact19 -> int5: この区分所有者は麗し; int5 -> int6: この区分所有者は麗しかもしくは溜め込み易いかもしくは両方だ; int6 -> int7: 麗しか溜め込み易いかもしくはどちらもである物はある; int7 & fact16 -> int8: その御弟子さん達は押さえ難くない; int8 & fact1 -> hypothesis;
「その尾裂き持ちは押さえ難いということはないけれど痛々しい」ということは間違っている
fact28 -> int9: その尾裂き持ちは感心出来ないとすると「「それは押さえ難くないけど痛々しい」ということは正しい」ということは成り立たない; fact27 -> int10: もしもその尾裂き持ちが遍歴するかもしくはそれが感心出来ないならばそれは感心出来ない; fact32 -> int11: もしその尾裂き持ちが鎮火しないならば遍歴するかまたは感心出来るということはないかあるいは両方だ; fact33 -> int12: もしもこの取り組みが抜き放つとしたらそれは道義心である; fact26 & fact31 -> int13: この区分所有者は減退しないか抜き放たないかもしくはどちらもである;
$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: あの調理技術は遍歴する fact25: 仮になんらかの物が遍歴するかあるいはそれは感心出来ないかまたは両方ともであるならば感心出来ない ; $hypothesis$ = 「「その尾裂き持ちは押さえ難くないけど痛々しい」ということは成り立たない」ということは正しい ; $proof$ = 
fact22 & fact12 -> int1: この取り組みは鎮火する; fact5 & fact3 -> int2: この取り組みは遍歴する; int1 & int2 -> int3: この取り組みは遍歴するしそれに鎮火する; int3 -> int4: 「遍歴するしそれに鎮火する」ものはある; int4 & fact19 -> int5: この区分所有者は麗し; int5 -> int6: この区分所有者は麗しかもしくは溜め込み易いかもしくは両方だ; int6 -> int7: 麗しか溜め込み易いかもしくはどちらもである物はある; int7 & fact16 -> int8: その御弟子さん達は押さえ難くない; int8 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「その御弟子さん達は押さえ難くない」ということは真実であるとすればあの尾裂き持ちは押さえ難くないがしかし痛々しい
事実2: もし仮にこの区分所有者が長ったらしいならばそれは減退しないかもしくは抜き放つということはないかあるいは両方ともだ
事実3: 仮にその連生年金が遍歴するならこの取り組みは遍歴する
事実4: もしもその御弟子さん達が押さえ難くないとしたらその尾裂き持ちは痛々しい
事実5: その連生年金は遍歴する
事実6: もしこの取り組みは道義心だとしたら「このプレスは麗しがしかし溜め込み易くない」ということは成り立つということはない
事実7: もし仮にこの区分所有者が減退しないならこの取り組みは抜き放つ
事実8: 「押さえ難いかまたは痛々しいかもしくは両方ともな」物はある
事実9: その尾裂き持ちは痛々しい
事実10: この区分所有者は長ったらしい
事実11: もし何らかのものは感心出来ないなら「押さえ難くないしそれに痛々しい」ということは成り立たない
事実12: このプレスは感心出来る
事実13: 「鎮火する」ものはある
事実14: 「遍歴する」物はある
事実15: 仮になんらかの物が鎮火しないならばそれは遍歴するかもしくは感心出来ないか両方ともだ
事実16: もしもなんらかのものは麗しかもしくは溜め込み易いかまたはどちらもであるならば「その御弟子さん達は押さえ難いということはない」ということは誤りでない
事実17: もしなにがしかの物が抜き放つとすれば道義心である
事実18: もしも「溜め込み易い」ものがあるとするとその御弟子さん達は押さえ難いということはない
事実19: もしもなにかは遍歴するししかも鎮火するとしたらこの区分所有者は麗し
事実20: もしもこのプレスが鎮火するということはなくて加えてそれが感心出来ないとすればこの一打罰は痛々しくない
事実21: もし仮に溜め込み易くないものが麗しとすると遍歴しない
事実22: 仮にこのプレスが感心出来るとしたらこの取り組みは鎮火する
事実23: この取り組みは調査報告である
事実24: あの調理技術は遍歴する
事実25: 仮になんらかの物が遍歴するかあるいはそれは感心出来ないかまたは両方ともであるならば感心出来ない

仮説: 「「その尾裂き持ちは押さえ難くないけど痛々しい」ということは成り立たない」ということは正しい
1. 事実22と事実12から、推論1: "この取り組みは鎮火する"が導かれる
2. 事実5と事実3から、推論2: "この取り組みは遍歴する"が導かれる
3. 推論1と推論2から、推論3: "この取り組みは遍歴するしそれに鎮火する"が導かれる
4. 推論3から、推論4: "「遍歴するしそれに鎮火する」ものはある"が導かれる
5. 推論4と事実19から、推論5: "この区分所有者は麗し"が導かれる
6. 推論5から、推論6: "この区分所有者は麗しかもしくは溜め込み易いかもしくは両方だ"が導かれる
7. 推論6から、推論7: "麗しか溜め込み易いかもしくはどちらもである物はある"が導かれる
8. 推論7と事実16から、推論8: "その御弟子さん達は押さえ難くない"が導かれる
9. 推論8と事実1から、仮説が否定される

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