そのライオトロピック液晶ポリマーは億劫がらない
fact1: この電磁環境は張り切り過ぎる fact2: もし仮に何らかの物は退室するとすれば「それは作図ウィンドウでなくてしかも恋しかない」ということは成り立たない fact3: 仮にこの電磁環境が退室しないしおまけに解列しないとすればあの猫撫で声は退室する fact4: そのライオトロピック液晶ポリマーは上げ掛ける fact5: もしもそのライオトロピック液晶ポリマーが億劫がらないとすると毒物でない fact6: もしこの猫撫で声が退室すればそのライオトロピック液晶ポリマーは退室する fact7: そのライオトロピック液晶ポリマーは毒物だしその上上げ掛ける fact8: もし仮に「この猫撫で声は偏移する」ということは成り立たないとしたらそのライオトロピック液晶ポリマーは毒物であるかまたは上げ掛けるかどちらもだ fact9: この電磁環境が張り切り過ぎるとしたら退室しないし解列しない fact10: 仮にとある物は作図ウィンドウであるとすると「それは怠いが偏移しない」ということは成り立たない fact11: もし「そのライオトロピック液晶ポリマーは作図ウィンドウでないしさらにそれは恋しいということはない」ということは成り立つということはないとするとそれは作図ウィンドウである fact12: 「「怠いけど偏移しない」ということは偽である」ものがあるならばあの欄間は毒物だ
void -> assump1: 以下のように仮定する。そのライオトロピック液晶ポリマーは億劫がらない; fact5 & assump1 -> int1: そのライオトロピック液晶ポリマーは毒物でない; fact7 -> int2: そのライオトロピック液晶ポリマーは毒物だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact5 & assump1 -> int1: ¬{B}{a}; fact7 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その欄間は上げ掛けるということはない
fact17 -> int4: もし仮にそのライオトロピック液晶ポリマーは作図ウィンドウであるとすれば「それは怠いしそれは偏移しない」ということは成り立たない; fact18 -> int5: もしもそのライオトロピック液晶ポリマーは退室するとしたら「作図ウィンドウでなくてそれに恋しかない」ということは偽である; fact16 & fact13 -> int6: この電磁環境は退室しないしそれは解列しない; fact15 & int6 -> int7: この猫撫で声は退室する; fact14 & int7 -> int8: そのライオトロピック液晶ポリマーは退室する; int5 & int8 -> int9: 「そのライオトロピック液晶ポリマーは作図ウィンドウだということはないしまた恋しかない」ということは本当でない; fact20 & int9 -> int10: そのライオトロピック液晶ポリマーは作図ウィンドウである; int4 & int10 -> int11: 「そのライオトロピック液晶ポリマーは怠いが偏移するということはない」ということは誤っている; int11 -> int12: 「「怠いけれど偏移しない」ということは成り立たない」ものはある; int12 & fact19 -> int13: その欄間は毒物だ;
$facts$ = fact1: この電磁環境は張り切り過ぎる fact2: もし仮に何らかの物は退室するとすれば「それは作図ウィンドウでなくてしかも恋しかない」ということは成り立たない fact3: 仮にこの電磁環境が退室しないしおまけに解列しないとすればあの猫撫で声は退室する fact4: そのライオトロピック液晶ポリマーは上げ掛ける fact5: もしもそのライオトロピック液晶ポリマーが億劫がらないとすると毒物でない fact6: もしこの猫撫で声が退室すればそのライオトロピック液晶ポリマーは退室する fact7: そのライオトロピック液晶ポリマーは毒物だしその上上げ掛ける fact8: もし仮に「この猫撫で声は偏移する」ということは成り立たないとしたらそのライオトロピック液晶ポリマーは毒物であるかまたは上げ掛けるかどちらもだ fact9: この電磁環境が張り切り過ぎるとしたら退室しないし解列しない fact10: 仮にとある物は作図ウィンドウであるとすると「それは怠いが偏移しない」ということは成り立たない fact11: もし「そのライオトロピック液晶ポリマーは作図ウィンドウでないしさらにそれは恋しいということはない」ということは成り立つということはないとするとそれは作図ウィンドウである fact12: 「「怠いけど偏移しない」ということは偽である」ものがあるならばあの欄間は毒物だ ; $hypothesis$ = そのライオトロピック液晶ポリマーは億劫がらない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのライオトロピック液晶ポリマーは億劫がらない; fact5 & assump1 -> int1: そのライオトロピック液晶ポリマーは毒物でない; fact7 -> int2: そのライオトロピック液晶ポリマーは毒物だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この電磁環境は張り切り過ぎる
事実2: もし仮に何らかの物は退室するとすれば「それは作図ウィンドウでなくてしかも恋しかない」ということは成り立たない
事実3: 仮にこの電磁環境が退室しないしおまけに解列しないとすればあの猫撫で声は退室する
事実4: そのライオトロピック液晶ポリマーは上げ掛ける
事実5: もしもそのライオトロピック液晶ポリマーが億劫がらないとすると毒物でない
事実6: もしこの猫撫で声が退室すればそのライオトロピック液晶ポリマーは退室する
事実7: そのライオトロピック液晶ポリマーは毒物だしその上上げ掛ける
事実8: もし仮に「この猫撫で声は偏移する」ということは成り立たないとしたらそのライオトロピック液晶ポリマーは毒物であるかまたは上げ掛けるかどちらもだ
事実9: この電磁環境が張り切り過ぎるとしたら退室しないし解列しない
事実10: 仮にとある物は作図ウィンドウであるとすると「それは怠いが偏移しない」ということは成り立たない
事実11: もし「そのライオトロピック液晶ポリマーは作図ウィンドウでないしさらにそれは恋しいということはない」ということは成り立つということはないとするとそれは作図ウィンドウである
事実12: 「「怠いけど偏移しない」ということは偽である」ものがあるならばあの欄間は毒物だ

仮説: そのライオトロピック液晶ポリマーは億劫がらない
1. 仮定1: 以下のように仮定する。そのライオトロピック液晶ポリマーは億劫がらない
2. 事実5と仮定1から、推論1: "そのライオトロピック液晶ポリマーは毒物でない"が導かれる
3. 事実7から、推論2: "そのライオトロピック液晶ポリマーは毒物だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。