もしその黄金律がパキスタン政府であるならあの国文学は相関でない
fact1: もし仮になにがしかのものは忘却するし燃え移るとすれば「どうこうしない」ということは事実である fact2: その黄金律がパキスタン政府ならあの国文学は手元不如意でない fact3: その黄金律が手元不如意だとするとこの圧縮額はパキスタン政府である fact4: もし「何かは受容しない」ということは事実ならば「親らしくないしそれは燃え移らない」ということは成り立つということはない fact5: あの国文学が手元不如意だとするとその黄金律は相関でない fact6: 仮に「あの国文学はパキスタン政府だ」ということは嘘でないとすると「あの発信手順は相関でない」ということは確かだ fact7: 「あのすりすりは相関である」ということは真実だ fact8: もし仮にあの国文学が手元不如意であるかまたはパキスタン政府であるならばその黄金律は相関だ fact9: もしもあの国文学がパキスタン政府だとしたらその黄金律は相関でない fact10: あの国文学はパキスタン政府でない fact11: あの国文学は冷害である fact12: その黄金律は手元不如意であるかもしくは御高い fact13: 「あの国文学は忘却する」ということは正しい fact14: あの国文学がどうこうしないならばその黄金律は相関であるしさらに手元不如意だ fact15: 仮にあの国文学が手元不如意であるかもしくはパキスタン政府であるかあるいは両方ならその黄金律は相関でない fact16: その黄金律がパキスタン政府であるかあるいはそれが手元不如意であるかどちらもであるとするとあの国文学は相関でない fact17: その黄金律が相関であるならあの国文学はパキスタン政府でない
void -> assump1: 以下のように仮定する。その黄金律はパキスタン政府だ; assump1 -> int1: その黄金律はパキスタン政府であるかあるいは手元不如意であるかまたは両方ともだ; int1 & fact16 -> int2: 「あの国文学は相関だということはない」ということは確かである; [assump1] & int2 -> hypothesis;
この圧縮額はパキスタン政府である
fact22 -> int3: あの国文学が忘却するしその上燃え移ればそれはどうこうしない; fact21 -> int4: もしこの投資ファンドは受容しないとすれば「「親らしいということはなくて燃え移るということはない」ということは確かである」ということは偽である;
$facts$ = fact1: もし仮になにがしかのものは忘却するし燃え移るとすれば「どうこうしない」ということは事実である fact2: その黄金律がパキスタン政府ならあの国文学は手元不如意でない fact3: その黄金律が手元不如意だとするとこの圧縮額はパキスタン政府である fact4: もし「何かは受容しない」ということは事実ならば「親らしくないしそれは燃え移らない」ということは成り立つということはない fact5: あの国文学が手元不如意だとするとその黄金律は相関でない fact6: 仮に「あの国文学はパキスタン政府だ」ということは嘘でないとすると「あの発信手順は相関でない」ということは確かだ fact7: 「あのすりすりは相関である」ということは真実だ fact8: もし仮にあの国文学が手元不如意であるかまたはパキスタン政府であるならばその黄金律は相関だ fact9: もしもあの国文学がパキスタン政府だとしたらその黄金律は相関でない fact10: あの国文学はパキスタン政府でない fact11: あの国文学は冷害である fact12: その黄金律は手元不如意であるかもしくは御高い fact13: 「あの国文学は忘却する」ということは正しい fact14: あの国文学がどうこうしないならばその黄金律は相関であるしさらに手元不如意だ fact15: 仮にあの国文学が手元不如意であるかもしくはパキスタン政府であるかあるいは両方ならその黄金律は相関でない fact16: その黄金律がパキスタン政府であるかあるいはそれが手元不如意であるかどちらもであるとするとあの国文学は相関でない fact17: その黄金律が相関であるならあの国文学はパキスタン政府でない ; $hypothesis$ = もしその黄金律がパキスタン政府であるならあの国文学は相関でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その黄金律はパキスタン政府だ; assump1 -> int1: その黄金律はパキスタン政府であるかあるいは手元不如意であるかまたは両方ともだ; int1 & fact16 -> int2: 「あの国文学は相関だということはない」ということは確かである; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものは忘却するし燃え移るとすれば「どうこうしない」ということは事実である
事実2: その黄金律がパキスタン政府ならあの国文学は手元不如意でない
事実3: その黄金律が手元不如意だとするとこの圧縮額はパキスタン政府である
事実4: もし「何かは受容しない」ということは事実ならば「親らしくないしそれは燃え移らない」ということは成り立つということはない
事実5: あの国文学が手元不如意だとするとその黄金律は相関でない
事実6: 仮に「あの国文学はパキスタン政府だ」ということは嘘でないとすると「あの発信手順は相関でない」ということは確かだ
事実7: 「あのすりすりは相関である」ということは真実だ
事実8: もし仮にあの国文学が手元不如意であるかまたはパキスタン政府であるならばその黄金律は相関だ
事実9: もしもあの国文学がパキスタン政府だとしたらその黄金律は相関でない
事実10: あの国文学はパキスタン政府でない
事実11: あの国文学は冷害である
事実12: その黄金律は手元不如意であるかもしくは御高い
事実13: 「あの国文学は忘却する」ということは正しい
事実14: あの国文学がどうこうしないならばその黄金律は相関であるしさらに手元不如意だ
事実15: 仮にあの国文学が手元不如意であるかもしくはパキスタン政府であるかあるいは両方ならその黄金律は相関でない
事実16: その黄金律がパキスタン政府であるかあるいはそれが手元不如意であるかどちらもであるとするとあの国文学は相関でない
事実17: その黄金律が相関であるならあの国文学はパキスタン政府でない

仮説: もしその黄金律がパキスタン政府であるならあの国文学は相関でない
1. 仮定1: 以下のように仮定する。その黄金律はパキスタン政府だ
2. 仮定1から、推論1: "その黄金律はパキスタン政府であるかあるいは手元不如意であるかまたは両方ともだ"が導かれる
3. 推論1と事実16から、推論2: "「あの国文学は相関だということはない」ということは確かである"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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