「「もし仮に終わらないけどＩＳＳＰなら脱ぎ為さる」物はある」ということは事実と異なる
fact1: 仮になにかは終わらないがＩＳＳＰであるとすればそれは脱ぎ為さる fact2: もしこの剪刀はＩＳＳＰであるしそれにモメントならば悪し fact3: もしもあの強壮が終わるしまたＩＳＳＰならそれは脱ぎ為さる fact4: あの強壮は遣り難いししかも終わるとすればそれは左室内だ
fact1 -> int1: 仮にあの強壮が終わらない一方でそれはＩＳＳＰであるならば脱ぎ為さる; int1 -> hypothesis;
$facts$ = fact1: 仮になにかは終わらないがＩＳＳＰであるとすればそれは脱ぎ為さる fact2: もしこの剪刀はＩＳＳＰであるしそれにモメントならば悪し fact3: もしもあの強壮が終わるしまたＩＳＳＰならそれは脱ぎ為さる fact4: あの強壮は遣り難いししかも終わるとすればそれは左室内だ ; $hypothesis$ = 「「もし仮に終わらないけどＩＳＳＰなら脱ぎ為さる」物はある」ということは事実と異なる ; $proof$ = 
fact1 -> int1: 仮にあの強壮が終わらない一方でそれはＩＳＳＰであるならば脱ぎ為さる; int1 -> hypothesis; __DISPROVED__
事実1: 仮になにかは終わらないがＩＳＳＰであるとすればそれは脱ぎ為さる
事実2: もしこの剪刀はＩＳＳＰであるしそれにモメントならば悪し
事実3: もしもあの強壮が終わるしまたＩＳＳＰならそれは脱ぎ為さる
事実4: あの強壮は遣り難いししかも終わるとすればそれは左室内だ

仮説: 「「もし仮に終わらないけどＩＳＳＰなら脱ぎ為さる」物はある」ということは事実と異なる
1. 事実1から、推論1: "仮にあの強壮が終わらない一方でそれはＩＳＳＰであるならば脱ぎ為さる"が導かれる
2. 推論1から、仮説が否定される

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