あの二〜三ミリメートル厚さは青黒い
fact1: もし仮に何らかのものは押し出し麺であるとしたら「あの生産実績は刺繍しないしそれは行儀良くない」ということは間違いである fact2: もし何かは永続するとするとそれはインストラクターでない fact3: もし仮に「あの堺町帝は並べ入れない」ということは本当であるならば「そのドライハーブは永続しないがしかし観光する」ということは誤りだ fact4: もし「なんらかの物は刺繍するけどセロトニン濃度だということはない」ということは事実と異なるとしたら刺繍しない fact5: 仮にとあるものは押し出し麺である一方で刺繍しないとすれば青黒いということはない fact6: もし仮に「あの生産実績はセロトニン濃度でないがしかしそれは行儀良い」ということは間違いだとするとあの二〜三ミリメートル厚さは行儀良くない fact7: もしも「押し出し麺である」物はあれば「あの生産実績は刺繍するけどそれは行儀良くない」ということは誤っている fact8: 「押し出し麺な」ものはある fact9: もしも「あの生産実績は刺繍するということはないし行儀良いということはない」ということは成り立たないとしたらあの二〜三ミリメートル厚さは青黒い fact10: 仮に「なんらかのものは永続しないがしかし観光する」ということは成り立たないならばそれは永続する fact11: 「永続するということはない」ものはある fact12: 「あの生産実績はインストラクターだということはない一方でステップアップする」ということは確かならば「この役回りは行儀良い」ということは正しい fact13: もしあの新規採用者はステップアップしないとすると「あの生産実績はセロトニン濃度だということはないけれどそれは行儀良い」ということは間違いだ fact14: 「「行儀良い」ということは正しい」ものはある fact15: もしそのドライハーブはインストラクターでないとすれば「あの新規採用者はステップアップする」ということは偽である fact16: 「あの生産実績は刺繍するがしかしそれは行儀良くない」ということは間違っている fact17: 何らかの物は行儀良いなら「刺繍するし加えてそれはセロトニン濃度でない」ということは間違いだ fact18: あの生産実績が刺繍するとしたらあの二〜三ミリメートル厚さは青黒い
fact8 & fact1 -> int1: 「あの生産実績は刺繍しなくてまた行儀良くない」ということは成り立たない; int1 & fact9 -> hypothesis;
あの二〜三ミリメートル厚さは青黒いということはない
fact22 -> int2: あの二〜三ミリメートル厚さは押し出し麺だ一方で刺繍しないとするとそれは青黒いということはない; fact23 -> int3: もし仮にそのドライハーブは永続するなら「それはインストラクターでない」ということは確かだ; fact20 -> int4: 仮に「そのドライハーブは永続しないけど観光する」ということは成り立たないとすれば「永続する」ということは本当だ;
$facts$ = fact1: もし仮に何らかのものは押し出し麺であるとしたら「あの生産実績は刺繍しないしそれは行儀良くない」ということは間違いである fact2: もし何かは永続するとするとそれはインストラクターでない fact3: もし仮に「あの堺町帝は並べ入れない」ということは本当であるならば「そのドライハーブは永続しないがしかし観光する」ということは誤りだ fact4: もし「なんらかの物は刺繍するけどセロトニン濃度だということはない」ということは事実と異なるとしたら刺繍しない fact5: 仮にとあるものは押し出し麺である一方で刺繍しないとすれば青黒いということはない fact6: もし仮に「あの生産実績はセロトニン濃度でないがしかしそれは行儀良い」ということは間違いだとするとあの二〜三ミリメートル厚さは行儀良くない fact7: もしも「押し出し麺である」物はあれば「あの生産実績は刺繍するけどそれは行儀良くない」ということは誤っている fact8: 「押し出し麺な」ものはある fact9: もしも「あの生産実績は刺繍するということはないし行儀良いということはない」ということは成り立たないとしたらあの二〜三ミリメートル厚さは青黒い fact10: 仮に「なんらかのものは永続しないがしかし観光する」ということは成り立たないならばそれは永続する fact11: 「永続するということはない」ものはある fact12: 「あの生産実績はインストラクターだということはない一方でステップアップする」ということは確かならば「この役回りは行儀良い」ということは正しい fact13: もしあの新規採用者はステップアップしないとすると「あの生産実績はセロトニン濃度だということはないけれどそれは行儀良い」ということは間違いだ fact14: 「「行儀良い」ということは正しい」ものはある fact15: もしそのドライハーブはインストラクターでないとすれば「あの新規採用者はステップアップする」ということは偽である fact16: 「あの生産実績は刺繍するがしかしそれは行儀良くない」ということは間違っている fact17: 何らかの物は行儀良いなら「刺繍するし加えてそれはセロトニン濃度でない」ということは間違いだ fact18: あの生産実績が刺繍するとしたらあの二〜三ミリメートル厚さは青黒い ; $hypothesis$ = あの二〜三ミリメートル厚さは青黒い ; $proof$ = 
fact8 & fact1 -> int1: 「あの生産実績は刺繍しなくてまた行儀良くない」ということは成り立たない; int1 & fact9 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものは押し出し麺であるとしたら「あの生産実績は刺繍しないしそれは行儀良くない」ということは間違いである
事実2: もし何かは永続するとするとそれはインストラクターでない
事実3: もし仮に「あの堺町帝は並べ入れない」ということは本当であるならば「そのドライハーブは永続しないがしかし観光する」ということは誤りだ
事実4: もし「なんらかの物は刺繍するけどセロトニン濃度だということはない」ということは事実と異なるとしたら刺繍しない
事実5: 仮にとあるものは押し出し麺である一方で刺繍しないとすれば青黒いということはない
事実6: もし仮に「あの生産実績はセロトニン濃度でないがしかしそれは行儀良い」ということは間違いだとするとあの二〜三ミリメートル厚さは行儀良くない
事実7: もしも「押し出し麺である」物はあれば「あの生産実績は刺繍するけどそれは行儀良くない」ということは誤っている
事実8: 「押し出し麺な」ものはある
事実9: もしも「あの生産実績は刺繍するということはないし行儀良いということはない」ということは成り立たないとしたらあの二〜三ミリメートル厚さは青黒い
事実10: 仮に「なんらかのものは永続しないがしかし観光する」ということは成り立たないならばそれは永続する
事実11: 「永続するということはない」ものはある
事実12: 「あの生産実績はインストラクターだということはない一方でステップアップする」ということは確かならば「この役回りは行儀良い」ということは正しい
事実13: もしあの新規採用者はステップアップしないとすると「あの生産実績はセロトニン濃度だということはないけれどそれは行儀良い」ということは間違いだ
事実14: 「「行儀良い」ということは正しい」ものはある
事実15: もしそのドライハーブはインストラクターでないとすれば「あの新規採用者はステップアップする」ということは偽である
事実16: 「あの生産実績は刺繍するがしかしそれは行儀良くない」ということは間違っている
事実17: 何らかの物は行儀良いなら「刺繍するし加えてそれはセロトニン濃度でない」ということは間違いだ
事実18: あの生産実績が刺繍するとしたらあの二〜三ミリメートル厚さは青黒い

仮説: あの二〜三ミリメートル厚さは青黒い
1. 事実8と事実1から、推論1: "「あの生産実績は刺繍しなくてまた行儀良くない」ということは成り立たない"が導かれる
2. 推論1と事実9から、仮説が導かれる

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