「「押さえ付けるし加えて遣れる」ということは事実と異なる」物はある
fact1: 「「発射筒であるし押さえ付ける」ということは誤りな」ものはある fact2: この厄介事は粘り強くない fact3: もし「なんらかのものは頑是無くない一方でビナヤだ」ということは誤っているとすれば乳臭い fact4: 何かは押さえ付けるしその上遣れる fact5: 「「押さえ付けるしまた発射筒だ」ということは誤りである」ものはある fact6: あの応募書類は厚ぼったくない fact7: この厄介事はくよくよしない fact8: 「「遣れるししかも発射筒だ」ということは成り立たない」物はある fact9: 「この通産は留むし更に行き難い」ということは誤っている fact10: もし仮に「とあるものは割れ難くて乳臭い」ということは成り立たないとすれば割れ難いということはない fact11: もしもとある物は乳臭いとすれば「それは発射筒だ」ということは成り立つ fact12: 「「繰り回すし組織構成だ」ということは誤りである」物はある fact13: 仮にあの応募書類は発射筒でないとすれば「この厄介事は押さえ付けるし更に遣れる」ということは誤りだ fact14: もしもこの厄介事は遣れないなら「「あの応募書類は発射筒でしかも押さえ付ける」ということは間違いである」ということは本当である fact15: 「この厄介事は地方公共団体等でない」ということは確かである fact16: 仮にこの厄介事は発射筒でないとしたら「あの応募書類は遣れるしかつ押さえ付ける」ということは嘘である fact17: 「「発射筒だしそれに遣れる」ということは成り立たない」ものはある fact18: 「あの応募書類は発射筒でない」ということは正しい
fact13 & fact18 -> int1: 「この厄介事は押さえ付けるしその上遣れる」ということは事実でない; int1 -> hypothesis;
「「化学プラントで零れ落ちる」ということは誤りである」ものはある
fact20 -> int2: この厄介事が乳臭いならそれは発射筒である; fact19 -> int3: もしも「この厄介事は頑是無いということはないけどそれはビナヤである」ということは事実と異なるならそれは乳臭い;
$facts$ = fact1: 「「発射筒であるし押さえ付ける」ということは誤りな」ものはある fact2: この厄介事は粘り強くない fact3: もし「なんらかのものは頑是無くない一方でビナヤだ」ということは誤っているとすれば乳臭い fact4: 何かは押さえ付けるしその上遣れる fact5: 「「押さえ付けるしまた発射筒だ」ということは誤りである」ものはある fact6: あの応募書類は厚ぼったくない fact7: この厄介事はくよくよしない fact8: 「「遣れるししかも発射筒だ」ということは成り立たない」物はある fact9: 「この通産は留むし更に行き難い」ということは誤っている fact10: もし仮に「とあるものは割れ難くて乳臭い」ということは成り立たないとすれば割れ難いということはない fact11: もしもとある物は乳臭いとすれば「それは発射筒だ」ということは成り立つ fact12: 「「繰り回すし組織構成だ」ということは誤りである」物はある fact13: 仮にあの応募書類は発射筒でないとすれば「この厄介事は押さえ付けるし更に遣れる」ということは誤りだ fact14: もしもこの厄介事は遣れないなら「「あの応募書類は発射筒でしかも押さえ付ける」ということは間違いである」ということは本当である fact15: 「この厄介事は地方公共団体等でない」ということは確かである fact16: 仮にこの厄介事は発射筒でないとしたら「あの応募書類は遣れるしかつ押さえ付ける」ということは嘘である fact17: 「「発射筒だしそれに遣れる」ということは成り立たない」ものはある fact18: 「あの応募書類は発射筒でない」ということは正しい ; $hypothesis$ = 「「押さえ付けるし加えて遣れる」ということは事実と異なる」物はある ; $proof$ = 
fact13 & fact18 -> int1: 「この厄介事は押さえ付けるしその上遣れる」ということは事実でない; int1 -> hypothesis; __PROVED__
事実1: 「「発射筒であるし押さえ付ける」ということは誤りな」ものはある
事実2: この厄介事は粘り強くない
事実3: もし「なんらかのものは頑是無くない一方でビナヤだ」ということは誤っているとすれば乳臭い
事実4: 何かは押さえ付けるしその上遣れる
事実5: 「「押さえ付けるしまた発射筒だ」ということは誤りである」ものはある
事実6: あの応募書類は厚ぼったくない
事実7: この厄介事はくよくよしない
事実8: 「「遣れるししかも発射筒だ」ということは成り立たない」物はある
事実9: 「この通産は留むし更に行き難い」ということは誤っている
事実10: もし仮に「とあるものは割れ難くて乳臭い」ということは成り立たないとすれば割れ難いということはない
事実11: もしもとある物は乳臭いとすれば「それは発射筒だ」ということは成り立つ
事実12: 「「繰り回すし組織構成だ」ということは誤りである」物はある
事実13: 仮にあの応募書類は発射筒でないとすれば「この厄介事は押さえ付けるし更に遣れる」ということは誤りだ
事実14: もしもこの厄介事は遣れないなら「「あの応募書類は発射筒でしかも押さえ付ける」ということは間違いである」ということは本当である
事実15: 「この厄介事は地方公共団体等でない」ということは確かである
事実16: 仮にこの厄介事は発射筒でないとしたら「あの応募書類は遣れるしかつ押さえ付ける」ということは嘘である
事実17: 「「発射筒だしそれに遣れる」ということは成り立たない」ものはある
事実18: 「あの応募書類は発射筒でない」ということは正しい

仮説: 「「押さえ付けるし加えて遣れる」ということは事実と異なる」物はある
1. 事実13と事実18から、推論1: "「この厄介事は押さえ付けるしその上遣れる」ということは事実でない"が導かれる
2. 推論1から、仮説が導かれる

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