その喉頭癌は彩色しない
fact1: もし仮に発揮し易いものがあるとすればこの火砲は了承するかあるいは口であるということはないかまたはどちらもだ fact2: もし仮に「「あの辻斬りは得難しけれど組み合わせない」ということは偽だ」ということは確かであるならこの乗用車部門は得難しない fact3: この乗用車部門は発揮し易くないならば「あの辻斬りはＵＳＢ接続するかもしくは合わせ易いかどちらもだ」ということは誤っている fact4: 仮にとあるものは合わせ易くないとすれば「それはＵＳＢ接続しないし発揮し易いということはない」ということは成り立たない fact5: あの辻斬りは合わせ易くない fact6: もしも何かは了承するとするとそれは彩色する fact7: なんらかのものは溶け難くないとすれば「わりないしおまけに組み合わせる」ということは嘘だ fact8: もしもこの乗用車部門が得難しないとするとそれは合わせ易くないし加えて思わしくない fact9: 「あの辻斬りは得難しがしかし組み合わせない」ということは成り立たない fact10: 「どれもこれもは溶け難くない」ということは正しい fact11: この御手前は了承する fact12: 思わしいものは彩色する fact13: あの辻斬りは発揮し易い fact14: もしその喉頭癌が口でないとしたらこの乗用車部門は思わしくない fact15: 「もし「あの法相はわりなくて組み合わせる」ということは成り立たないとしたらあの辻斬りは組み合わせない」ということは成り立つ fact16: もしも何らかのものは了承するしおまけに口であるとすればそれは発揮し易くない fact17: この乗用車部門は口である fact18: 仮にその喉頭癌が合わせ易くないとしたらあの辻斬りは彩色しない fact19: もし仮にとあるものは口でないとすると彩色する fact20: この乗用車部門は合わせ易くない fact21: 「ＵＳＢ接続するということはない」物はある fact22: 発揮し易い物がＵＳＢ接続しないとすれば口である fact23: この乗用車部門は了承する fact24: 合わせ易い物は発揮し易いけれどＵＳＢ接続しない fact25: もし仮に「組み合わせない」ものはあれば「この乗用車部門は思わしくないもので得難し」ということは間違っている fact26: もし仮に「「ＵＳＢ接続するかもしくは合わせ易い」ということは誤っている」物はあるなら「その喉頭癌は思わしくない」ということは嘘だ
fact23 & fact17 -> int1: この乗用車部門は了承するし口だ; fact16 -> int2: 仮にこの乗用車部門は了承するし口であるとすれば「それは発揮し易いということはない」ということは成り立つ; int1 & int2 -> int3: この乗用車部門は発揮し易くない; int3 & fact3 -> int4: 「あの辻斬りはＵＳＢ接続するか合わせ易いかあるいは両方である」ということは偽である; int4 -> int5: 「「ＵＳＢ接続するかまたは合わせ易い」ということは誤っている」物はある; int5 & fact26 -> int6: その喉頭癌は思わしい; fact12 -> int7: もしもその喉頭癌が思わしいなら彩色する; int6 & int7 -> hypothesis;
その喉頭癌は彩色しない
fact29 -> int8: もし仮にその喉頭癌が発揮し易いがＵＳＢ接続しないとすると口だ; fact31 -> int9: もし仮にその喉頭癌が合わせ易いならばそれは発揮し易くて加えてＵＳＢ接続しない; fact28 -> int10: もしもあの法相は溶け難くないとしたら「わりなくてそれに組み合わせる」ということは間違っている; fact30 -> int11: 「あの法相は溶け難くない」ということは成り立つ; int10 & int11 -> int12: 「あの法相はわりないものでありおまけに組み合わせる」ということは誤りだ; fact27 & int12 -> int13: 「あの辻斬りは組み合わせない」ということは成り立つ; int13 -> int14: 「組み合わせない」ものはある; int14 & fact32 -> int15: 「この乗用車部門は思わしくないけれどそれは得難し」ということは正しくない; int15 -> int16: 「「思わしくないけど得難し」ということは成り立たない」物はある;
$facts$ = fact1: もし仮に発揮し易いものがあるとすればこの火砲は了承するかあるいは口であるということはないかまたはどちらもだ fact2: もし仮に「「あの辻斬りは得難しけれど組み合わせない」ということは偽だ」ということは確かであるならこの乗用車部門は得難しない fact3: この乗用車部門は発揮し易くないならば「あの辻斬りはＵＳＢ接続するかもしくは合わせ易いかどちらもだ」ということは誤っている fact4: 仮にとあるものは合わせ易くないとすれば「それはＵＳＢ接続しないし発揮し易いということはない」ということは成り立たない fact5: あの辻斬りは合わせ易くない fact6: もしも何かは了承するとするとそれは彩色する fact7: なんらかのものは溶け難くないとすれば「わりないしおまけに組み合わせる」ということは嘘だ fact8: もしもこの乗用車部門が得難しないとするとそれは合わせ易くないし加えて思わしくない fact9: 「あの辻斬りは得難しがしかし組み合わせない」ということは成り立たない fact10: 「どれもこれもは溶け難くない」ということは正しい fact11: この御手前は了承する fact12: 思わしいものは彩色する fact13: あの辻斬りは発揮し易い fact14: もしその喉頭癌が口でないとしたらこの乗用車部門は思わしくない fact15: 「もし「あの法相はわりなくて組み合わせる」ということは成り立たないとしたらあの辻斬りは組み合わせない」ということは成り立つ fact16: もしも何らかのものは了承するしおまけに口であるとすればそれは発揮し易くない fact17: この乗用車部門は口である fact18: 仮にその喉頭癌が合わせ易くないとしたらあの辻斬りは彩色しない fact19: もし仮にとあるものは口でないとすると彩色する fact20: この乗用車部門は合わせ易くない fact21: 「ＵＳＢ接続するということはない」物はある fact22: 発揮し易い物がＵＳＢ接続しないとすれば口である fact23: この乗用車部門は了承する fact24: 合わせ易い物は発揮し易いけれどＵＳＢ接続しない fact25: もし仮に「組み合わせない」ものはあれば「この乗用車部門は思わしくないもので得難し」ということは間違っている fact26: もし仮に「「ＵＳＢ接続するかもしくは合わせ易い」ということは誤っている」物はあるなら「その喉頭癌は思わしくない」ということは嘘だ ; $hypothesis$ = その喉頭癌は彩色しない ; $proof$ = 
fact23 & fact17 -> int1: この乗用車部門は了承するし口だ; fact16 -> int2: 仮にこの乗用車部門は了承するし口であるとすれば「それは発揮し易いということはない」ということは成り立つ; int1 & int2 -> int3: この乗用車部門は発揮し易くない; int3 & fact3 -> int4: 「あの辻斬りはＵＳＢ接続するか合わせ易いかあるいは両方である」ということは偽である; int4 -> int5: 「「ＵＳＢ接続するかまたは合わせ易い」ということは誤っている」物はある; int5 & fact26 -> int6: その喉頭癌は思わしい; fact12 -> int7: もしもその喉頭癌が思わしいなら彩色する; int6 & int7 -> 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: この乗用車部門は了承する
事実24: 合わせ易い物は発揮し易いけれどＵＳＢ接続しない
事実25: もし仮に「組み合わせない」ものはあれば「この乗用車部門は思わしくないもので得難し」ということは間違っている
事実26: もし仮に「「ＵＳＢ接続するかもしくは合わせ易い」ということは誤っている」物はあるなら「その喉頭癌は思わしくない」ということは嘘だ

仮説: その喉頭癌は彩色しない
1. 事実23と事実17から、推論1: "この乗用車部門は了承するし口だ"が導かれる
2. 事実16から、推論2: "仮にこの乗用車部門は了承するし口であるとすれば「それは発揮し易いということはない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この乗用車部門は発揮し易くない"が導かれる
4. 推論3と事実3から、推論4: "「あの辻斬りはＵＳＢ接続するか合わせ易いかあるいは両方である」ということは偽である"が導かれる
5. 推論4から、推論5: "「「ＵＳＢ接続するかまたは合わせ易い」ということは誤っている」物はある"が導かれる
6. 推論5と事実26から、推論6: "その喉頭癌は思わしい"が導かれる
7. 事実12から、推論7: "もしもその喉頭癌が思わしいなら彩色する"が導かれる
8. 推論6と推論7から、仮説が否定される

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