もし仮にこの管領が優しないならば清潔行動であるかあるいは掻き易い
fact1: この管領はちっちゃいかそれは掻き易いかまたは両方だ fact2: このＮＳＴは掻き易い fact3: もし仮にこの患者等が憎らしくないとしたらそれは会合する fact4: もしこの管領が優しとしたらそれは清潔行動だ fact5: もしも何らかのものは発揚だということはないならば「びっくりするし監視し易い」ということは成り立たない fact6: もし仮にこの管領が優しないとすると清潔行動だ fact7: もし仮に「「「この療養環境はびっくりするしさらにそれは監視し易い」ということは誤っていない」ということは偽である」ということは間違っていないならばびっくりしない fact8: とあるものは回顧すれば「優しないけど掻き易い」ということは偽だ fact9: 「仮にあの弗素以外は万有引力だとすると「あの長州勢は回顧するということはなくてしかも灰色っぽくない」ということは事実と異なる」ということは確かである fact10: この療養環境がびっくりしないならあの弗素以外は万有引力であるし加えて倒れ難い fact11: もしも「「「あの長州勢は回顧しなくてその上それは灰色っぽくない」ということは本当である」ということは誤っている」ということは間違いでないならばあの管領は回顧する fact12: この療養環境は厭わしい一方で発揚でない
void -> assump1: 以下のように仮定する。この管領は優しない; fact6 & assump1 -> int1: 「この管領は清潔行動だ」ということは間違っていない; int1 -> int2: この管領は清潔行動であるかまたはそれは掻き易い; [assump1] & int2 -> hypothesis;
あの建物周りは清潔行動でない
fact15 -> int3: 仮にこの管領は回顧するとすると「それは優しないしまたそれは掻き易い」ということは嘘だ; fact16 -> int4: 仮にこの療養環境は発揚でないとすれば「それはびっくりするし監視し易い」ということは間違っている; fact19 -> int5: 「この療養環境は発揚でない」ということは成り立つ; int4 & int5 -> int6: 「この療養環境はびっくりするししかも監視し易い」ということは誤っている; fact18 & int6 -> int7: この療養環境はびっくりしない; fact14 & int7 -> int8: 「あの弗素以外は万有引力であるし倒れ難い」ということは事実だ; int8 -> int9: 「あの弗素以外は万有引力である」ということは正しい; fact17 & int9 -> int10: 「あの長州勢は回顧しないし灰色っぽくない」ということは成り立たない; fact13 & int10 -> int11: この管領は回顧する; int3 & int11 -> int12: 「この管領は優しないけれどそれは掻き易い」ということは間違いだ; int12 -> int13: 「「優しないが掻き易い」ということは嘘な」物はある;
$facts$ = fact1: この管領はちっちゃいかそれは掻き易いかまたは両方だ fact2: このＮＳＴは掻き易い fact3: もし仮にこの患者等が憎らしくないとしたらそれは会合する fact4: もしこの管領が優しとしたらそれは清潔行動だ fact5: もしも何らかのものは発揚だということはないならば「びっくりするし監視し易い」ということは成り立たない fact6: もし仮にこの管領が優しないとすると清潔行動だ fact7: もし仮に「「「この療養環境はびっくりするしさらにそれは監視し易い」ということは誤っていない」ということは偽である」ということは間違っていないならばびっくりしない fact8: とあるものは回顧すれば「優しないけど掻き易い」ということは偽だ fact9: 「仮にあの弗素以外は万有引力だとすると「あの長州勢は回顧するということはなくてしかも灰色っぽくない」ということは事実と異なる」ということは確かである fact10: この療養環境がびっくりしないならあの弗素以外は万有引力であるし加えて倒れ難い fact11: もしも「「「あの長州勢は回顧しなくてその上それは灰色っぽくない」ということは本当である」ということは誤っている」ということは間違いでないならばあの管領は回顧する fact12: この療養環境は厭わしい一方で発揚でない ; $hypothesis$ = もし仮にこの管領が優しないならば清潔行動であるかあるいは掻き易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この管領は優しない; fact6 & assump1 -> int1: 「この管領は清潔行動だ」ということは間違っていない; int1 -> int2: この管領は清潔行動であるかまたはそれは掻き易い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この管領はちっちゃいかそれは掻き易いかまたは両方だ
事実2: このＮＳＴは掻き易い
事実3: もし仮にこの患者等が憎らしくないとしたらそれは会合する
事実4: もしこの管領が優しとしたらそれは清潔行動だ
事実5: もしも何らかのものは発揚だということはないならば「びっくりするし監視し易い」ということは成り立たない
事実6: もし仮にこの管領が優しないとすると清潔行動だ
事実7: もし仮に「「「この療養環境はびっくりするしさらにそれは監視し易い」ということは誤っていない」ということは偽である」ということは間違っていないならばびっくりしない
事実8: とあるものは回顧すれば「優しないけど掻き易い」ということは偽だ
事実9: 「仮にあの弗素以外は万有引力だとすると「あの長州勢は回顧するということはなくてしかも灰色っぽくない」ということは事実と異なる」ということは確かである
事実10: この療養環境がびっくりしないならあの弗素以外は万有引力であるし加えて倒れ難い
事実11: もしも「「「あの長州勢は回顧しなくてその上それは灰色っぽくない」ということは本当である」ということは誤っている」ということは間違いでないならばあの管領は回顧する
事実12: この療養環境は厭わしい一方で発揚でない

仮説: もし仮にこの管領が優しないならば清潔行動であるかあるいは掻き易い
1. 仮定1: 以下のように仮定する。この管領は優しない
2. 事実6と仮定1から、推論1: "「この管領は清潔行動だ」ということは間違っていない"が導かれる
3. 推論1から、推論2: "この管領は清潔行動であるかまたはそれは掻き易い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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