仮にこの造成後は情報・コンピューターであるならばそれは軍人らしいということはない
fact1: もしこの造成後は情報・コンピューターであるならば「それは軍人らしい」ということは間違いでない fact2: 「もしこの建設工事がむさくるしいならこの建設工事は決定し得ない」ということは確かだ fact3: ある物は決定し得ればそれは気忙しいということはない fact4: 仮にこの造成後は情報・コンピューターであるとしたら「起こり難くて決定し得る」ということは成り立たない fact5: 仮に「なんらかのものは情報・コンピューターだけれどそれは起こり難くない」ということは嘘であるとすればそれは返りらしいということはない fact6: 「気忙しい」ものはあるとすると「あの集団的労使関係法が情報・コンピューターだしさらに起こり難い」ということは本当でない fact7: この造成後は返りらしくない fact8: もし仮にこの造成後は情報・コンピューターだとすると「起こり難くて決定し得ない」ということは成り立たない fact9: もし仮にこの造成後が決定し得るとすればそれは気忙しくない fact10: 「なんらかの物は起こり難いが決定し得ない」ということは誤りだとしたらそれは気忙しくない fact11: もしこの造成後が気忙しくないしその上返りらしくないとしたら軍人らしい fact12: 「この造成後は起こり難くて決定し得る」ということは成り立たない fact13: もし気忙しくない物が返りらしくないとしたら軍人らしいということはない
void -> assump1: 以下のように仮定する。この造成後は情報・コンピューターだ; fact8 & assump1 -> int1: 「この造成後は起こり難いけど決定し得ない」ということは偽である; fact10 -> int2: もし仮に「この造成後は起こり難いけれど決定し得ない」ということは成り立つということはないならば気忙しくない; int1 & int2 -> int3: この造成後は気忙しくない; int3 & fact7 -> int4: この造成後は気忙しくないしそれに返りらしくない; fact13 -> int5: この造成後は気忙しくなくておまけに返りらしくないならば軍人らしいということはない; int4 & int5 -> int6: この造成後は軍人らしくない; [assump1] & int6 -> hypothesis;
あの集団的労使関係法は起こり難くない
$facts$ = fact1: もしこの造成後は情報・コンピューターであるならば「それは軍人らしい」ということは間違いでない fact2: 「もしこの建設工事がむさくるしいならこの建設工事は決定し得ない」ということは確かだ fact3: ある物は決定し得ればそれは気忙しいということはない fact4: 仮にこの造成後は情報・コンピューターであるとしたら「起こり難くて決定し得る」ということは成り立たない fact5: 仮に「なんらかのものは情報・コンピューターだけれどそれは起こり難くない」ということは嘘であるとすればそれは返りらしいということはない fact6: 「気忙しい」ものはあるとすると「あの集団的労使関係法が情報・コンピューターだしさらに起こり難い」ということは本当でない fact7: この造成後は返りらしくない fact8: もし仮にこの造成後は情報・コンピューターだとすると「起こり難くて決定し得ない」ということは成り立たない fact9: もし仮にこの造成後が決定し得るとすればそれは気忙しくない fact10: 「なんらかの物は起こり難いが決定し得ない」ということは誤りだとしたらそれは気忙しくない fact11: もしこの造成後が気忙しくないしその上返りらしくないとしたら軍人らしい fact12: 「この造成後は起こり難くて決定し得る」ということは成り立たない fact13: もし気忙しくない物が返りらしくないとしたら軍人らしいということはない ; $hypothesis$ = 仮にこの造成後は情報・コンピューターであるならばそれは軍人らしいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この造成後は情報・コンピューターだ; fact8 & assump1 -> int1: 「この造成後は起こり難いけど決定し得ない」ということは偽である; fact10 -> int2: もし仮に「この造成後は起こり難いけれど決定し得ない」ということは成り立つということはないならば気忙しくない; int1 & int2 -> int3: この造成後は気忙しくない; int3 & fact7 -> int4: この造成後は気忙しくないしそれに返りらしくない; fact13 -> int5: この造成後は気忙しくなくておまけに返りらしくないならば軍人らしいということはない; int4 & int5 -> int6: この造成後は軍人らしくない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしこの造成後は情報・コンピューターであるならば「それは軍人らしい」ということは間違いでない
事実2: 「もしこの建設工事がむさくるしいならこの建設工事は決定し得ない」ということは確かだ
事実3: ある物は決定し得ればそれは気忙しいということはない
事実4: 仮にこの造成後は情報・コンピューターであるとしたら「起こり難くて決定し得る」ということは成り立たない
事実5: 仮に「なんらかのものは情報・コンピューターだけれどそれは起こり難くない」ということは嘘であるとすればそれは返りらしいということはない
事実6: 「気忙しい」ものはあるとすると「あの集団的労使関係法が情報・コンピューターだしさらに起こり難い」ということは本当でない
事実7: この造成後は返りらしくない
事実8: もし仮にこの造成後は情報・コンピューターだとすると「起こり難くて決定し得ない」ということは成り立たない
事実9: もし仮にこの造成後が決定し得るとすればそれは気忙しくない
事実10: 「なんらかの物は起こり難いが決定し得ない」ということは誤りだとしたらそれは気忙しくない
事実11: もしこの造成後が気忙しくないしその上返りらしくないとしたら軍人らしい
事実12: 「この造成後は起こり難くて決定し得る」ということは成り立たない
事実13: もし気忙しくない物が返りらしくないとしたら軍人らしいということはない

仮説: 仮にこの造成後は情報・コンピューターであるならばそれは軍人らしいということはない
1. 仮定1: 以下のように仮定する。この造成後は情報・コンピューターだ
2. 事実8と仮定1から、推論1: "「この造成後は起こり難いけど決定し得ない」ということは偽である"が導かれる
3. 事実10から、推論2: "もし仮に「この造成後は起こり難いけれど決定し得ない」ということは成り立つということはないならば気忙しくない"が導かれる
4. 推論1と推論2から、推論3: "この造成後は気忙しくない"が導かれる
5. 推論3と事実7から、推論4: "この造成後は気忙しくないしそれに返りらしくない"が導かれる
6. 事実13から、推論5: "この造成後は気忙しくなくておまけに返りらしくないならば軍人らしいということはない"が導かれる
7. 推論4と推論5から、推論6: "この造成後は軍人らしくない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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