「ヘッダー部分でないならば「手探りしない」ということは成り立つ」物はある
fact1: もしこの寿司盛りがヘッダー部分だということはないとしたらそれは航行しない fact2: もし仮にそのアミノ基はヘッダー部分でないなら「太くない」ということは成り立つ fact3: もしも「この寿司盛りはヘッダー部分である」ということは本当だとすればそれは手探りしない fact4: もしもとある物がヘッダー部分ならそれは手探りするということはない fact5: 仮にとある物がヘッダー部分だということはないとすると手探りするということはない fact6: もし仮になにかは法律論でないとすると「それは素描しない」ということは真実だ fact7: もしこの寿司盛りが獲物でないとすれば運び屋でない fact8: もしもなにがしかの物が叱咤激励しないとするとウインドーズ画像でない fact9: 仮に「なにかは京都らしくない」ということは事実であるなら仲睦まじい fact10: 仮にこの寿司盛りはヘッダー部分でないなら「法律論でない」ということは成り立つ fact11: 「もし仮にヘッダー部分であるならば手探りしない」物はある fact12: なにかはヘッダー部分でないとすればそれは手探りする fact13: 「「ヘッダー部分でない」ということは事実であるとしたら手探りする」ものはある fact14: 仮にこの寿司盛りがヘッダー部分でないとすればそれは手探りする fact15: もし仮に何らかの物が凍え死なないならルイ王朝であるということはない fact16: もしもこの寿司盛りは換算方法でないならば定年退職しない fact17: もし仮に「何かは腹部大動脈瘤でない」ということは成り立つとしたらそれはどうして良いということはない fact18: 出会い易くない物は専有する
fact5 -> int1: もしもこの寿司盛りはヘッダー部分でないならそれは手探りするということはない; int1 -> hypothesis;
fact5 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしこの寿司盛りがヘッダー部分だということはないとしたらそれは航行しない fact2: もし仮にそのアミノ基はヘッダー部分でないなら「太くない」ということは成り立つ fact3: もしも「この寿司盛りはヘッダー部分である」ということは本当だとすればそれは手探りしない fact4: もしもとある物がヘッダー部分ならそれは手探りするということはない fact5: 仮にとある物がヘッダー部分だということはないとすると手探りするということはない fact6: もし仮になにかは法律論でないとすると「それは素描しない」ということは真実だ fact7: もしこの寿司盛りが獲物でないとすれば運び屋でない fact8: もしもなにがしかの物が叱咤激励しないとするとウインドーズ画像でない fact9: 仮に「なにかは京都らしくない」ということは事実であるなら仲睦まじい fact10: 仮にこの寿司盛りはヘッダー部分でないなら「法律論でない」ということは成り立つ fact11: 「もし仮にヘッダー部分であるならば手探りしない」物はある fact12: なにかはヘッダー部分でないとすればそれは手探りする fact13: 「「ヘッダー部分でない」ということは事実であるとしたら手探りする」ものはある fact14: 仮にこの寿司盛りがヘッダー部分でないとすればそれは手探りする fact15: もし仮に何らかの物が凍え死なないならルイ王朝であるということはない fact16: もしもこの寿司盛りは換算方法でないならば定年退職しない fact17: もし仮に「何かは腹部大動脈瘤でない」ということは成り立つとしたらそれはどうして良いということはない fact18: 出会い易くない物は専有する ; $hypothesis$ = 「ヘッダー部分でないならば「手探りしない」ということは成り立つ」物はある ; $proof$ = 
fact5 -> int1: もしもこの寿司盛りはヘッダー部分でないならそれは手探りするということはない; int1 -> hypothesis; __PROVED__
事実1: もしこの寿司盛りがヘッダー部分だということはないとしたらそれは航行しない
事実2: もし仮にそのアミノ基はヘッダー部分でないなら「太くない」ということは成り立つ
事実3: もしも「この寿司盛りはヘッダー部分である」ということは本当だとすればそれは手探りしない
事実4: もしもとある物がヘッダー部分ならそれは手探りするということはない
事実5: 仮にとある物がヘッダー部分だということはないとすると手探りするということはない
事実6: もし仮になにかは法律論でないとすると「それは素描しない」ということは真実だ
事実7: もしこの寿司盛りが獲物でないとすれば運び屋でない
事実8: もしもなにがしかの物が叱咤激励しないとするとウインドーズ画像でない
事実9: 仮に「なにかは京都らしくない」ということは事実であるなら仲睦まじい
事実10: 仮にこの寿司盛りはヘッダー部分でないなら「法律論でない」ということは成り立つ
事実11: 「もし仮にヘッダー部分であるならば手探りしない」物はある
事実12: なにかはヘッダー部分でないとすればそれは手探りする
事実13: 「「ヘッダー部分でない」ということは事実であるとしたら手探りする」ものはある
事実14: 仮にこの寿司盛りがヘッダー部分でないとすればそれは手探りする
事実15: もし仮に何らかの物が凍え死なないならルイ王朝であるということはない
事実16: もしもこの寿司盛りは換算方法でないならば定年退職しない
事実17: もし仮に「何かは腹部大動脈瘤でない」ということは成り立つとしたらそれはどうして良いということはない
事実18: 出会い易くない物は専有する

仮説: 「ヘッダー部分でないならば「手探りしない」ということは成り立つ」物はある
1. 事実5から、推論1: "もしもこの寿司盛りはヘッダー部分でないならそれは手探りするということはない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。