「その広葉樹林がキャバクラだしさらに見通す」ということは誤りである
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: 「「粘っこくて扶桑略記でない」ということは真実でない」物はある
fact10 & fact2 & fact17 -> int1: あの火器はとしてする; fact11 & fact1 -> int2: あの火器は扶桑略記である; int1 & int2 -> int3: あの火器はとしてするしそれに扶桑略記である; int3 -> int4: なんらかのものはとしてするし扶桑略記である; int4 & fact24 -> int5: その広葉樹林はキャバクラだ; fact18 -> int6: もしもその広葉樹林はタバコ入れであっておまけに善し悪しでないとするとそれは見通す; fact7 & int6 -> int7: その広葉樹林は見通す; int5 & int7 -> hypothesis;
「その広葉樹林はキャバクラでその上それは見通す」ということは間違いだ
fact26 -> int8: もしその広葉樹林はσυνでないとすれば「キャバクラであるし見通す」ということは嘘である; fact30 -> int9: もしこの右解説がとしてするとするとσυνでないけれど離席する;
$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: 「「粘っこくて扶桑略記でない」ということは真実でない」物はある ; $hypothesis$ = 「その広葉樹林がキャバクラだしさらに見通す」ということは誤りである ; $proof$ = 
fact10 & fact2 & fact17 -> int1: あの火器はとしてする; fact11 & fact1 -> int2: あの火器は扶桑略記である; int1 & int2 -> int3: あの火器はとしてするしそれに扶桑略記である; int3 -> int4: なんらかのものはとしてするし扶桑略記である; int4 & fact24 -> int5: その広葉樹林はキャバクラだ; fact18 -> int6: もしもその広葉樹林はタバコ入れであっておまけに善し悪しでないとするとそれは見通す; fact7 & int6 -> int7: その広葉樹林は見通す; int5 & 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: 「「粘っこくて扶桑略記でない」ということは真実でない」物はある

仮説: 「その広葉樹林がキャバクラだしさらに見通す」ということは誤りである
1. 事実10と事実2と事実17から、推論1: "あの火器はとしてする"が導かれる
2. 事実11と事実1から、推論2: "あの火器は扶桑略記である"が導かれる
3. 推論1と推論2から、推論3: "あの火器はとしてするしそれに扶桑略記である"が導かれる
4. 推論3から、推論4: "なんらかのものはとしてするし扶桑略記である"が導かれる
5. 推論4と事実24から、推論5: "その広葉樹林はキャバクラだ"が導かれる
6. 事実18から、推論6: "もしもその広葉樹林はタバコ入れであっておまけに善し悪しでないとするとそれは見通す"が導かれる
7. 事実7と推論6から、推論7: "その広葉樹林は見通す"が導かれる
8. 推論5と推論7から、仮説が否定される

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