「あの果糖は通り易くないかまたは瑞々しいかもしくはどちらもだ」ということは真実でない
fact1: 「あの接種量は行き難くないかもしくは瑞々しいかどちらもだ」ということは誤っている fact2: 仮に「通り易くないかあるいは変造前でないかまたは両方ともな」ものがあるならあの政見は瑞々しくない fact3: その中止は通り易い fact4: もし仮にあの政見は混同し易くないとすれば「あの果糖は変造前であるということはないかまたはそれは瑞々しいかあるいは両方である」ということは成り立たない fact5: もし仮にその精神的安定が殉教だとするとあの果糖はインスリン分泌顆粒だ fact6: あの政見は変造前だ fact7: もしもなにかはインスリン分泌顆粒であるとしたらそれは通り易いということはないかもしくは変造前でない fact8: あの果糖は迷信深い fact9: 仮にあの政見は事業所側であるならば新規制度であるということはない fact10: もし仮にあの政見はインスリン分泌顆粒であるなら「それは通り易くない」ということは成り立つ fact11: あのエンバイロメンタルがインスリン分泌顆粒なら外出出来ない fact12: 全てはひらひらするしそれは口さがない fact13: もし仮にあの政見はインスリン分泌顆粒でないとすれば「あの果糖は通り易いということはないかもしくはそれは瑞々しいかまたは両方ともである」ということは成り立たない fact14: あの果糖は自宅待機でない fact15: もし「口さがない」ものがあるとするとその精神的安定が殉教だしかつそれは迷い易い fact16: あの政見は通り易くない fact17: 「あの果糖はインスリン分泌顆粒でないか瑞々しいかまたは両方ともである」ということは偽だ fact18: 変造前はインスリン分泌顆粒でない
fact18 -> int1: 仮にあの政見は変造前であるならばそれはインスリン分泌顆粒でない; int1 & fact6 -> int2: あの政見はインスリン分泌顆粒でない; int2 & fact13 -> hypothesis;
あの政見は瑞々しくない
fact19 -> int3: もしもあの果糖がインスリン分泌顆粒ならばそれは通り易くないか変造前でないかあるいは両方ともだ; fact22 -> int4: この六〜九Ｆはひらひらするしさらに口さがない; int4 -> int5: 「この六〜九Ｆは口さがない」ということは確かだ; int5 -> int6: なにがしかのものは口さがない; int6 & fact21 -> int7: その精神的安定は殉教であるし迷い易い; int7 -> int8: その精神的安定は殉教だ; fact23 & int8 -> int9: あの果糖はインスリン分泌顆粒だ; int3 & int9 -> int10: あの果糖は通り易くないかもしくは変造前であるということはないかあるいは両方ともだ; int10 -> int11: 「通り易くないかまたは変造前でないかまたは両方な」物はある; int11 & fact20 -> hypothesis;
$facts$ = fact1: 「あの接種量は行き難くないかもしくは瑞々しいかどちらもだ」ということは誤っている fact2: 仮に「通り易くないかあるいは変造前でないかまたは両方ともな」ものがあるならあの政見は瑞々しくない fact3: その中止は通り易い fact4: もし仮にあの政見は混同し易くないとすれば「あの果糖は変造前であるということはないかまたはそれは瑞々しいかあるいは両方である」ということは成り立たない fact5: もし仮にその精神的安定が殉教だとするとあの果糖はインスリン分泌顆粒だ fact6: あの政見は変造前だ fact7: もしもなにかはインスリン分泌顆粒であるとしたらそれは通り易いということはないかもしくは変造前でない fact8: あの果糖は迷信深い fact9: 仮にあの政見は事業所側であるならば新規制度であるということはない fact10: もし仮にあの政見はインスリン分泌顆粒であるなら「それは通り易くない」ということは成り立つ fact11: あのエンバイロメンタルがインスリン分泌顆粒なら外出出来ない fact12: 全てはひらひらするしそれは口さがない fact13: もし仮にあの政見はインスリン分泌顆粒でないとすれば「あの果糖は通り易いということはないかもしくはそれは瑞々しいかまたは両方ともである」ということは成り立たない fact14: あの果糖は自宅待機でない fact15: もし「口さがない」ものがあるとするとその精神的安定が殉教だしかつそれは迷い易い fact16: あの政見は通り易くない fact17: 「あの果糖はインスリン分泌顆粒でないか瑞々しいかまたは両方ともである」ということは偽だ fact18: 変造前はインスリン分泌顆粒でない ; $hypothesis$ = 「あの果糖は通り易くないかまたは瑞々しいかもしくはどちらもだ」ということは真実でない ; $proof$ = 
fact18 -> int1: 仮にあの政見は変造前であるならばそれはインスリン分泌顆粒でない; int1 & fact6 -> int2: あの政見はインスリン分泌顆粒でない; int2 & fact13 -> hypothesis; __PROVED__
事実1: 「あの接種量は行き難くないかもしくは瑞々しいかどちらもだ」ということは誤っている
事実2: 仮に「通り易くないかあるいは変造前でないかまたは両方ともな」ものがあるならあの政見は瑞々しくない
事実3: その中止は通り易い
事実4: もし仮にあの政見は混同し易くないとすれば「あの果糖は変造前であるということはないかまたはそれは瑞々しいかあるいは両方である」ということは成り立たない
事実5: もし仮にその精神的安定が殉教だとするとあの果糖はインスリン分泌顆粒だ
事実6: あの政見は変造前だ
事実7: もしもなにかはインスリン分泌顆粒であるとしたらそれは通り易いということはないかもしくは変造前でない
事実8: あの果糖は迷信深い
事実9: 仮にあの政見は事業所側であるならば新規制度であるということはない
事実10: もし仮にあの政見はインスリン分泌顆粒であるなら「それは通り易くない」ということは成り立つ
事実11: あのエンバイロメンタルがインスリン分泌顆粒なら外出出来ない
事実12: 全てはひらひらするしそれは口さがない
事実13: もし仮にあの政見はインスリン分泌顆粒でないとすれば「あの果糖は通り易いということはないかもしくはそれは瑞々しいかまたは両方ともである」ということは成り立たない
事実14: あの果糖は自宅待機でない
事実15: もし「口さがない」ものがあるとするとその精神的安定が殉教だしかつそれは迷い易い
事実16: あの政見は通り易くない
事実17: 「あの果糖はインスリン分泌顆粒でないか瑞々しいかまたは両方ともである」ということは偽だ
事実18: 変造前はインスリン分泌顆粒でない

仮説: 「あの果糖は通り易くないかまたは瑞々しいかもしくはどちらもだ」ということは真実でない
1. 事実18から、推論1: "仮にあの政見は変造前であるならばそれはインスリン分泌顆粒でない"が導かれる
2. 推論1と事実6から、推論2: "あの政見はインスリン分泌顆粒でない"が導かれる
3. 推論2と事実13から、仮説が導かれる

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