「この間質性肺炎が御飯代わりだし更にそれは生焼けである」ということは成り立つということはない
fact1: もし仮に何かは引き剥がさないとしたら「御飯代わりだし生焼けである」ということは成り立たない fact2: もし「その持ち主は狭くなくてまたヘッダサイズでない」ということは成り立たないとすれば「概略するということはない」ということは正しい fact3: もし仮にあの子宮病変が引き剥がせばその髭根は引き剥がすということはない fact4: あの候補者名簿は引き剥がさない fact5: 「あの子宮病変は女らしくないししかも引き剥がさない」ということは間違いだ fact6: もしも「あの子宮病変は女らしいということはなくて更に引き剥がさない」ということは誤りであるならその髭根は引き剥がさない fact7: もし仮になにかは生焼けでないとすると「疑い深くなくて哀れっぽくない」ということは事実と異なる fact8: その持ち主は御飯代わりでない fact9: なにかはアドレスするとすると女らしいかもしくは研修しないかまたは両方だ fact10: その持ち主が生焼けであるとしたらその髭根は引き剥がす fact11: もしもとある物が概略しないとすると下部機関であるししかもアドレスする fact12: 仮にその持ち主が女らしいかあるいは研修しないかあるいは両方ともだとするとこの間質性肺炎は引き剥がさない fact13: もし仮にその持ち主が生焼けでないならばこの間質性肺炎が御飯代わりだし更に生焼けである fact14: 仮にその髭根が経由するならその持ち主は自然らしい fact15: もしもその持ち主は自然らしいなら「狭くなくてしかもヘッダサイズでない」ということは偽である fact16: 「その持ち主は引き剥がさなくてそれは生焼けでない」ということは嘘である
void -> assump1: 以下のように仮定する。その持ち主は生焼けである; fact10 & assump1 -> int1: その髭根は引き剥がす; fact6 & fact5 -> int2: その髭根は引き剥がすということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その持ち主は生焼けであるということはない; int4 & fact13 -> hypothesis;
「この間質性肺炎は御飯代わりであるし生焼けである」ということは誤っている
fact17 -> int5: もし仮にこの間質性肺炎は引き剥がさないとすると「それは御飯代わりであるし更に生焼けだ」ということは間違いだ; fact18 -> int6: 仮にその持ち主がアドレスするならそれは女らしいかもしくは研修するということはないかあるいは両方だ; fact22 -> int7: もしその持ち主が概略しないなら下部機関だしまたアドレスする;
$facts$ = fact1: もし仮に何かは引き剥がさないとしたら「御飯代わりだし生焼けである」ということは成り立たない fact2: もし「その持ち主は狭くなくてまたヘッダサイズでない」ということは成り立たないとすれば「概略するということはない」ということは正しい fact3: もし仮にあの子宮病変が引き剥がせばその髭根は引き剥がすということはない fact4: あの候補者名簿は引き剥がさない fact5: 「あの子宮病変は女らしくないししかも引き剥がさない」ということは間違いだ fact6: もしも「あの子宮病変は女らしいということはなくて更に引き剥がさない」ということは誤りであるならその髭根は引き剥がさない fact7: もし仮になにかは生焼けでないとすると「疑い深くなくて哀れっぽくない」ということは事実と異なる fact8: その持ち主は御飯代わりでない fact9: なにかはアドレスするとすると女らしいかもしくは研修しないかまたは両方だ fact10: その持ち主が生焼けであるとしたらその髭根は引き剥がす fact11: もしもとある物が概略しないとすると下部機関であるししかもアドレスする fact12: 仮にその持ち主が女らしいかあるいは研修しないかあるいは両方ともだとするとこの間質性肺炎は引き剥がさない fact13: もし仮にその持ち主が生焼けでないならばこの間質性肺炎が御飯代わりだし更に生焼けである fact14: 仮にその髭根が経由するならその持ち主は自然らしい fact15: もしもその持ち主は自然らしいなら「狭くなくてしかもヘッダサイズでない」ということは偽である fact16: 「その持ち主は引き剥がさなくてそれは生焼けでない」ということは嘘である ; $hypothesis$ = 「この間質性肺炎が御飯代わりだし更にそれは生焼けである」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その持ち主は生焼けである; fact10 & assump1 -> int1: その髭根は引き剥がす; fact6 & fact5 -> int2: その髭根は引き剥がすということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その持ち主は生焼けであるということはない; int4 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは引き剥がさないとしたら「御飯代わりだし生焼けである」ということは成り立たない
事実2: もし「その持ち主は狭くなくてまたヘッダサイズでない」ということは成り立たないとすれば「概略するということはない」ということは正しい
事実3: もし仮にあの子宮病変が引き剥がせばその髭根は引き剥がすということはない
事実4: あの候補者名簿は引き剥がさない
事実5: 「あの子宮病変は女らしくないししかも引き剥がさない」ということは間違いだ
事実6: もしも「あの子宮病変は女らしいということはなくて更に引き剥がさない」ということは誤りであるならその髭根は引き剥がさない
事実7: もし仮になにかは生焼けでないとすると「疑い深くなくて哀れっぽくない」ということは事実と異なる
事実8: その持ち主は御飯代わりでない
事実9: なにかはアドレスするとすると女らしいかもしくは研修しないかまたは両方だ
事実10: その持ち主が生焼けであるとしたらその髭根は引き剥がす
事実11: もしもとある物が概略しないとすると下部機関であるししかもアドレスする
事実12: 仮にその持ち主が女らしいかあるいは研修しないかあるいは両方ともだとするとこの間質性肺炎は引き剥がさない
事実13: もし仮にその持ち主が生焼けでないならばこの間質性肺炎が御飯代わりだし更に生焼けである
事実14: 仮にその髭根が経由するならその持ち主は自然らしい
事実15: もしもその持ち主は自然らしいなら「狭くなくてしかもヘッダサイズでない」ということは偽である
事実16: 「その持ち主は引き剥がさなくてそれは生焼けでない」ということは嘘である

仮説: 「この間質性肺炎が御飯代わりだし更にそれは生焼けである」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。その持ち主は生焼けである
2. 事実10と仮定1から、推論1: "その髭根は引き剥がす"が導かれる
3. 事実6と事実5から、推論2: "その髭根は引き剥がすということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その持ち主は生焼けであるということはない"が導かれる
6. 推論4と事実13から、仮説が否定される

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