「その指揮官は少子高齢社会でないしそれにそれは物珍しくない」ということは偽だ
fact1: もしとあるものが小槌であるし落ち易いとしたらその指揮官は岩村口であるということはない fact2: この四工場は小槌である fact3: 仮にこの粘着材付きハイドロポリマードレッシング材が辛抱強くないならばその指揮官は要求書でそれは落ち始める fact4: もしとある物がプロジェクトマネージャでないならそれは物珍しくなくてその上古くない fact5: もし仮になにかは要求書なら「逃げ道でないがしかしプロジェクトマネージャである」ということは誤っている fact6: 仮にこの粘着材付きハイドロポリマードレッシング材はプロジェクトマネージャでないならばそれは落ち易くない fact7: もしもこのチャンプルーは岩村口でないならばそれは落ち易くない fact8: その指揮官はフロー計算でない fact9: もしもこの四工場が岩村口ならこの粘着材付きハイドロポリマードレッシング材は落ち易い fact10: この粘着材付きハイドロポリマードレッシング材はプロジェクトマネージャであるということはない fact11: もしこのチャンプルーが落ち易いとすればこの粘着材付きハイドロポリマードレッシング材は岩村口であるかあるいは味わい深くないか両方である fact12: もしなにかは単結合であるとしたら淀み無い fact13: もしもこのチャンプルーが物珍しくないとすれば落ち易い小槌だ fact14: もしも「何かは岩村口であるけどそれは小槌であるということはない」ということは嘘ならそれは古い fact15: もし仮に「何らかの物は逃げ道でない一方でプロジェクトマネージャである」ということは成り立たないとするとプロジェクトマネージャでない fact16: このチャンプルーは古いならば「その指揮官は少子高齢社会でないし加えて物珍しくない」ということは成り立つということはない fact17: もしも「「その指揮官はプロジェクトマネージャだけれど少子高齢社会でない」ということは事実だ」ということは誤りだとするとそれは落ち易い fact18: この四工場は落ち易い fact19: このチャンプルーは物珍しい fact20: 何らかの物は岩村口でないならそれは少子高齢社会でない fact21: この四工場は岩村口でないならば「このチャンプルーは岩村口であるがしかしそれは小槌でない」ということは事実と異なる
void -> assump1: 以下のように仮定する。「この四工場は岩村口である」ということは本当である; fact9 & assump1 -> int1: この粘着材付きハイドロポリマードレッシング材は落ち易い; fact10 & fact6 -> int2: この粘着材付きハイドロポリマードレッシング材は落ち易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この四工場は岩村口でない; int4 & fact21 -> int5: 「このチャンプルーは岩村口であるけれどそれは小槌でない」ということは偽だ; fact14 -> int6: もし「このチャンプルーは岩村口だ一方で小槌でない」ということは成り立たないとするとそれは古い; int5 & int6 -> int7: このチャンプルーは古い; int7 & fact16 -> hypothesis;
その指揮官は少子高齢社会でないし物珍しいということはない
fact28 -> int8: もし仮にその指揮官は岩村口でないなら少子高齢社会であるということはない; fact24 & fact29 -> int9: この四工場は小槌であるし加えてそれは落ち易い; int9 -> int10: 「小槌だし加えて落ち易い」ものはある; int10 & fact25 -> int11: その指揮官は岩村口でない; int8 & int11 -> int12: その指揮官は少子高齢社会でない; fact27 -> int13: もしもその指揮官はプロジェクトマネージャであるということはないならばそれは物珍しいということはないししかも古くない; fact26 -> int14: もし仮に「その指揮官は逃げ道であるということはないがしかしプロジェクトマネージャである」ということは間違っているとするとそれはプロジェクトマネージャでない; fact23 -> int15: 仮にその指揮官は要求書であるとすれば「逃げ道でなくてかつそれはプロジェクトマネージャだ」ということは成り立たない;
$facts$ = fact1: もしとあるものが小槌であるし落ち易いとしたらその指揮官は岩村口であるということはない fact2: この四工場は小槌である fact3: 仮にこの粘着材付きハイドロポリマードレッシング材が辛抱強くないならばその指揮官は要求書でそれは落ち始める fact4: もしとある物がプロジェクトマネージャでないならそれは物珍しくなくてその上古くない fact5: もし仮になにかは要求書なら「逃げ道でないがしかしプロジェクトマネージャである」ということは誤っている fact6: 仮にこの粘着材付きハイドロポリマードレッシング材はプロジェクトマネージャでないならばそれは落ち易くない fact7: もしもこのチャンプルーは岩村口でないならばそれは落ち易くない fact8: その指揮官はフロー計算でない fact9: もしもこの四工場が岩村口ならこの粘着材付きハイドロポリマードレッシング材は落ち易い fact10: この粘着材付きハイドロポリマードレッシング材はプロジェクトマネージャであるということはない fact11: もしこのチャンプルーが落ち易いとすればこの粘着材付きハイドロポリマードレッシング材は岩村口であるかあるいは味わい深くないか両方である fact12: もしなにかは単結合であるとしたら淀み無い fact13: もしもこのチャンプルーが物珍しくないとすれば落ち易い小槌だ fact14: もしも「何かは岩村口であるけどそれは小槌であるということはない」ということは嘘ならそれは古い fact15: もし仮に「何らかの物は逃げ道でない一方でプロジェクトマネージャである」ということは成り立たないとするとプロジェクトマネージャでない fact16: このチャンプルーは古いならば「その指揮官は少子高齢社会でないし加えて物珍しくない」ということは成り立つということはない fact17: もしも「「その指揮官はプロジェクトマネージャだけれど少子高齢社会でない」ということは事実だ」ということは誤りだとするとそれは落ち易い fact18: この四工場は落ち易い fact19: このチャンプルーは物珍しい fact20: 何らかの物は岩村口でないならそれは少子高齢社会でない fact21: この四工場は岩村口でないならば「このチャンプルーは岩村口であるがしかしそれは小槌でない」ということは事実と異なる ; $hypothesis$ = 「その指揮官は少子高齢社会でないしそれにそれは物珍しくない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この四工場は岩村口である」ということは本当である; fact9 & assump1 -> int1: この粘着材付きハイドロポリマードレッシング材は落ち易い; fact10 & fact6 -> int2: この粘着材付きハイドロポリマードレッシング材は落ち易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この四工場は岩村口でない; int4 & fact21 -> int5: 「このチャンプルーは岩村口であるけれどそれは小槌でない」ということは偽だ; fact14 -> int6: もし「このチャンプルーは岩村口だ一方で小槌でない」ということは成り立たないとするとそれは古い; int5 & int6 -> int7: このチャンプルーは古い; int7 & fact16 -> hypothesis; __PROVED__
事実1: もしとあるものが小槌であるし落ち易いとしたらその指揮官は岩村口であるということはない
事実2: この四工場は小槌である
事実3: 仮にこの粘着材付きハイドロポリマードレッシング材が辛抱強くないならばその指揮官は要求書でそれは落ち始める
事実4: もしとある物がプロジェクトマネージャでないならそれは物珍しくなくてその上古くない
事実5: もし仮になにかは要求書なら「逃げ道でないがしかしプロジェクトマネージャである」ということは誤っている
事実6: 仮にこの粘着材付きハイドロポリマードレッシング材はプロジェクトマネージャでないならばそれは落ち易くない
事実7: もしもこのチャンプルーは岩村口でないならばそれは落ち易くない
事実8: その指揮官はフロー計算でない
事実9: もしもこの四工場が岩村口ならこの粘着材付きハイドロポリマードレッシング材は落ち易い
事実10: この粘着材付きハイドロポリマードレッシング材はプロジェクトマネージャであるということはない
事実11: もしこのチャンプルーが落ち易いとすればこの粘着材付きハイドロポリマードレッシング材は岩村口であるかあるいは味わい深くないか両方である
事実12: もしなにかは単結合であるとしたら淀み無い
事実13: もしもこのチャンプルーが物珍しくないとすれば落ち易い小槌だ
事実14: もしも「何かは岩村口であるけどそれは小槌であるということはない」ということは嘘ならそれは古い
事実15: もし仮に「何らかの物は逃げ道でない一方でプロジェクトマネージャである」ということは成り立たないとするとプロジェクトマネージャでない
事実16: このチャンプルーは古いならば「その指揮官は少子高齢社会でないし加えて物珍しくない」ということは成り立つということはない
事実17: もしも「「その指揮官はプロジェクトマネージャだけれど少子高齢社会でない」ということは事実だ」ということは誤りだとするとそれは落ち易い
事実18: この四工場は落ち易い
事実19: このチャンプルーは物珍しい
事実20: 何らかの物は岩村口でないならそれは少子高齢社会でない
事実21: この四工場は岩村口でないならば「このチャンプルーは岩村口であるがしかしそれは小槌でない」ということは事実と異なる

仮説: 「その指揮官は少子高齢社会でないしそれにそれは物珍しくない」ということは偽だ
1. 仮定1: 以下のように仮定する。「この四工場は岩村口である」ということは本当である
2. 事実9と仮定1から、推論1: "この粘着材付きハイドロポリマードレッシング材は落ち易い"が導かれる
3. 事実10と事実6から、推論2: "この粘着材付きハイドロポリマードレッシング材は落ち易いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この四工場は岩村口でない"が導かれる
6. 推論4と事実21から、推論5: "「このチャンプルーは岩村口であるけれどそれは小槌でない」ということは偽だ"が導かれる
7. 事実14から、推論6: "もし「このチャンプルーは岩村口だ一方で小槌でない」ということは成り立たないとするとそれは古い"が導かれる
8. 推論5と推論6から、推論7: "このチャンプルーは古い"が導かれる
9. 推論7と事実16から、仮説が導かれる

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