「とある物は燃やせる」ということは間違いだ
fact1: 「「見付け出せるしその上減らせる」ということは嘘な」ものがあればこの鴛鴦夫婦は減らせるということはない fact2: 仮に「入国出来る」ものはあれば「あの体操競技はプールしない」ということは成り立たない fact3: 「「ＧＨＱ案だ一方で応援しない」ということは誤りな」ものはある fact4: 「「ＧＨＱ案でないしその上応援するということはない」ということは事実でない」物はある fact5: 仮にあの章末問題が観桜でないとしたらその参照見出しは口付けするしおまけにすっごーい fact6: 仮に「成功し易くない」ものはあれば「この最決昭は甘ーいしおまけに観桜だ」ということは誤りである fact7: あの体操競技は配す fact8: 成功し易いということはない物はある fact9: もしも「擦り抜けるし更に声な」物があるとすればその参照見出しはアメリカらしい fact10: なにかは口付けするならあの体操競技は引っ越しする fact11: 「「見付け出せるし加えて減らせる」ということは成り立たない」物はある fact12: 仮に「「ＧＨＱ案であるということはなくて応援しない」ということは成り立たない」ものはあるとすれば「あの体操競技は燃やせる」ということは本当だ fact13: 「「ＧＨＱ案でないけど応援する」ということは事実と異なる」ものはある fact14: 「何らかの物は燃やせるしそれは夏至だ」ということは事実と異なるなら燃やせない fact15: もし仮にこの鴛鴦夫婦が減らせらないとしたら擦り抜けるししかもそれは声である fact16: 「ＧＨＱ案でなくて応援しない」物はある fact17: もし仮にその参照見出しがアメリカらしいしさらにすっごーいならばあのパーソナリティは真鰈であるということはない fact18: もしも「この最決昭は甘ーいしさらに観桜である」ということは誤りであるならばあの章末問題は観桜でない fact19: もしある物は真鰈だということはないならば「燃やせるしそれにそれは夏至である」ということは誤りだ fact20: 「「夏至でなくて思量すらない」ということは偽である」物はある
fact4 & fact12 -> int1: あの体操競技は燃やせる; int1 -> hypothesis;
fact4 & fact12 -> int1: {A}{a}; int1 -> hypothesis;
あの体操競技はふらつく
fact28 -> int2: もし仮に「このパーソナリティは燃やせるし更に夏至である」ということは偽であるとすると燃やせない; fact29 -> int3: もし仮にこのパーソナリティは真鰈でないとしたら「燃やせるしそれは夏至である」ということは成り立たない; fact23 & fact31 -> int4: この鴛鴦夫婦は減らせらない; fact21 & int4 -> int5: この鴛鴦夫婦は擦り抜けるしさらに声だ; int5 -> int6: 何らかのものは擦り抜けるしそれは声だ; int6 & fact25 -> int7: その参照見出しはアメリカらしい; fact22 & fact24 -> int8: 「この最決昭は甘ーいしさらにそれは観桜である」ということは誤りだ; fact27 & int8 -> int9: あの章末問題は観桜であるということはない; fact26 & int9 -> int10: その参照見出しは口付けするし更にすっごーい; int10 -> int11: その参照見出しはすっごーい; int7 & int11 -> int12: その参照見出しはアメリカらしいしすっごーい; fact30 & int12 -> int13: このパーソナリティは真鰈でない; int3 & int13 -> int14: 「このパーソナリティは燃やせるしかつそれは夏至である」ということは嘘である; int2 & int14 -> int15: このパーソナリティは燃やせない; int15 -> int16: なにかは燃やせない;
$facts$ = fact1: 「「見付け出せるしその上減らせる」ということは嘘な」ものがあればこの鴛鴦夫婦は減らせるということはない fact2: 仮に「入国出来る」ものはあれば「あの体操競技はプールしない」ということは成り立たない fact3: 「「ＧＨＱ案だ一方で応援しない」ということは誤りな」ものはある fact4: 「「ＧＨＱ案でないしその上応援するということはない」ということは事実でない」物はある fact5: 仮にあの章末問題が観桜でないとしたらその参照見出しは口付けするしおまけにすっごーい fact6: 仮に「成功し易くない」ものはあれば「この最決昭は甘ーいしおまけに観桜だ」ということは誤りである fact7: あの体操競技は配す fact8: 成功し易いということはない物はある fact9: もしも「擦り抜けるし更に声な」物があるとすればその参照見出しはアメリカらしい fact10: なにかは口付けするならあの体操競技は引っ越しする fact11: 「「見付け出せるし加えて減らせる」ということは成り立たない」物はある fact12: 仮に「「ＧＨＱ案であるということはなくて応援しない」ということは成り立たない」ものはあるとすれば「あの体操競技は燃やせる」ということは本当だ fact13: 「「ＧＨＱ案でないけど応援する」ということは事実と異なる」ものはある fact14: 「何らかの物は燃やせるしそれは夏至だ」ということは事実と異なるなら燃やせない fact15: もし仮にこの鴛鴦夫婦が減らせらないとしたら擦り抜けるししかもそれは声である fact16: 「ＧＨＱ案でなくて応援しない」物はある fact17: もし仮にその参照見出しがアメリカらしいしさらにすっごーいならばあのパーソナリティは真鰈であるということはない fact18: もしも「この最決昭は甘ーいしさらに観桜である」ということは誤りであるならばあの章末問題は観桜でない fact19: もしある物は真鰈だということはないならば「燃やせるしそれにそれは夏至である」ということは誤りだ fact20: 「「夏至でなくて思量すらない」ということは偽である」物はある ; $hypothesis$ = 「とある物は燃やせる」ということは間違いだ ; $proof$ = 
fact4 & fact12 -> int1: あの体操競技は燃やせる; int1 -> hypothesis; __DISPROVED__
事実1: 「「見付け出せるしその上減らせる」ということは嘘な」ものがあればこの鴛鴦夫婦は減らせるということはない
事実2: 仮に「入国出来る」ものはあれば「あの体操競技はプールしない」ということは成り立たない
事実3: 「「ＧＨＱ案だ一方で応援しない」ということは誤りな」ものはある
事実4: 「「ＧＨＱ案でないしその上応援するということはない」ということは事実でない」物はある
事実5: 仮にあの章末問題が観桜でないとしたらその参照見出しは口付けするしおまけにすっごーい
事実6: 仮に「成功し易くない」ものはあれば「この最決昭は甘ーいしおまけに観桜だ」ということは誤りである
事実7: あの体操競技は配す
事実8: 成功し易いということはない物はある
事実9: もしも「擦り抜けるし更に声な」物があるとすればその参照見出しはアメリカらしい
事実10: なにかは口付けするならあの体操競技は引っ越しする
事実11: 「「見付け出せるし加えて減らせる」ということは成り立たない」物はある
事実12: 仮に「「ＧＨＱ案であるということはなくて応援しない」ということは成り立たない」ものはあるとすれば「あの体操競技は燃やせる」ということは本当だ
事実13: 「「ＧＨＱ案でないけど応援する」ということは事実と異なる」ものはある
事実14: 「何らかの物は燃やせるしそれは夏至だ」ということは事実と異なるなら燃やせない
事実15: もし仮にこの鴛鴦夫婦が減らせらないとしたら擦り抜けるししかもそれは声である
事実16: 「ＧＨＱ案でなくて応援しない」物はある
事実17: もし仮にその参照見出しがアメリカらしいしさらにすっごーいならばあのパーソナリティは真鰈であるということはない
事実18: もしも「この最決昭は甘ーいしさらに観桜である」ということは誤りであるならばあの章末問題は観桜でない
事実19: もしある物は真鰈だということはないならば「燃やせるしそれにそれは夏至である」ということは誤りだ
事実20: 「「夏至でなくて思量すらない」ということは偽である」物はある

仮説: 「とある物は燃やせる」ということは間違いだ
1. 事実4と事実12から、推論1: "あの体操競技は燃やせる"が導かれる
2. 推論1から、仮説が否定される

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