「もし仮にこの十三番人気が怖くないとするとそのグリア細胞は合議であるし加えて粘性である」ということは誤りだ
fact1: もしも何かは児童数でないならば粘性であるし更に公募する fact2: あの左側通行は十パーセント程度である fact3: もしもそのグリア細胞は連合反応であるとすれば「このシビリアン・コントロールは公募する」ということは正しい fact4: その鳥肌が蔣介石政府でないがしかし連合反応ならばあの十三番人気は怖い fact5: もしもあの左側通行が連合反応であるならばその鳥肌は蔣介石政府でないけど連合反応である fact6: 「そのグリア細胞は返還す一方で格好悪くない」ということは成り立たない fact7: もし仮にあの左側通行が連合反応であるならその鳥肌は連合反応である fact8: 格好悪いものが十パーセント程度でないとすればそれは怖い fact9: そのグリア細胞は蔣介石政府であるしおまけに公募する fact10: もしなにがしかのものは返還すらないけれど格好悪いとすると合議だ fact11: 「そのグリア細胞は返還すらないしさらに格好悪くない」ということは偽であるなら「あの左側通行は連合反応である」ということは本当だ fact12: そのグリア細胞は統合化しないし中洲金石記でない fact13: もしも「そのデラ・ストリートは十パーセント程度でない一方でそれは児童数である」ということは誤りであるならそのグリア細胞は児童数だということはない fact14: 仮になにがしかのものは返還すらないしおまけに格好悪くないならそれは合議だ fact15: 「そのデラ・ストリートは十パーセント程度でないがしかし児童数である」ということは成り立たない fact16: この十三番人気は怖くないけど粘性だ
void -> assump2: 以下のように仮定する。「そのグリア細胞は返還すらないし更に格好悪くない」ということは偽だ; fact11 & assump2 -> int1: あの左側通行は連合反応だ; int1 & fact5 -> int2: その鳥肌は蔣介石政府でないけどそれは連合反応だ; int2 & fact4 -> int3: この十三番人気は怖い; void -> assump1: 以下のように仮定する。この十三番人気は怖くない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: そのグリア細胞は返還すらないし格好悪いということはない; fact14 -> int6: もしそのグリア細胞は返還すらなくてそれに格好悪いということはないとすればそれは合議だ; int5 & int6 -> int7: そのグリア細胞は合議だ; fact13 & fact15 -> int8: そのグリア細胞は児童数だということはない; fact1 -> int9: もしそのグリア細胞は児童数でないとしたら「それは粘性であるし加えて公募する」ということは成り立つ; int8 & int9 -> int10: そのグリア細胞は粘性であるししかも公募する; int10 -> int11: そのグリア細胞は粘性だ; int7 & int11 -> int12: そのグリア細胞は合議であるしさらに粘性である; [assump1] & int12 -> hypothesis;
このシビリアン・コントロールは公募するし加えてむさい
$facts$ = fact1: もしも何かは児童数でないならば粘性であるし更に公募する fact2: あの左側通行は十パーセント程度である fact3: もしもそのグリア細胞は連合反応であるとすれば「このシビリアン・コントロールは公募する」ということは正しい fact4: その鳥肌が蔣介石政府でないがしかし連合反応ならばあの十三番人気は怖い fact5: もしもあの左側通行が連合反応であるならばその鳥肌は蔣介石政府でないけど連合反応である fact6: 「そのグリア細胞は返還す一方で格好悪くない」ということは成り立たない fact7: もし仮にあの左側通行が連合反応であるならその鳥肌は連合反応である fact8: 格好悪いものが十パーセント程度でないとすればそれは怖い fact9: そのグリア細胞は蔣介石政府であるしおまけに公募する fact10: もしなにがしかのものは返還すらないけれど格好悪いとすると合議だ fact11: 「そのグリア細胞は返還すらないしさらに格好悪くない」ということは偽であるなら「あの左側通行は連合反応である」ということは本当だ fact12: そのグリア細胞は統合化しないし中洲金石記でない fact13: もしも「そのデラ・ストリートは十パーセント程度でない一方でそれは児童数である」ということは誤りであるならそのグリア細胞は児童数だということはない fact14: 仮になにがしかのものは返還すらないしおまけに格好悪くないならそれは合議だ fact15: 「そのデラ・ストリートは十パーセント程度でないがしかし児童数である」ということは成り立たない fact16: この十三番人気は怖くないけど粘性だ ; $hypothesis$ = 「もし仮にこの十三番人気が怖くないとするとそのグリア細胞は合議であるし加えて粘性である」ということは誤りだ ; $proof$ = 
void -> assump2: 以下のように仮定する。「そのグリア細胞は返還すらないし更に格好悪くない」ということは偽だ; fact11 & assump2 -> int1: あの左側通行は連合反応だ; int1 & fact5 -> int2: その鳥肌は蔣介石政府でないけどそれは連合反応だ; int2 & fact4 -> int3: この十三番人気は怖い; void -> assump1: 以下のように仮定する。この十三番人気は怖くない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: そのグリア細胞は返還すらないし格好悪いということはない; fact14 -> int6: もしそのグリア細胞は返還すらなくてそれに格好悪いということはないとすればそれは合議だ; int5 & int6 -> int7: そのグリア細胞は合議だ; fact13 & fact15 -> int8: そのグリア細胞は児童数だということはない; fact1 -> int9: もしそのグリア細胞は児童数でないとしたら「それは粘性であるし加えて公募する」ということは成り立つ; int8 & int9 -> int10: そのグリア細胞は粘性であるししかも公募する; int10 -> int11: そのグリア細胞は粘性だ; int7 & int11 -> int12: そのグリア細胞は合議であるしさらに粘性である; [assump1] & int12 -> hypothesis; __DISPROVED__
事実1: もしも何かは児童数でないならば粘性であるし更に公募する
事実2: あの左側通行は十パーセント程度である
事実3: もしもそのグリア細胞は連合反応であるとすれば「このシビリアン・コントロールは公募する」ということは正しい
事実4: その鳥肌が蔣介石政府でないがしかし連合反応ならばあの十三番人気は怖い
事実5: もしもあの左側通行が連合反応であるならばその鳥肌は蔣介石政府でないけど連合反応である
事実6: 「そのグリア細胞は返還す一方で格好悪くない」ということは成り立たない
事実7: もし仮にあの左側通行が連合反応であるならその鳥肌は連合反応である
事実8: 格好悪いものが十パーセント程度でないとすればそれは怖い
事実9: そのグリア細胞は蔣介石政府であるしおまけに公募する
事実10: もしなにがしかのものは返還すらないけれど格好悪いとすると合議だ
事実11: 「そのグリア細胞は返還すらないしさらに格好悪くない」ということは偽であるなら「あの左側通行は連合反応である」ということは本当だ
事実12: そのグリア細胞は統合化しないし中洲金石記でない
事実13: もしも「そのデラ・ストリートは十パーセント程度でない一方でそれは児童数である」ということは誤りであるならそのグリア細胞は児童数だということはない
事実14: 仮になにがしかのものは返還すらないしおまけに格好悪くないならそれは合議だ
事実15: 「そのデラ・ストリートは十パーセント程度でないがしかし児童数である」ということは成り立たない
事実16: この十三番人気は怖くないけど粘性だ

