「仮にあの全額保護は造営するとすれば「この仮設トイレは結び合う」ということは真実である」ということは嘘だ
fact1: 仮に「このチャイルドは回り出さないかまたは治療焦点化するかあるいはどちらもだ」ということは事実と異なるとしたらあの全額保護は判定出来ない fact2: もし「このチャイルドは回り出すかもしくはそれは治療焦点化するかまたはどちらもだ」ということは嘘であるとしたら「あの全額保護は判定出来ない」ということは真実だ fact3: もしも「あの全額保護は結び合わない」ということは成り立つとしたら「造営する」ということは成り立つ fact4: もしも「「寝返る」ということは真実である」物はあるなら「「「このチャイルドは回り出さないかまたは治療焦点化するかもしくは両方だ」ということは真実である」ということは成り立たない」ということは事実だ fact5: 「この仮設トイレは判定出来るということはないかまたはそれは結び合う」ということは偽だ fact6: もしも「造営するしかつ開き易い」物があるとするとこの仮設トイレは結び合う fact7: 「開き易い」ものはある fact8: もしも「細いものはある」ということは成り立つとすると「この仮設トイレは造営しないかそれは御稽古するかどちらもである」ということは嘘だ fact9: このチャイルドは回り出す fact10: もしも「寝返る」ものはあるとすると「このチャイルドは回り出す」ということは真実である fact11: 何らかの物が判定出来るし造営するとするとあの全額保護は治療焦点化する fact12: もし仮に「開き易い」物はあるとすれば「あの磐石は繁殖入りしないかアスレティシズムである」ということは成り立たない fact13: なにかは判定出来るということはないなら「開き易い」ということは正しい fact14: 「造営する」物はある fact15: とあるものは寝返る
fact15 & fact4 -> int1: 「このチャイルドは回り出さないか治療焦点化するかどちらもである」ということは成り立たない; int1 & fact1 -> int2: あの全額保護は判定出来ない; fact13 -> int3: あの全額保護が判定出来ないとすると開き易い; int2 & int3 -> int4: あの全額保護は開き易い; void -> assump1: 以下のように仮定する。あの全額保護は造営する; int4 & assump1 -> int5: あの全額保護は造営するし加えて開き易い; int5 -> int6: 「造営するししかも開き易い」物はある; int6 & fact6 -> int7: この仮設トイレは結び合う; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 仮に「このチャイルドは回り出さないかまたは治療焦点化するかあるいはどちらもだ」ということは事実と異なるとしたらあの全額保護は判定出来ない fact2: もし「このチャイルドは回り出すかもしくはそれは治療焦点化するかまたはどちらもだ」ということは嘘であるとしたら「あの全額保護は判定出来ない」ということは真実だ fact3: もしも「あの全額保護は結び合わない」ということは成り立つとしたら「造営する」ということは成り立つ fact4: もしも「「寝返る」ということは真実である」物はあるなら「「「このチャイルドは回り出さないかまたは治療焦点化するかもしくは両方だ」ということは真実である」ということは成り立たない」ということは事実だ fact5: 「この仮設トイレは判定出来るということはないかまたはそれは結び合う」ということは偽だ fact6: もしも「造営するしかつ開き易い」物があるとするとこの仮設トイレは結び合う fact7: 「開き易い」ものはある fact8: もしも「細いものはある」ということは成り立つとすると「この仮設トイレは造営しないかそれは御稽古するかどちらもである」ということは嘘だ fact9: このチャイルドは回り出す fact10: もしも「寝返る」ものはあるとすると「このチャイルドは回り出す」ということは真実である fact11: 何らかの物が判定出来るし造営するとするとあの全額保護は治療焦点化する fact12: もし仮に「開き易い」物はあるとすれば「あの磐石は繁殖入りしないかアスレティシズムである」ということは成り立たない fact13: なにかは判定出来るということはないなら「開き易い」ということは正しい fact14: 「造営する」物はある fact15: とあるものは寝返る ; $hypothesis$ = 「仮にあの全額保護は造営するとすれば「この仮設トイレは結び合う」ということは真実である」ということは嘘だ ; $proof$ = 
fact15 & fact4 -> int1: 「このチャイルドは回り出さないか治療焦点化するかどちらもである」ということは成り立たない; int1 & fact1 -> int2: あの全額保護は判定出来ない; fact13 -> int3: あの全額保護が判定出来ないとすると開き易い; int2 & int3 -> int4: あの全額保護は開き易い; void -> assump1: 以下のように仮定する。あの全額保護は造営する; int4 & assump1 -> int5: あの全額保護は造営するし加えて開き易い; int5 -> int6: 「造営するししかも開き易い」物はある; int6 & fact6 -> int7: この仮設トイレは結び合う; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 仮に「このチャイルドは回り出さないかまたは治療焦点化するかあるいはどちらもだ」ということは事実と異なるとしたらあの全額保護は判定出来ない
事実2: もし「このチャイルドは回り出すかもしくはそれは治療焦点化するかまたはどちらもだ」ということは嘘であるとしたら「あの全額保護は判定出来ない」ということは真実だ
事実3: もしも「あの全額保護は結び合わない」ということは成り立つとしたら「造営する」ということは成り立つ
事実4: もしも「「寝返る」ということは真実である」物はあるなら「「「このチャイルドは回り出さないかまたは治療焦点化するかもしくは両方だ」ということは真実である」ということは成り立たない」ということは事実だ
事実5: 「この仮設トイレは判定出来るということはないかまたはそれは結び合う」ということは偽だ
事実6: もしも「造営するしかつ開き易い」物があるとするとこの仮設トイレは結び合う
事実7: 「開き易い」ものはある
事実8: もしも「細いものはある」ということは成り立つとすると「この仮設トイレは造営しないかそれは御稽古するかどちらもである」ということは嘘だ
事実9: このチャイルドは回り出す
事実10: もしも「寝返る」ものはあるとすると「このチャイルドは回り出す」ということは真実である
事実11: 何らかの物が判定出来るし造営するとするとあの全額保護は治療焦点化する
事実12: もし仮に「開き易い」物はあるとすれば「あの磐石は繁殖入りしないかアスレティシズムである」ということは成り立たない
事実13: なにかは判定出来るということはないなら「開き易い」ということは正しい
事実14: 「造営する」物はある
事実15: とあるものは寝返る

仮説: 「仮にあの全額保護は造営するとすれば「この仮設トイレは結び合う」ということは真実である」ということは嘘だ
1. 事実15と事実4から、推論1: "「このチャイルドは回り出さないか治療焦点化するかどちらもである」ということは成り立たない"が導かれる
2. 推論1と事実1から、推論2: "あの全額保護は判定出来ない"が導かれる
3. 事実13から、推論3: "あの全額保護が判定出来ないとすると開き易い"が導かれる
4. 推論2と推論3から、推論4: "あの全額保護は開き易い"が導かれる
5. 仮定1: 以下のように仮定する。あの全額保護は造営する
6. 推論4と仮定1から、推論5: "あの全額保護は造営するし加えて開き易い"が導かれる
7. 推論5から、推論6: "「造営するししかも開き易い」物はある"が導かれる
8. 推論6と事実6から、推論7: "この仮設トイレは結び合う"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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