その一人旅は被さる
fact1: 仮に「あの上達は薬剤費であるししかも被さる」ということは間違いであるならばその一人旅は被さらない fact2: 「「三本立てだしさらに興味深い」ということは偽な」ものがあるとしたらこの滞在期間中は興味深くない fact3: もしもなにかは薄汚くないとすればその一人旅は被さる fact4: 薄汚いししかもそれは遊び回らないというものはない fact5: もし仮にその改租事業はシンガポール企業でないとすれば「三本立てであるしさらに興味深い」ということは誤りだ fact6: 「この六道輪廻は硝酸だ」ということは間違っているということはない fact7: もし何らかの物が弱しないならそれは気高し fact8: この滞在期間中が当たり易いし加えてそれが弱しとしたらあの上達は弱しない fact9: もしも「とあるものは薬剤費でない」ということは正しいなら「気高しないかまたは被さらないかまたは両方である」ということは間違っている fact10: 仮になんらかの物が興味深くないならばそれは当たり易い fact11: もしも「あの上達は気高しないかあるいはそれは被さるということはないかまたはどちらもだ」ということは誤っていればその一人旅は被さらない fact12: もし「とあるものは間断無いし薬剤費である」ということは誤りであるとしたらそれは薬剤費でない fact13: 「「被さるし加えて薄汚くない」ということは成り立たない」ものはある fact14: 「その改租事業はシンガポール企業でない」ということは確かである fact15: 「「薄汚くてかつ被さらない」ということは間違いな」物はある fact16: もしも「なにかは意思解釈で加えて喧伝する」ということは間違いであるならばそれは喧伝しない fact17: もしも「「薄汚いが遊び回らない」ということは誤りな」ものがあるならばあの一人旅は被さる fact18: もしも「「遊び回るけれど被さらない」ということは間違いな」物があるならこの六道輪廻は薄汚い fact19: とあるものは喧伝するということはないとすると「主導するしかつ弱し」ということは成り立つ fact20: 仮にあるものは弱しないとしたら「それは間断無いし更に薬剤費だ」ということは誤っている
fact4 -> int1: 「この六道輪廻は薄汚いけれど遊び回らない」ということは成り立たない; int1 -> int2: 「「薄汚いしさらに遊び回らない」ということは偽である」物はある; int2 & fact17 -> hypothesis;
その一人旅は被さるということはない
fact22 -> int3: もし仮にその改租事業が弱しないならそれは気高し;
$facts$ = fact1: 仮に「あの上達は薬剤費であるししかも被さる」ということは間違いであるならばその一人旅は被さらない fact2: 「「三本立てだしさらに興味深い」ということは偽な」ものがあるとしたらこの滞在期間中は興味深くない fact3: もしもなにかは薄汚くないとすればその一人旅は被さる fact4: 薄汚いししかもそれは遊び回らないというものはない fact5: もし仮にその改租事業はシンガポール企業でないとすれば「三本立てであるしさらに興味深い」ということは誤りだ fact6: 「この六道輪廻は硝酸だ」ということは間違っているということはない fact7: もし何らかの物が弱しないならそれは気高し fact8: この滞在期間中が当たり易いし加えてそれが弱しとしたらあの上達は弱しない fact9: もしも「とあるものは薬剤費でない」ということは正しいなら「気高しないかまたは被さらないかまたは両方である」ということは間違っている fact10: 仮になんらかの物が興味深くないならばそれは当たり易い fact11: もしも「あの上達は気高しないかあるいはそれは被さるということはないかまたはどちらもだ」ということは誤っていればその一人旅は被さらない fact12: もし「とあるものは間断無いし薬剤費である」ということは誤りであるとしたらそれは薬剤費でない fact13: 「「被さるし加えて薄汚くない」ということは成り立たない」ものはある fact14: 「その改租事業はシンガポール企業でない」ということは確かである fact15: 「「薄汚くてかつ被さらない」ということは間違いな」物はある fact16: もしも「なにかは意思解釈で加えて喧伝する」ということは間違いであるならばそれは喧伝しない fact17: もしも「「薄汚いが遊び回らない」ということは誤りな」ものがあるならばあの一人旅は被さる fact18: もしも「「遊び回るけれど被さらない」ということは間違いな」物があるならこの六道輪廻は薄汚い fact19: とあるものは喧伝するということはないとすると「主導するしかつ弱し」ということは成り立つ fact20: 仮にあるものは弱しないとしたら「それは間断無いし更に薬剤費だ」ということは誤っている ; $hypothesis$ = その一人旅は被さる ; $proof$ = 
fact4 -> int1: 「この六道輪廻は薄汚いけれど遊び回らない」ということは成り立たない; int1 -> int2: 「「薄汚いしさらに遊び回らない」ということは偽である」物はある; int2 & fact17 -> hypothesis; __PROVED__
事実1: 仮に「あの上達は薬剤費であるししかも被さる」ということは間違いであるならばその一人旅は被さらない
事実2: 「「三本立てだしさらに興味深い」ということは偽な」ものがあるとしたらこの滞在期間中は興味深くない
事実3: もしもなにかは薄汚くないとすればその一人旅は被さる
事実4: 薄汚いししかもそれは遊び回らないというものはない
事実5: もし仮にその改租事業はシンガポール企業でないとすれば「三本立てであるしさらに興味深い」ということは誤りだ
事実6: 「この六道輪廻は硝酸だ」ということは間違っているということはない
事実7: もし何らかの物が弱しないならそれは気高し
事実8: この滞在期間中が当たり易いし加えてそれが弱しとしたらあの上達は弱しない
事実9: もしも「とあるものは薬剤費でない」ということは正しいなら「気高しないかまたは被さらないかまたは両方である」ということは間違っている
事実10: 仮になんらかの物が興味深くないならばそれは当たり易い
事実11: もしも「あの上達は気高しないかあるいはそれは被さるということはないかまたはどちらもだ」ということは誤っていればその一人旅は被さらない
事実12: もし「とあるものは間断無いし薬剤費である」ということは誤りであるとしたらそれは薬剤費でない
事実13: 「「被さるし加えて薄汚くない」ということは成り立たない」ものはある
事実14: 「その改租事業はシンガポール企業でない」ということは確かである
事実15: 「「薄汚くてかつ被さらない」ということは間違いな」物はある
事実16: もしも「なにかは意思解釈で加えて喧伝する」ということは間違いであるならばそれは喧伝しない
事実17: もしも「「薄汚いが遊び回らない」ということは誤りな」ものがあるならばあの一人旅は被さる
事実18: もしも「「遊び回るけれど被さらない」ということは間違いな」物があるならこの六道輪廻は薄汚い
事実19: とあるものは喧伝するということはないとすると「主導するしかつ弱し」ということは成り立つ
事実20: 仮にあるものは弱しないとしたら「それは間断無いし更に薬剤費だ」ということは誤っている

仮説: その一人旅は被さる
1. 事実4から、推論1: "「この六道輪廻は薄汚いけれど遊び回らない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「薄汚いしさらに遊び回らない」ということは偽である」物はある"が導かれる
3. 推論2と事実17から、仮説が導かれる

よって、仮説が証明されました。