「その先進国中は与え易い」ということは正しい
fact1: もし仮にその先進国中が黄色っぽくないし加えてそれが欠損しないとしたらそれは存ず fact2: その先進国中は編み出す fact3: その先進国中は苛立つ fact4: あの適正量は諮詢しないし与え易くない fact5: その先進国中は欠損しなくてその上迷い難くない fact6: その緑化が有料メディアでないかそれが原料でないならばその全学連運動は原料である fact7: その先進国中は黄色っぽくないし欠損しない fact8: もしその全学連運動が原料ならそれはえぐい fact9: 何らかの物はまどろむとすると「それは在庫量だ」ということは真実だ fact10: なにがしかの物が存ずならばそれは与え易い fact11: 仮にあるものは在庫量であるとしたら「それは存ずしまた与え易くない」ということは間違っている fact12: えぐくない物は徳川譜代であるしまたまどろむ fact13: 「有料メディアでない」物があるとしたらその緑化は有料メディアでないか原料でないか両方である fact14: なにかは有料メディアでない fact15: もし仮にその全学連運動がえぐいししかも不足気味であるとしたらこの社会契約説はえぐいということはない
fact1 & fact7 -> int1: その先進国中は存ず; fact10 -> int2: 仮にその先進国中が存ずとすれば与え易い; int1 & int2 -> hypothesis;
その先進国中は与え易いということはない
fact23 -> int3: この社会契約説は在庫量であるとしたら「それは存ず一方で与え易くない」ということは偽だ; fact16 -> int4: もしこの社会契約説がまどろむとすると在庫量だ; fact21 -> int5: もしこの社会契約説がえぐくないならば徳川譜代だし更にそれはまどろむ; fact19 & fact20 -> int6: その緑化は有料メディアでないか原料だということはないかもしくは両方である; fact22 & int6 -> int7: その全学連運動は原料だ; fact18 & int7 -> int8: その全学連運動はえぐい;
$facts$ = fact1: もし仮にその先進国中が黄色っぽくないし加えてそれが欠損しないとしたらそれは存ず fact2: その先進国中は編み出す fact3: その先進国中は苛立つ fact4: あの適正量は諮詢しないし与え易くない fact5: その先進国中は欠損しなくてその上迷い難くない fact6: その緑化が有料メディアでないかそれが原料でないならばその全学連運動は原料である fact7: その先進国中は黄色っぽくないし欠損しない fact8: もしその全学連運動が原料ならそれはえぐい fact9: 何らかの物はまどろむとすると「それは在庫量だ」ということは真実だ fact10: なにがしかの物が存ずならばそれは与え易い fact11: 仮にあるものは在庫量であるとしたら「それは存ずしまた与え易くない」ということは間違っている fact12: えぐくない物は徳川譜代であるしまたまどろむ fact13: 「有料メディアでない」物があるとしたらその緑化は有料メディアでないか原料でないか両方である fact14: なにかは有料メディアでない fact15: もし仮にその全学連運動がえぐいししかも不足気味であるとしたらこの社会契約説はえぐいということはない ; $hypothesis$ = 「その先進国中は与え易い」ということは正しい ; $proof$ = 
fact1 & fact7 -> int1: その先進国中は存ず; fact10 -> int2: 仮にその先進国中が存ずとすれば与え易い; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にその先進国中が黄色っぽくないし加えてそれが欠損しないとしたらそれは存ず
事実2: その先進国中は編み出す
事実3: その先進国中は苛立つ
事実4: あの適正量は諮詢しないし与え易くない
事実5: その先進国中は欠損しなくてその上迷い難くない
事実6: その緑化が有料メディアでないかそれが原料でないならばその全学連運動は原料である
事実7: その先進国中は黄色っぽくないし欠損しない
事実8: もしその全学連運動が原料ならそれはえぐい
事実9: 何らかの物はまどろむとすると「それは在庫量だ」ということは真実だ
事実10: なにがしかの物が存ずならばそれは与え易い
事実11: 仮にあるものは在庫量であるとしたら「それは存ずしまた与え易くない」ということは間違っている
事実12: えぐくない物は徳川譜代であるしまたまどろむ
事実13: 「有料メディアでない」物があるとしたらその緑化は有料メディアでないか原料でないか両方である
事実14: なにかは有料メディアでない
事実15: もし仮にその全学連運動がえぐいししかも不足気味であるとしたらこの社会契約説はえぐいということはない

仮説: 「その先進国中は与え易い」ということは正しい
1. 事実1と事実7から、推論1: "その先進国中は存ず"が導かれる
2. 事実10から、推論2: "仮にその先進国中が存ずとすれば与え易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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