あの有機物質は凄くない
fact1: もしもあの有機物質が凄いならこの納付はチキンである fact2: もしもなにがしかの物はチキンでないかもしくは意味深いかもしくはどちらもであるとしたらそれはチキンでない fact3: もしその製造時はチキンでないとすると「この納付は元気付けるということはないがそれは凄い」ということは確かでない fact4: もしその製造時がチキンであるならこの納付はチキンでない fact5: もし「この木灰は乾燥出来ないけれど遣る瀬無い」ということは事実と異なるとすると「この最強コンビは乾燥出来るということはない」ということは偽でない fact6: あのＤＩＳＣは休戦であるとするとそれは引っ張り強度だ fact7: もし仮に「その製造時はチキンでないがしかしそれは介護休業制度だ」ということは間違いだとすればこの納付はチキンでない fact8: 仮になにがしかの物は引っ張り強度だとすると「「移り難いということはないしおまけに純資産でない」ということは確かだ」ということは成り立たない fact9: もし仮に「この納付は元気付けないが凄い」ということは誤りであるならあの有機物質は凄い fact10: それは乾燥出来ないし更にそれは遣る瀬無いという物はない fact11: 「その製造時はチキンでないけどそれは介護休業制度だ」ということは偽だ fact12: あのＤＩＳＣは休戦だ fact13: もしもこの最強コンビが乾燥出来ないしその上介護休業制度でないとすればその製造時は介護休業制度でない fact14: 「その製造時はチキンであるしかつ介護休業制度だ」ということは成り立つということはない fact15: もしもこの納付がチキンならばあの製造時は凄い
void -> assump1: 以下のように仮定する。あの有機物質は凄い; fact1 & assump1 -> int1: この納付はチキンである; fact11 & fact7 -> int2: この納付はチキンでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; fact11 & fact7 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの有機物質は凄い
fact20 -> int4: 仮にその製造時がチキンでないか意味深いかあるいは両方ともならばチキンでない; fact24 -> int5: 「この木灰は乾燥出来ないが遣る瀬無い」ということは嘘だ; fact18 & int5 -> int6: この最強コンビは乾燥出来ない; fact17 -> int7: もしあのＤＩＳＣは引っ張り強度であるならば「それは移り難くないしそれは純資産であるということはない」ということは成り立たない; fact19 & fact21 -> int8: あのＤＩＳＣは引っ張り強度である; int7 & int8 -> int9: 「あのＤＩＳＣは移り難くないしそれに純資産でない」ということは誤りだ; int9 -> int10: 「「移り難くないし純資産であるということはない」ということは成り立つということはない」物はある;
$facts$ = fact1: もしもあの有機物質が凄いならこの納付はチキンである fact2: もしもなにがしかの物はチキンでないかもしくは意味深いかもしくはどちらもであるとしたらそれはチキンでない fact3: もしその製造時はチキンでないとすると「この納付は元気付けるということはないがそれは凄い」ということは確かでない fact4: もしその製造時がチキンであるならこの納付はチキンでない fact5: もし「この木灰は乾燥出来ないけれど遣る瀬無い」ということは事実と異なるとすると「この最強コンビは乾燥出来るということはない」ということは偽でない fact6: あのＤＩＳＣは休戦であるとするとそれは引っ張り強度だ fact7: もし仮に「その製造時はチキンでないがしかしそれは介護休業制度だ」ということは間違いだとすればこの納付はチキンでない fact8: 仮になにがしかの物は引っ張り強度だとすると「「移り難いということはないしおまけに純資産でない」ということは確かだ」ということは成り立たない fact9: もし仮に「この納付は元気付けないが凄い」ということは誤りであるならあの有機物質は凄い fact10: それは乾燥出来ないし更にそれは遣る瀬無いという物はない fact11: 「その製造時はチキンでないけどそれは介護休業制度だ」ということは偽だ fact12: あのＤＩＳＣは休戦だ fact13: もしもこの最強コンビが乾燥出来ないしその上介護休業制度でないとすればその製造時は介護休業制度でない fact14: 「その製造時はチキンであるしかつ介護休業制度だ」ということは成り立つということはない fact15: もしもこの納付がチキンならばあの製造時は凄い ; $hypothesis$ = あの有機物質は凄くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの有機物質は凄い; fact1 & assump1 -> int1: この納付はチキンである; fact11 & fact7 -> int2: この納付はチキンでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもあの有機物質が凄いならこの納付はチキンである
事実2: もしもなにがしかの物はチキンでないかもしくは意味深いかもしくはどちらもであるとしたらそれはチキンでない
事実3: もしその製造時はチキンでないとすると「この納付は元気付けるということはないがそれは凄い」ということは確かでない
事実4: もしその製造時がチキンであるならこの納付はチキンでない
事実5: もし「この木灰は乾燥出来ないけれど遣る瀬無い」ということは事実と異なるとすると「この最強コンビは乾燥出来るということはない」ということは偽でない
事実6: あのＤＩＳＣは休戦であるとするとそれは引っ張り強度だ
事実7: もし仮に「その製造時はチキンでないがしかしそれは介護休業制度だ」ということは間違いだとすればこの納付はチキンでない
事実8: 仮になにがしかの物は引っ張り強度だとすると「「移り難いということはないしおまけに純資産でない」ということは確かだ」ということは成り立たない
事実9: もし仮に「この納付は元気付けないが凄い」ということは誤りであるならあの有機物質は凄い
事実10: それは乾燥出来ないし更にそれは遣る瀬無いという物はない
事実11: 「その製造時はチキンでないけどそれは介護休業制度だ」ということは偽だ
事実12: あのＤＩＳＣは休戦だ
事実13: もしもこの最強コンビが乾燥出来ないしその上介護休業制度でないとすればその製造時は介護休業制度でない
事実14: 「その製造時はチキンであるしかつ介護休業制度だ」ということは成り立つということはない
事実15: もしもこの納付がチキンならばあの製造時は凄い

仮説: あの有機物質は凄くない
1. 仮定1: 以下のように仮定する。あの有機物質は凄い
2. 事実1と仮定1から、推論1: "この納付はチキンである"が導かれる
3. 事実11と事実7から、推論2: "この納付はチキンでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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