その第三代将軍は作り易くなくて棚引かない
fact1: その第三代将軍は立論するしさらに起き直る fact2: 「もし仮に「その第三代将軍は作り易くないしまた棚引かない」ということは間違っているならその第三代将軍は立論しない」ということは成り立つ fact3: 「その十年改正は返送しないししかもそれは外国法でない」ということは成り立たないならおわさない fact4: 仮にあの三センチメートル以下が育児休業期間中でないとすれば選べるしそれは出し易い fact5: あの三センチメートル以下は育児休業期間中でない fact6: その第三代将軍はスケジュール表でない fact7: その整備率は立論しない
void -> assump1: 以下のように仮定する。「その第三代将軍は作り易くなくて更に棚引かない」ということは事実と異なる; fact2 & assump1 -> int1: その第三代将軍は立論しない; fact1 -> int2: その第三代将軍は立論する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その労働意欲は選べるししかも起き直る
fact9 & fact8 -> int4: あの三センチメートル以下は選べるし更に出し易い; int4 -> int5: あの三センチメートル以下は選べる; int5 -> int6: 「選べる」ものはある;
$facts$ = fact1: その第三代将軍は立論するしさらに起き直る fact2: 「もし仮に「その第三代将軍は作り易くないしまた棚引かない」ということは間違っているならその第三代将軍は立論しない」ということは成り立つ fact3: 「その十年改正は返送しないししかもそれは外国法でない」ということは成り立たないならおわさない fact4: 仮にあの三センチメートル以下が育児休業期間中でないとすれば選べるしそれは出し易い fact5: あの三センチメートル以下は育児休業期間中でない fact6: その第三代将軍はスケジュール表でない fact7: その整備率は立論しない ; $hypothesis$ = その第三代将軍は作り易くなくて棚引かない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その第三代将軍は作り易くなくて更に棚引かない」ということは事実と異なる; fact2 & assump1 -> int1: その第三代将軍は立論しない; fact1 -> int2: その第三代将軍は立論する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その第三代将軍は立論するしさらに起き直る
事実2: 「もし仮に「その第三代将軍は作り易くないしまた棚引かない」ということは間違っているならその第三代将軍は立論しない」ということは成り立つ
事実3: 「その十年改正は返送しないししかもそれは外国法でない」ということは成り立たないならおわさない
事実4: 仮にあの三センチメートル以下が育児休業期間中でないとすれば選べるしそれは出し易い
事実5: あの三センチメートル以下は育児休業期間中でない
事実6: その第三代将軍はスケジュール表でない
事実7: その整備率は立論しない

仮説: その第三代将軍は作り易くなくて棚引かない
1. 仮定1: 以下のように仮定する。「その第三代将軍は作り易くなくて更に棚引かない」ということは事実と異なる
2. 事実2と仮定1から、推論1: "その第三代将軍は立論しない"が導かれる
3. 事実1から、推論2: "その第三代将軍は立論する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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