あのＦＳは立て易くない
fact1: 「幻滅する」ものはある fact2: 仮にこの近景が再会しないけれど立て易いとしたらあのＦＳは立て易いということはない fact3: もしとあるものが再会するし更にそれが幻滅するとするとあのＦＳは割り出す fact4: 「あのＦＳは再会する」ということは確かである fact5: もし仮にあのＦＳが割り出すとしたらそれは立て易い fact6: 「この近景は実現しないしひょろ長くない」ということは事実と異なれば立て易くない fact7: なんらかの物は再会するし加えて幻滅する fact8: 「再会する」物はある fact9: もし「何らかのものはひょろ長いということはない」ということは間違っていないなら割り出すし幻滅する fact10: その休離は割り出す
fact7 & fact3 -> int1: あのＦＳは割り出す; int1 & fact5 -> hypothesis;
あのＦＳは立て易くない
fact12 -> int2: この近景がひょろ長くないならばそれは割り出すしそれにそれは幻滅する;
$facts$ = fact1: 「幻滅する」ものはある fact2: 仮にこの近景が再会しないけれど立て易いとしたらあのＦＳは立て易いということはない fact3: もしとあるものが再会するし更にそれが幻滅するとするとあのＦＳは割り出す fact4: 「あのＦＳは再会する」ということは確かである fact5: もし仮にあのＦＳが割り出すとしたらそれは立て易い fact6: 「この近景は実現しないしひょろ長くない」ということは事実と異なれば立て易くない fact7: なんらかの物は再会するし加えて幻滅する fact8: 「再会する」物はある fact9: もし「何らかのものはひょろ長いということはない」ということは間違っていないなら割り出すし幻滅する fact10: その休離は割り出す ; $hypothesis$ = あのＦＳは立て易くない ; $proof$ = 
fact7 & fact3 -> int1: あのＦＳは割り出す; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「幻滅する」ものはある
事実2: 仮にこの近景が再会しないけれど立て易いとしたらあのＦＳは立て易いということはない
事実3: もしとあるものが再会するし更にそれが幻滅するとするとあのＦＳは割り出す
事実4: 「あのＦＳは再会する」ということは確かである
事実5: もし仮にあのＦＳが割り出すとしたらそれは立て易い
事実6: 「この近景は実現しないしひょろ長くない」ということは事実と異なれば立て易くない
事実7: なんらかの物は再会するし加えて幻滅する
事実8: 「再会する」物はある
事実9: もし「何らかのものはひょろ長いということはない」ということは間違っていないなら割り出すし幻滅する
事実10: その休離は割り出す

仮説: あのＦＳは立て易くない
1. 事実7と事実3から、推論1: "あのＦＳは割り出す"が導かれる
2. 推論1と事実5から、仮説が否定される

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