「もし仮に試乗しないとしたら「一念でない」ということは成り立つ」ものはある
fact1: もしも「なにがしかのものは試乗しない」ということは事実と異ならないならば一念である fact2: なんらかの物が試乗しないとしたらそれは一念でない fact3: 「もし仮に忍風戦隊ハリケンジャーだということはないとしたら報道機関でない」物はある fact4: もしもその総監が試乗しないならばそれは一念である fact5: 「もしも試乗しないとすれば一念である」物はある fact6: 「もし「報道機関だ」ということは成り立たないとすると気怠くらない」ものはある fact7: もし仮にその総監は近世武家官位制であるということはないとするとそれは生易しくない fact8: 「もしも遺伝子導入だということはないとしたら無法召喚士でない」物はある fact9: なんらかの物が試乗するとしたらそれは一念でない fact10: もしある物は無法召喚士であるなら乗り難くない fact11: 「試乗するとすると一念でない」物はある fact12: なんらかのものが付け難くないとしたら狙われ易い fact13: 仮にその総監が試乗するならそれは一念でない
fact2 -> int1: 「その総監は試乗しない」ということは確かなら一念でない; int1 -> hypothesis;
$facts$ = fact1: もしも「なにがしかのものは試乗しない」ということは事実と異ならないならば一念である fact2: なんらかの物が試乗しないとしたらそれは一念でない fact3: 「もし仮に忍風戦隊ハリケンジャーだということはないとしたら報道機関でない」物はある fact4: もしもその総監が試乗しないならばそれは一念である fact5: 「もしも試乗しないとすれば一念である」物はある fact6: 「もし「報道機関だ」ということは成り立たないとすると気怠くらない」ものはある fact7: もし仮にその総監は近世武家官位制であるということはないとするとそれは生易しくない fact8: 「もしも遺伝子導入だということはないとしたら無法召喚士でない」物はある fact9: なんらかの物が試乗するとしたらそれは一念でない fact10: もしある物は無法召喚士であるなら乗り難くない fact11: 「試乗するとすると一念でない」物はある fact12: なんらかのものが付け難くないとしたら狙われ易い fact13: 仮にその総監が試乗するならそれは一念でない ; $hypothesis$ = 「もし仮に試乗しないとしたら「一念でない」ということは成り立つ」ものはある ; $proof$ = 
fact2 -> int1: 「その総監は試乗しない」ということは確かなら一念でない; int1 -> hypothesis; __PROVED__
事実1: もしも「なにがしかのものは試乗しない」ということは事実と異ならないならば一念である
事実2: なんらかの物が試乗しないとしたらそれは一念でない
事実3: 「もし仮に忍風戦隊ハリケンジャーだということはないとしたら報道機関でない」物はある
事実4: もしもその総監が試乗しないならばそれは一念である
事実5: 「もしも試乗しないとすれば一念である」物はある
事実6: 「もし「報道機関だ」ということは成り立たないとすると気怠くらない」ものはある
事実7: もし仮にその総監は近世武家官位制であるということはないとするとそれは生易しくない
事実8: 「もしも遺伝子導入だということはないとしたら無法召喚士でない」物はある
事実9: なんらかの物が試乗するとしたらそれは一念でない
事実10: もしある物は無法召喚士であるなら乗り難くない
事実11: 「試乗するとすると一念でない」物はある
事実12: なんらかのものが付け難くないとしたら狙われ易い
事実13: 仮にその総監が試乗するならそれは一念でない

仮説: 「もし仮に試乗しないとしたら「一念でない」ということは成り立つ」ものはある
1. 事実2から、推論1: "「その総監は試乗しない」ということは確かなら一念でない"が導かれる
2. 推論1から、仮説が導かれる

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