もし仮にあのＭｕｒｐｈｙ他が資産時価であるがそれがあどけなくないとしたらあのＬＴは生易しくない
fact1: もし仮に「その入出力関係は昼寝しない」ということは成り立てば「そのサルモネラ菌はＡＤＳＬでないが昼寝する」ということは成り立たない fact2: 仮にあのＭｕｒｐｈｙ他は資産時価だけれどあどけなくないとすれば「その入出力関係は昼寝しない」ということは事実である fact3: 「そのサルモネラ菌はＡＤＳＬでまた昼寝する」ということは成り立たない fact4: 仮にそのサルモネラ菌はＡＤＳＬであるとしたら「あのＬＴは生易しくない」ということは本当だ fact5: もし仮に「そのサルモネラ菌はＡＤＳＬでない一方で昼寝する」ということは成り立たないとしたらあのＬＴは生易しいということはない fact6: 仮にあのＭｕｒｐｈｙ他が資産時価でしかもあどけないならあのＬＴは生易しくない fact7: 「そのサルモネラ菌はＡＤＳＬであるということはない一方で昼寝する」ということは事実でないならばあのＬＴは生易しい fact8: 「あのＬＴは生易しい」ということは確かだ fact9: もしなにがしかの物は生易しいならば「それはＡＤＳＬであるということはなくて更に肥大化する」ということは成り立つということはない
void -> assump1: 以下のように仮定する。あのＭｕｒｐｈｙ他は資産時価である一方でそれはあどけなくない; fact2 & assump1 -> int1: その入出力関係は昼寝しない; int1 & fact1 -> int2: 「「そのサルモネラ菌はＡＤＳＬでないけど昼寝する」ということは誤りでない」ということは事実と異なる; int2 & fact5 -> int3: あのＬＴは生易しくない; [assump1] & int3 -> hypothesis;
「このボーカルはＡＤＳＬだということはない一方で肥大化する」ということは偽だ
fact10 -> int4: このボーカルは生易しいとすれば「ＡＤＳＬだということはなくてかつそれは肥大化する」ということは誤りだ;
$facts$ = fact1: もし仮に「その入出力関係は昼寝しない」ということは成り立てば「そのサルモネラ菌はＡＤＳＬでないが昼寝する」ということは成り立たない fact2: 仮にあのＭｕｒｐｈｙ他は資産時価だけれどあどけなくないとすれば「その入出力関係は昼寝しない」ということは事実である fact3: 「そのサルモネラ菌はＡＤＳＬでまた昼寝する」ということは成り立たない fact4: 仮にそのサルモネラ菌はＡＤＳＬであるとしたら「あのＬＴは生易しくない」ということは本当だ fact5: もし仮に「そのサルモネラ菌はＡＤＳＬでない一方で昼寝する」ということは成り立たないとしたらあのＬＴは生易しいということはない fact6: 仮にあのＭｕｒｐｈｙ他が資産時価でしかもあどけないならあのＬＴは生易しくない fact7: 「そのサルモネラ菌はＡＤＳＬであるということはない一方で昼寝する」ということは事実でないならばあのＬＴは生易しい fact8: 「あのＬＴは生易しい」ということは確かだ fact9: もしなにがしかの物は生易しいならば「それはＡＤＳＬであるということはなくて更に肥大化する」ということは成り立つということはない ; $hypothesis$ = もし仮にあのＭｕｒｐｈｙ他が資産時価であるがそれがあどけなくないとしたらあのＬＴは生易しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＭｕｒｐｈｙ他は資産時価である一方でそれはあどけなくない; fact2 & assump1 -> int1: その入出力関係は昼寝しない; int1 & fact1 -> int2: 「「そのサルモネラ菌はＡＤＳＬでないけど昼寝する」ということは誤りでない」ということは事実と異なる; int2 & fact5 -> int3: あのＬＴは生易しくない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「その入出力関係は昼寝しない」ということは成り立てば「そのサルモネラ菌はＡＤＳＬでないが昼寝する」ということは成り立たない
事実2: 仮にあのＭｕｒｐｈｙ他は資産時価だけれどあどけなくないとすれば「その入出力関係は昼寝しない」ということは事実である
事実3: 「そのサルモネラ菌はＡＤＳＬでまた昼寝する」ということは成り立たない
事実4: 仮にそのサルモネラ菌はＡＤＳＬであるとしたら「あのＬＴは生易しくない」ということは本当だ
事実5: もし仮に「そのサルモネラ菌はＡＤＳＬでない一方で昼寝する」ということは成り立たないとしたらあのＬＴは生易しいということはない
事実6: 仮にあのＭｕｒｐｈｙ他が資産時価でしかもあどけないならあのＬＴは生易しくない
事実7: 「そのサルモネラ菌はＡＤＳＬであるということはない一方で昼寝する」ということは事実でないならばあのＬＴは生易しい
事実8: 「あのＬＴは生易しい」ということは確かだ
事実9: もしなにがしかの物は生易しいならば「それはＡＤＳＬであるということはなくて更に肥大化する」ということは成り立つということはない

仮説: もし仮にあのＭｕｒｐｈｙ他が資産時価であるがそれがあどけなくないとしたらあのＬＴは生易しくない
1. 仮定1: 以下のように仮定する。あのＭｕｒｐｈｙ他は資産時価である一方でそれはあどけなくない
2. 事実2と仮定1から、推論1: "その入出力関係は昼寝しない"が導かれる
3. 推論1と事実1から、推論2: "「「そのサルモネラ菌はＡＤＳＬでないけど昼寝する」ということは誤りでない」ということは事実と異なる"が導かれる
4. 推論2と事実5から、推論3: "あのＬＴは生易しくない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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