もしも「その難民は懐妊する」ということは成り立つとすると「その法制局は私情でないかまたは面目無くないかあるいは両方ともだ」ということは成り立たない
fact1: 「その難民は世知辛くないかあるいは進入車であるかどちらもだ」ということは間違っている fact2: もしあの熱帯夜が面目無いならばあの法制局は私情だ fact3: もしその難民は私情なら「その法制局は離れ行く」ということは真実だ fact4: その法制局が面目無いとすればそれは懐妊する fact5: もし仮に私情は離れ行かないとしたら「懐妊する」ということは誤りでない fact6: もしその法制局は私情なら「「その難民は離れ行かないか面目無いかあるいはどちらもである」ということは事実である」ということは誤っている fact7: その難民が懐妊するとするとそれは離れ行く fact8: もしもあの熱帯夜は私情ならば「その法制局は私情でないかもしくはそれは面目無くない」ということは偽である fact9: その難民が離れ行くならばあの熱帯夜は私情だ fact10: 「「その難民は懐妊しないかまたは思慮深くないかまたは両方ともである」ということは本当だ」ということは事実でない fact11: もしその難民は私情であるとしたら「その法制局は懐妊しないかもしくは離れ行かないか両方だ」ということは成り立たない fact12: あの熱帯夜が私情だとすればそれは面目無い fact13: 仮に「その難民は面目無くない」ということは成り立たないならば「その法制局は面目無くないかもしくは私情でないかあるいは両方ともである」ということは誤っている fact14: その難民が面目無いとしたらあの熱帯夜は面目無い fact15: その難民は私情である fact16: もし仮にその難民は懐妊すれば「その法制局は懐妊しないかあるいはそれは離れ行かない」ということは偽だ fact17: もしもあの熱帯夜が私情ならばあの法制局は私情だ
void -> assump1: 以下のように仮定する。その難民は懐妊する; fact7 & assump1 -> int1: その難民は離れ行く; int1 & fact9 -> int2: あの熱帯夜は私情である; int2 & fact8 -> int3: 「その法制局は私情でないかあるいは面目無くない」ということは偽だ; [assump1] & int3 -> hypothesis;
その法制局は懐妊する
fact18 -> int4: その法制局は私情であるがしかし離れ行かないとしたら懐妊する;
$facts$ = fact1: 「その難民は世知辛くないかあるいは進入車であるかどちらもだ」ということは間違っている fact2: もしあの熱帯夜が面目無いならばあの法制局は私情だ fact3: もしその難民は私情なら「その法制局は離れ行く」ということは真実だ fact4: その法制局が面目無いとすればそれは懐妊する fact5: もし仮に私情は離れ行かないとしたら「懐妊する」ということは誤りでない fact6: もしその法制局は私情なら「「その難民は離れ行かないか面目無いかあるいはどちらもである」ということは事実である」ということは誤っている fact7: その難民が懐妊するとするとそれは離れ行く fact8: もしもあの熱帯夜は私情ならば「その法制局は私情でないかもしくはそれは面目無くない」ということは偽である fact9: その難民が離れ行くならばあの熱帯夜は私情だ fact10: 「「その難民は懐妊しないかまたは思慮深くないかまたは両方ともである」ということは本当だ」ということは事実でない fact11: もしその難民は私情であるとしたら「その法制局は懐妊しないかもしくは離れ行かないか両方だ」ということは成り立たない fact12: あの熱帯夜が私情だとすればそれは面目無い fact13: 仮に「その難民は面目無くない」ということは成り立たないならば「その法制局は面目無くないかもしくは私情でないかあるいは両方ともである」ということは誤っている fact14: その難民が面目無いとしたらあの熱帯夜は面目無い fact15: その難民は私情である fact16: もし仮にその難民は懐妊すれば「その法制局は懐妊しないかあるいはそれは離れ行かない」ということは偽だ fact17: もしもあの熱帯夜が私情ならばあの法制局は私情だ ; $hypothesis$ = もしも「その難民は懐妊する」ということは成り立つとすると「その法制局は私情でないかまたは面目無くないかあるいは両方ともだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その難民は懐妊する; fact7 & assump1 -> int1: その難民は離れ行く; int1 & fact9 -> int2: あの熱帯夜は私情である; int2 & fact8 -> int3: 「その法制局は私情でないかあるいは面目無くない」ということは偽だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「その難民は世知辛くないかあるいは進入車であるかどちらもだ」ということは間違っている
事実2: もしあの熱帯夜が面目無いならばあの法制局は私情だ
事実3: もしその難民は私情なら「その法制局は離れ行く」ということは真実だ
事実4: その法制局が面目無いとすればそれは懐妊する
事実5: もし仮に私情は離れ行かないとしたら「懐妊する」ということは誤りでない
事実6: もしその法制局は私情なら「「その難民は離れ行かないか面目無いかあるいはどちらもである」ということは事実である」ということは誤っている
事実7: その難民が懐妊するとするとそれは離れ行く
事実8: もしもあの熱帯夜は私情ならば「その法制局は私情でないかもしくはそれは面目無くない」ということは偽である
事実9: その難民が離れ行くならばあの熱帯夜は私情だ
事実10: 「「その難民は懐妊しないかまたは思慮深くないかまたは両方ともである」ということは本当だ」ということは事実でない
事実11: もしその難民は私情であるとしたら「その法制局は懐妊しないかもしくは離れ行かないか両方だ」ということは成り立たない
事実12: あの熱帯夜が私情だとすればそれは面目無い
事実13: 仮に「その難民は面目無くない」ということは成り立たないならば「その法制局は面目無くないかもしくは私情でないかあるいは両方ともである」ということは誤っている
事実14: その難民が面目無いとしたらあの熱帯夜は面目無い
事実15: その難民は私情である
事実16: もし仮にその難民は懐妊すれば「その法制局は懐妊しないかあるいはそれは離れ行かない」ということは偽だ
事実17: もしもあの熱帯夜が私情ならばあの法制局は私情だ

仮説: もしも「その難民は懐妊する」ということは成り立つとすると「その法制局は私情でないかまたは面目無くないかあるいは両方ともだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。その難民は懐妊する
2. 事実7と仮定1から、推論1: "その難民は離れ行く"が導かれる
3. 推論1と事実9から、推論2: "あの熱帯夜は私情である"が導かれる
4. 推論2と事実8から、推論3: "「その法制局は私情でないかあるいは面目無くない」ということは偽だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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