もし仮にその実験群が合格するとすればこの口下手は一家族だということはない
fact1: もしもあの探究活動がでかくないとすれば奇抜であるかあるいはそれは行い易いということはない fact2: もし仮にある物が使い過ぎないならばあの出力機は焦げ臭くない fact3: もし仮にこの口下手が胸苦しいとしたらその実験群は合格するということはない fact4: 一家族は合格するということはないし胸苦しくない fact5: 「合格する」物はある fact6: この降車駅は一家族である fact7: その実験群が合格するということはなくて加えて胸苦しくないならば「この無酸素状態はＰレファレンスだ」ということは正しい fact8: もし仮にある物が合格するしさらに胸苦しいとしたらこの口下手は一家族でない fact9: 「銀行ローンはでかくない」ということは嘘でない fact10: その実験群はＰレファレンスであるということはなくて加えてそれは外科的治療でない fact11: もしもなにかは奇抜であるかそれは行い易いないかまたはどちらもであるとするとそれは使い過ぎるということはない fact12: もし仮に「焦げ臭くない」ものがあるとしたらこの口下手は方形周溝墓であるかまたは説明し直すかあるいは両方ともである fact13: もしあの探究活動はどきどきしないなら「銀行ローンであるということはなくて度毎でない」ということは偽である fact14: もし仮に「合格するし加えて胸苦しい」物があるならこの口下手は一家族である fact15: もしもこの口下手が方形周溝墓だとすればその実験群は外科的治療だ fact16: あの探究活動はどきどきするということはない fact17: もしこの口下手が外科的治療であるならばその実験群は一家族でない fact18: 「この口下手は外科的治療だということはない」ということは成り立つ fact19: もしも「あの探究活動は銀行ローンでなくて度毎でない」ということは間違っているならそれは銀行ローンだ fact20: 仮にその実験群が胸苦しくないとしたらＰレファレンスだ fact21: もし仮にその実験群が一家族だとしたらこの口下手は外科的治療でない fact22: もしとあるものが外科的治療だとすればそれは一家族である
void -> assump2: 以下のように仮定する。その実験群は胸苦しいということはない; fact20 & assump2 -> int1: その実験群はＰレファレンスだ; fact10 -> int2: その実験群はＰレファレンスであるということはない; int1 & int2 -> int3: これは矛盾である; [assump2] & int3 -> int4: その実験群は胸苦しい; void -> assump1: 以下のように仮定する。その実験群は合格する; int4 & assump1 -> int5: その実験群は合格するしそれは胸苦しい; int5 -> int6: 「合格するししかも胸苦しい」物はある; int6 & fact8 -> int7: この口下手は一家族でない; [assump1] & int7 -> hypothesis;
この無酸素状態はＰレファレンスだ
fact31 -> int8: もしその実験群が一家族だとすると合格しなくて胸苦しくない; fact34 -> int9: もしその実験群は外科的治療であるとすると一家族である; fact24 -> int10: 仮にあの探究活動は奇抜であるかあるいは行い易いないかまたは両方ともならそれは使い過ぎない; fact28 -> int11: もし「あの探究活動は銀行ローンである」ということは成り立つとすればそれはでかくない; fact23 & fact30 -> int12: 「あの探究活動は銀行ローンだということはないししかも度毎でない」ということは成り立たない; fact33 & int12 -> int13: 「あの探究活動は銀行ローンだ」ということは成り立つ; int11 & int13 -> int14: あの探究活動はでかくない; fact26 & int14 -> int15: あの探究活動は奇抜であるかもしくはそれは行い易いない; int10 & int15 -> int16: あの探究活動は使い過ぎない; int16 -> int17: 「「使い過ぎる」ということは嘘である」物はある; int17 & fact27 -> int18: この出力機は焦げ臭くない; int18 -> int19: 「焦げ臭くない」物はある; int19 & fact29 -> int20: この口下手は方形周溝墓であるか説明し直すか両方である;
$facts$ = fact1: もしもあの探究活動がでかくないとすれば奇抜であるかあるいはそれは行い易いということはない fact2: もし仮にある物が使い過ぎないならばあの出力機は焦げ臭くない fact3: もし仮にこの口下手が胸苦しいとしたらその実験群は合格するということはない fact4: 一家族は合格するということはないし胸苦しくない fact5: 「合格する」物はある fact6: この降車駅は一家族である fact7: その実験群が合格するということはなくて加えて胸苦しくないならば「この無酸素状態はＰレファレンスだ」ということは正しい fact8: もし仮にある物が合格するしさらに胸苦しいとしたらこの口下手は一家族でない fact9: 「銀行ローンはでかくない」ということは嘘でない fact10: その実験群はＰレファレンスであるということはなくて加えてそれは外科的治療でない fact11: もしもなにかは奇抜であるかそれは行い易いないかまたはどちらもであるとするとそれは使い過ぎるということはない fact12: もし仮に「焦げ臭くない」ものがあるとしたらこの口下手は方形周溝墓であるかまたは説明し直すかあるいは両方ともである fact13: もしあの探究活動はどきどきしないなら「銀行ローンであるということはなくて度毎でない」ということは偽である fact14: もし仮に「合格するし加えて胸苦しい」物があるならこの口下手は一家族である fact15: もしもこの口下手が方形周溝墓だとすればその実験群は外科的治療だ fact16: あの探究活動はどきどきするということはない fact17: もしこの口下手が外科的治療であるならばその実験群は一家族でない fact18: 「この口下手は外科的治療だということはない」ということは成り立つ fact19: もしも「あの探究活動は銀行ローンでなくて度毎でない」ということは間違っているならそれは銀行ローンだ fact20: 仮にその実験群が胸苦しくないとしたらＰレファレンスだ fact21: もし仮にその実験群が一家族だとしたらこの口下手は外科的治療でない fact22: もしとあるものが外科的治療だとすればそれは一家族である ; $hypothesis$ = もし仮にその実験群が合格するとすればこの口下手は一家族だということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。その実験群は胸苦しいということはない; fact20 & assump2 -> int1: その実験群はＰレファレンスだ; fact10 -> int2: その実験群はＰレファレンスであるということはない; int1 & int2 -> int3: これは矛盾である; [assump2] & int3 -> int4: その実験群は胸苦しい; void -> assump1: 以下のように仮定する。その実験群は合格する; int4 & assump1 -> int5: その実験群は合格するしそれは胸苦しい; int5 -> int6: 「合格するししかも胸苦しい」物はある; int6 & fact8 -> int7: この口下手は一家族でない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもあの探究活動がでかくないとすれば奇抜であるかあるいはそれは行い易いということはない
事実2: もし仮にある物が使い過ぎないならばあの出力機は焦げ臭くない
事実3: もし仮にこの口下手が胸苦しいとしたらその実験群は合格するということはない
事実4: 一家族は合格するということはないし胸苦しくない
事実5: 「合格する」物はある
事実6: この降車駅は一家族である
事実7: その実験群が合格するということはなくて加えて胸苦しくないならば「この無酸素状態はＰレファレンスだ」ということは正しい
事実8: もし仮にある物が合格するしさらに胸苦しいとしたらこの口下手は一家族でない
事実9: 「銀行ローンはでかくない」ということは嘘でない
事実10: その実験群はＰレファレンスであるということはなくて加えてそれは外科的治療でない
事実11: もしもなにかは奇抜であるかそれは行い易いないかまたはどちらもであるとするとそれは使い過ぎるということはない
事実12: もし仮に「焦げ臭くない」ものがあるとしたらこの口下手は方形周溝墓であるかまたは説明し直すかあるいは両方ともである
事実13: もしあの探究活動はどきどきしないなら「銀行ローンであるということはなくて度毎でない」ということは偽である
事実14: もし仮に「合格するし加えて胸苦しい」物があるならこの口下手は一家族である
事実15: もしもこの口下手が方形周溝墓だとすればその実験群は外科的治療だ
事実16: あの探究活動はどきどきするということはない
事実17: もしこの口下手が外科的治療であるならばその実験群は一家族でない
事実18: 「この口下手は外科的治療だということはない」ということは成り立つ
事実19: もしも「あの探究活動は銀行ローンでなくて度毎でない」ということは間違っているならそれは銀行ローンだ
事実20: 仮にその実験群が胸苦しくないとしたらＰレファレンスだ
事実21: もし仮にその実験群が一家族だとしたらこの口下手は外科的治療でない
事実22: もしとあるものが外科的治療だとすればそれは一家族である

仮説: もし仮にその実験群が合格するとすればこの口下手は一家族だということはない
1. 仮定2: 以下のように仮定する。その実験群は胸苦しいということはない
2. 事実20と仮定2から、推論1: "その実験群はＰレファレンスだ"が導かれる
3. 事実10から、推論2: "その実験群はＰレファレンスであるということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定2]と推論3から、推論4: "その実験群は胸苦しい"が導かれる
6. 仮定1: 以下のように仮定する。その実験群は合格する
7. 推論4と仮定1から、推論5: "その実験群は合格するしそれは胸苦しい"が導かれる
8. 推論5から、推論6: "「合格するししかも胸苦しい」物はある"が導かれる
9. 推論6と事実8から、推論7: "この口下手は一家族でない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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