その結晶格子はしゃあ無い
fact1: あのチップＬＥＤは御感想だけどしゃあ無いということはない fact2: もし「楽屋裏でない」物があるとするとその染影は確信出来ないかもしくは楽屋裏でないかまたは両方ともだ fact3: 「あの千九百九十七年現在は混じり合う」ということは正しい fact4: もしあのチップＬＥＤが混じり合う一方でそれが合い難くないとすればその牡丹餅はしゃあ無いということはない fact5: この大尉殿は楽屋裏でない fact6: あの特殊法人等整理合理化計画はしゃあ無くない fact7: 「その結晶格子はしゃあ無いけれど混じり合わない」ということは成り立たない fact8: なんらかの物は所狭くないとすると「合い難くない一方で混じり合う」ということは成り立たない fact9: あのチップＬＥＤはしゃあ無くない fact10: その上位ドメインはしゃあ無いということはない fact11: もしそのグレイハウンド・バスは逆送するなら「あのチップＬＥＤは所狭しけど持ち出すということはない」ということは誤っている fact12: もしその染影が確信出来ないかまたはそれが楽屋裏であるということはないかどちらもだとしたらその院庁は楽屋裏でない fact13: 「あのチップＬＥＤは混じり合う」ということは正しい fact14: もしあのチップＬＥＤが合い難くないならばその結晶格子はしゃあ無くない fact15: もしも「何かは所狭しけれど持ち出さない」ということは事実でないとすればそれは所狭くない fact16: あのチップＬＥＤは居為さらない fact17: 「あのチップＬＥＤはしゃあ無いがしかし合い難くない」ということは成り立たない fact18: この大尉殿は混じり合う fact19: その請願は合い難くない fact20: もしも「あのチップＬＥＤは合い難いがしかしそれは混じり合わない」ということは嘘であるとすればその結晶格子はしゃあ無くない fact21: 「あのチップＬＥＤは合い難いししゃあ無い」ということは成り立つということはない fact22: あのチップＬＥＤは合い難い fact23: 仮に「その院庁は楽屋裏でない」ということは真実であるとするとそのグレイハウンド・バスは逆送するしかつブックカバーである
void -> assump1: 以下のように仮定する。あのチップＬＥＤは合い難いがしかし混じり合わない; assump1 -> int1: あのチップＬＥＤは混じり合わない; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのチップＬＥＤは合い難いけど混じり合わない」ということは誤りである; int3 & fact20 -> hypothesis;
その結晶格子はしゃあ無い
fact28 -> int4: 仮にあのチップＬＥＤは所狭くないならば「合い難いということはないけれど混じり合う」ということは成り立たない; fact29 -> int5: 「あのチップＬＥＤは所狭しけれど持ち出すということはない」ということは誤っているとすれば所狭くない; fact24 -> int6: 「楽屋裏でない」ものはある; int6 & fact26 -> int7: その染影は確信出来るということはないかあるいはそれは楽屋裏でない; fact27 & int7 -> int8: その院庁は楽屋裏でない; fact25 & int8 -> int9: そのグレイハウンド・バスは逆送するしさらにそれはブックカバーだ; int9 -> int10: そのグレイハウンド・バスは逆送する; fact30 & int10 -> int11: 「あのチップＬＥＤは所狭しけれど持ち出さない」ということは嘘だ; int5 & int11 -> int12: あのチップＬＥＤは所狭しということはない; int4 & int12 -> int13: 「あのチップＬＥＤは合い難くないが混じり合う」ということは成り立たない; int13 -> int14: 「「合い難くないけど混じり合う」ということは事実と異なる」物はある;
$facts$ = fact1: あのチップＬＥＤは御感想だけどしゃあ無いということはない fact2: もし「楽屋裏でない」物があるとするとその染影は確信出来ないかもしくは楽屋裏でないかまたは両方ともだ fact3: 「あの千九百九十七年現在は混じり合う」ということは正しい fact4: もしあのチップＬＥＤが混じり合う一方でそれが合い難くないとすればその牡丹餅はしゃあ無いということはない fact5: この大尉殿は楽屋裏でない fact6: あの特殊法人等整理合理化計画はしゃあ無くない fact7: 「その結晶格子はしゃあ無いけれど混じり合わない」ということは成り立たない fact8: なんらかの物は所狭くないとすると「合い難くない一方で混じり合う」ということは成り立たない fact9: あのチップＬＥＤはしゃあ無くない fact10: その上位ドメインはしゃあ無いということはない fact11: もしそのグレイハウンド・バスは逆送するなら「あのチップＬＥＤは所狭しけど持ち出すということはない」ということは誤っている fact12: もしその染影が確信出来ないかまたはそれが楽屋裏であるということはないかどちらもだとしたらその院庁は楽屋裏でない fact13: 「あのチップＬＥＤは混じり合う」ということは正しい fact14: もしあのチップＬＥＤが合い難くないならばその結晶格子はしゃあ無くない fact15: もしも「何かは所狭しけれど持ち出さない」ということは事実でないとすればそれは所狭くない fact16: あのチップＬＥＤは居為さらない fact17: 「あのチップＬＥＤはしゃあ無いがしかし合い難くない」ということは成り立たない fact18: この大尉殿は混じり合う fact19: その請願は合い難くない fact20: もしも「あのチップＬＥＤは合い難いがしかしそれは混じり合わない」ということは嘘であるとすればその結晶格子はしゃあ無くない fact21: 「あのチップＬＥＤは合い難いししゃあ無い」ということは成り立つということはない fact22: あのチップＬＥＤは合い難い fact23: 仮に「その院庁は楽屋裏でない」ということは真実であるとするとそのグレイハウンド・バスは逆送するしかつブックカバーである ; $hypothesis$ = その結晶格子はしゃあ無い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのチップＬＥＤは合い難いがしかし混じり合わない; assump1 -> int1: あのチップＬＥＤは混じり合わない; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのチップＬＥＤは合い難いけど混じり合わない」ということは誤りである; int3 & fact20 -> hypothesis; __DISPROVED__
事実1: あのチップＬＥＤは御感想だけどしゃあ無いということはない
事実2: もし「楽屋裏でない」物があるとするとその染影は確信出来ないかもしくは楽屋裏でないかまたは両方ともだ
事実3: 「あの千九百九十七年現在は混じり合う」ということは正しい
事実4: もしあのチップＬＥＤが混じり合う一方でそれが合い難くないとすればその牡丹餅はしゃあ無いということはない
事実5: この大尉殿は楽屋裏でない
事実6: あの特殊法人等整理合理化計画はしゃあ無くない
事実7: 「その結晶格子はしゃあ無いけれど混じり合わない」ということは成り立たない
事実8: なんらかの物は所狭くないとすると「合い難くない一方で混じり合う」ということは成り立たない
事実9: あのチップＬＥＤはしゃあ無くない
事実10: その上位ドメインはしゃあ無いということはない
事実11: もしそのグレイハウンド・バスは逆送するなら「あのチップＬＥＤは所狭しけど持ち出すということはない」ということは誤っている
事実12: もしその染影が確信出来ないかまたはそれが楽屋裏であるということはないかどちらもだとしたらその院庁は楽屋裏でない
事実13: 「あのチップＬＥＤは混じり合う」ということは正しい
事実14: もしあのチップＬＥＤが合い難くないならばその結晶格子はしゃあ無くない
事実15: もしも「何かは所狭しけれど持ち出さない」ということは事実でないとすればそれは所狭くない
事実16: あのチップＬＥＤは居為さらない
事実17: 「あのチップＬＥＤはしゃあ無いがしかし合い難くない」ということは成り立たない
事実18: この大尉殿は混じり合う
事実19: その請願は合い難くない
事実20: もしも「あのチップＬＥＤは合い難いがしかしそれは混じり合わない」ということは嘘であるとすればその結晶格子はしゃあ無くない
事実21: 「あのチップＬＥＤは合い難いししゃあ無い」ということは成り立つということはない
事実22: あのチップＬＥＤは合い難い
事実23: 仮に「その院庁は楽屋裏でない」ということは真実であるとするとそのグレイハウンド・バスは逆送するしかつブックカバーである

仮説: その結晶格子はしゃあ無い
1. 仮定1: 以下のように仮定する。あのチップＬＥＤは合い難いがしかし混じり合わない
2. 仮定1から、推論1: "あのチップＬＥＤは混じり合わない"が導かれる
3. 推論1と事実13から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あのチップＬＥＤは合い難いけど混じり合わない」ということは誤りである"が導かれる
5. 推論3と事実20から、仮説が否定される

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