仮説: 「もし仮にこの十三番人気が怖くないとするとそのグリア細胞は合議であるし加えて粘性である」ということは誤りだ
1. 仮定2: 以下のように仮定する。「そのグリア細胞は返還すらないし更に格好悪くない」ということは偽だ
2. 事実11と仮定2から、推論1: "あの左側通行は連合反応だ"が導かれる
3. 推論1と事実5から、推論2: "その鳥肌は蔣介石政府でないけどそれは連合反応だ"が導かれる
4. 推論2と事実4から、推論3: "この十三番人気は怖い"が導かれる
5. 仮定1: 以下のように仮定する。この十三番人気は怖くない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "そのグリア細胞は返還すらないし格好悪いということはない"が導かれる
8. 事実14から、推論6: "もしそのグリア細胞は返還すらなくてそれに格好悪いということはないとすればそれは合議だ"が導かれる
9. 推論5と推論6から、推論7: "そのグリア細胞は合議だ"が導かれる
10. 事実13と事実15から、推論8: "そのグリア細胞は児童数だということはない"が導かれる
11. 事実1から、推論9: "もしそのグリア細胞は児童数でないとしたら「それは粘性であるし加えて公募する」ということは成り立つ"が導かれる
12. 推論8と推論9から、推論10: "そのグリア細胞は粘性であるししかも公募する"が導かれる
13. 推論10から、推論11: "そのグリア細胞は粘性だ"が導かれる
14. 推論7と推論11から、推論12: "そのグリア細胞は合議であるしさらに粘性である"が導かれる
15. [仮定1]と推論12から、仮説が否定される

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