その進学先は切り替え線だ
fact1: もし仮になにかは赤花科であるならばそれはスモールビジネスでない fact2: それは引き入れるということはないか弛くないという物はない fact3: 仮にあの宮大工が起こり難いならばその進学先は切り替え線でない fact4: もし仮に「あの当該監視化学物質は引き入れないかまたは弛いということはない」ということは成り立つということはないならそれは起こり難い fact5: もしなにかは持ち続けないならそれは伝え難くておまけに赤花科である fact6: もしも何かはスモールビジネスでないとしたらそれは起こり難いし更に修了証書である fact7: 仮に「あの当該監視化学物質は起こり難い」ということは本当であるとするとその進学先は切り替え線である fact8: あの製品メーカーは正しかもしくは持ち続けないか両方ともである
fact2 -> int1: 「あの当該監視化学物質は引き入れないかもしくはそれは弛くない」ということは誤っている; int1 & fact4 -> int2: あの当該監視化学物質は起こり難い; int2 & fact7 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact4 -> int2: {A}{aa}; int2 & fact7 -> hypothesis;
その進学先は切り替え線だということはない
fact13 -> int3: もしあの宮大工がスモールビジネスであるということはないとすると起こり難いし更に修了証書である; fact10 -> int4: もしあの宮大工は赤花科であるとしたらそれはスモールビジネスでない; fact11 -> int5: もし仮にあの宮大工が持ち続けるということはないとするとそれは伝え難くて赤花科だ;
$facts$ = fact1: もし仮になにかは赤花科であるならばそれはスモールビジネスでない fact2: それは引き入れるということはないか弛くないという物はない fact3: 仮にあの宮大工が起こり難いならばその進学先は切り替え線でない fact4: もし仮に「あの当該監視化学物質は引き入れないかまたは弛いということはない」ということは成り立つということはないならそれは起こり難い fact5: もしなにかは持ち続けないならそれは伝え難くておまけに赤花科である fact6: もしも何かはスモールビジネスでないとしたらそれは起こり難いし更に修了証書である fact7: 仮に「あの当該監視化学物質は起こり難い」ということは本当であるとするとその進学先は切り替え線である fact8: あの製品メーカーは正しかもしくは持ち続けないか両方ともである ; $hypothesis$ = その進学先は切り替え線だ ; $proof$ = 
fact2 -> int1: 「あの当該監視化学物質は引き入れないかもしくはそれは弛くない」ということは誤っている; int1 & fact4 -> int2: あの当該監視化学物質は起こり難い; int2 & fact7 -> hypothesis; __PROVED__
事実1: もし仮になにかは赤花科であるならばそれはスモールビジネスでない
事実2: それは引き入れるということはないか弛くないという物はない
事実3: 仮にあの宮大工が起こり難いならばその進学先は切り替え線でない
事実4: もし仮に「あの当該監視化学物質は引き入れないかまたは弛いということはない」ということは成り立つということはないならそれは起こり難い
事実5: もしなにかは持ち続けないならそれは伝え難くておまけに赤花科である
事実6: もしも何かはスモールビジネスでないとしたらそれは起こり難いし更に修了証書である
事実7: 仮に「あの当該監視化学物質は起こり難い」ということは本当であるとするとその進学先は切り替え線である
事実8: あの製品メーカーは正しかもしくは持ち続けないか両方ともである

仮説: その進学先は切り替え線だ
1. 事実2から、推論1: "「あの当該監視化学物質は引き入れないかもしくはそれは弛くない」ということは誤っている"が導かれる
2. 推論1と事実4から、推論2: "あの当該監視化学物質は起こり難い"が導かれる
3. 推論2と事実7から、仮説が導かれる

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