「そのベレーが心安いならその借り方金額はＰＴＡだけれど特攻隊でない」ということは成り立たない
fact1: もしも「あの北前は特攻隊であるということはないししかも開き過ぎるということはない」ということは間違っているとしたらＰＴＡでない fact2: 「何らかのものは脆い」ということは真実だ fact3: そのベレーは取れ易くない fact4: そのベレーが心安いならばそれは取れ易くない fact5: もし仮に「この素潜りはＰＴＡでない」ということは事実であるならその借り方金額は特攻隊であるということはない fact6: その借り方金額は特攻隊でない fact7: もしもそのベレーが心安くないとするとこの素潜りは心安い fact8: あるものは取れ易くない fact9: もしそのベレーは心安いならば「その借り方金額は特攻隊でない」ということは嘘でない fact10: この放牧場が四つ折だけどそれは取れ易くない fact11: 仮にこの素潜りはＰＴＡでないとすれば「その借り方金額はＰＴＡだがしかし特攻隊でない」ということは偽でない fact12: 仮に脆いものが心安いとすればあのベレーは取れ易くない fact13: その借り方金額は取れ易いけれどＰＴＡでない fact14: 「脆いし取れ易い」ものはある fact15: もしもとある物がＰＴＡであるしまた取れ易いとしたらその借り方金額は脆くない fact16: その借り方金額は悍ましいし古めかしい fact17: 仮にそのベレーが心安いとすれば脆いが取れ易くない fact18: そのベレーは培養出来るしさらに法案提出である fact19: 仮に脆いものが取れ易くないとするとこの素潜りはＰＴＡでない fact20: 「その迷妄は取れ易い」ということは正しい fact21: この素潜りは取れ易い
void -> assump1: 以下のように仮定する。そのベレーは心安い; fact17 & assump1 -> int1: そのベレーは脆いが取れ易くない; int1 -> int2: 脆い物でありしかも取れ易くない物はある; int2 & fact19 -> int3: この素潜りはＰＴＡでない; int3 & fact11 -> int4: 「その借り方金額はＰＴＡだけれど特攻隊でない」ということは真実だ; [assump1] & int4 -> hypothesis;
あの北前は脆くない
$facts$ = fact1: もしも「あの北前は特攻隊であるということはないししかも開き過ぎるということはない」ということは間違っているとしたらＰＴＡでない fact2: 「何らかのものは脆い」ということは真実だ fact3: そのベレーは取れ易くない fact4: そのベレーが心安いならばそれは取れ易くない fact5: もし仮に「この素潜りはＰＴＡでない」ということは事実であるならその借り方金額は特攻隊であるということはない fact6: その借り方金額は特攻隊でない fact7: もしもそのベレーが心安くないとするとこの素潜りは心安い fact8: あるものは取れ易くない fact9: もしそのベレーは心安いならば「その借り方金額は特攻隊でない」ということは嘘でない fact10: この放牧場が四つ折だけどそれは取れ易くない fact11: 仮にこの素潜りはＰＴＡでないとすれば「その借り方金額はＰＴＡだがしかし特攻隊でない」ということは偽でない fact12: 仮に脆いものが心安いとすればあのベレーは取れ易くない fact13: その借り方金額は取れ易いけれどＰＴＡでない fact14: 「脆いし取れ易い」ものはある fact15: もしもとある物がＰＴＡであるしまた取れ易いとしたらその借り方金額は脆くない fact16: その借り方金額は悍ましいし古めかしい fact17: 仮にそのベレーが心安いとすれば脆いが取れ易くない fact18: そのベレーは培養出来るしさらに法案提出である fact19: 仮に脆いものが取れ易くないとするとこの素潜りはＰＴＡでない fact20: 「その迷妄は取れ易い」ということは正しい fact21: この素潜りは取れ易い ; $hypothesis$ = 「そのベレーが心安いならその借り方金額はＰＴＡだけれど特攻隊でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのベレーは心安い; fact17 & assump1 -> int1: そのベレーは脆いが取れ易くない; int1 -> int2: 脆い物でありしかも取れ易くない物はある; int2 & fact19 -> int3: この素潜りはＰＴＡでない; int3 & fact11 -> int4: 「その借り方金額はＰＴＡだけれど特攻隊でない」ということは真実だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしも「あの北前は特攻隊であるということはないししかも開き過ぎるということはない」ということは間違っているとしたらＰＴＡでない
事実2: 「何らかのものは脆い」ということは真実だ
事実3: そのベレーは取れ易くない
事実4: そのベレーが心安いならばそれは取れ易くない
事実5: もし仮に「この素潜りはＰＴＡでない」ということは事実であるならその借り方金額は特攻隊であるということはない
事実6: その借り方金額は特攻隊でない
事実7: もしもそのベレーが心安くないとするとこの素潜りは心安い
事実8: あるものは取れ易くない
事実9: もしそのベレーは心安いならば「その借り方金額は特攻隊でない」ということは嘘でない
事実10: この放牧場が四つ折だけどそれは取れ易くない
事実11: 仮にこの素潜りはＰＴＡでないとすれば「その借り方金額はＰＴＡだがしかし特攻隊でない」ということは偽でない
事実12: 仮に脆いものが心安いとすればあのベレーは取れ易くない
事実13: その借り方金額は取れ易いけれどＰＴＡでない
事実14: 「脆いし取れ易い」ものはある
事実15: もしもとある物がＰＴＡであるしまた取れ易いとしたらその借り方金額は脆くない
事実16: その借り方金額は悍ましいし古めかしい
事実17: 仮にそのベレーが心安いとすれば脆いが取れ易くない
事実18: そのベレーは培養出来るしさらに法案提出である
事実19: 仮に脆いものが取れ易くないとするとこの素潜りはＰＴＡでない
事実20: 「その迷妄は取れ易い」ということは正しい
事実21: この素潜りは取れ易い

仮説: 「そのベレーが心安いならその借り方金額はＰＴＡだけれど特攻隊でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのベレーは心安い
2. 事実17と仮定1から、推論1: "そのベレーは脆いが取れ易くない"が導かれる
3. 推論1から、推論2: "脆い物でありしかも取れ易くない物はある"が導かれる
4. 推論2と事実19から、推論3: "この素潜りはＰＴＡでない"が導かれる
5. 推論3と事実11から、推論4: "「その借り方金額はＰＴＡだけれど特攻隊でない」ということは真実だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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