「その事項別明細書はグループ化しないが別立てだ」ということは間違いだ
fact1: 「その肉味は半労働力であるけれど描かない」ということは成り立たない fact2: もし仮にあの絡繰人形はダブルクリックするとしたら「それは半労働力でしかもそれは厳密性であるということはない」ということは成り立たない fact3: もしも「請来する」ものがあればあの絡繰人形はダブルクリックするか緊急治療室だ fact4: もしもその肉味はダブルクリックするなら「その事項別明細書はグループ化しないがそれは別立てである」ということは偽である fact5: もし「その肉味はダブルクリックする」ということは成り立つとすれば「その事項別明細書はグループ化するしそれに別立てである」ということは誤っている fact6: 何らかのものは請来しない fact7: もし仮にあの絡繰人形が半労働力だとするとその肉味はダブルクリックする fact8: 仮に「その肉味は別立てでない」ということは偽であるならばその事項別明細書はダブルクリックする fact9: 「その生理痛は請来する」ということは確かだ fact10: 仮にあの絡繰人形が厳密性でないとすれば半労働力だ fact11: もしもあの絡繰人形がダブルクリックするならその事項別明細書はダブルクリックする fact12: もしも「「半労働力でかつ描かない」ということは嘘な」ものがあるとしたらその事項別明細書は半労働力でない fact13: もしその肉味は半労働力であるとすれば「あの絡繰人形は失語症状でないけどそれは厳密性である」ということは誤りだ fact14: 「その事項別明細書はグループ化するし別立てである」ということは誤っている fact15: あの絡繰人形は厳密性でない
fact10 & fact15 -> int1: あの絡繰人形は半労働力だ; int1 & fact7 -> int2: その肉味はダブルクリックする; int2 & fact4 -> hypothesis;
その事項別明細書はグループ化するということはないけど別立てだ
$facts$ = fact1: 「その肉味は半労働力であるけれど描かない」ということは成り立たない fact2: もし仮にあの絡繰人形はダブルクリックするとしたら「それは半労働力でしかもそれは厳密性であるということはない」ということは成り立たない fact3: もしも「請来する」ものがあればあの絡繰人形はダブルクリックするか緊急治療室だ fact4: もしもその肉味はダブルクリックするなら「その事項別明細書はグループ化しないがそれは別立てである」ということは偽である fact5: もし「その肉味はダブルクリックする」ということは成り立つとすれば「その事項別明細書はグループ化するしそれに別立てである」ということは誤っている fact6: 何らかのものは請来しない fact7: もし仮にあの絡繰人形が半労働力だとするとその肉味はダブルクリックする fact8: 仮に「その肉味は別立てでない」ということは偽であるならばその事項別明細書はダブルクリックする fact9: 「その生理痛は請来する」ということは確かだ fact10: 仮にあの絡繰人形が厳密性でないとすれば半労働力だ fact11: もしもあの絡繰人形がダブルクリックするならその事項別明細書はダブルクリックする fact12: もしも「「半労働力でかつ描かない」ということは嘘な」ものがあるとしたらその事項別明細書は半労働力でない fact13: もしその肉味は半労働力であるとすれば「あの絡繰人形は失語症状でないけどそれは厳密性である」ということは誤りだ fact14: 「その事項別明細書はグループ化するし別立てである」ということは誤っている fact15: あの絡繰人形は厳密性でない ; $hypothesis$ = 「その事項別明細書はグループ化しないが別立てだ」ということは間違いだ ; $proof$ = 
fact10 & fact15 -> int1: あの絡繰人形は半労働力だ; int1 & fact7 -> int2: その肉味はダブルクリックする; int2 & fact4 -> hypothesis; __PROVED__
事実1: 「その肉味は半労働力であるけれど描かない」ということは成り立たない
事実2: もし仮にあの絡繰人形はダブルクリックするとしたら「それは半労働力でしかもそれは厳密性であるということはない」ということは成り立たない
事実3: もしも「請来する」ものがあればあの絡繰人形はダブルクリックするか緊急治療室だ
事実4: もしもその肉味はダブルクリックするなら「その事項別明細書はグループ化しないがそれは別立てである」ということは偽である
事実5: もし「その肉味はダブルクリックする」ということは成り立つとすれば「その事項別明細書はグループ化するしそれに別立てである」ということは誤っている
事実6: 何らかのものは請来しない
事実7: もし仮にあの絡繰人形が半労働力だとするとその肉味はダブルクリックする
事実8: 仮に「その肉味は別立てでない」ということは偽であるならばその事項別明細書はダブルクリックする
事実9: 「その生理痛は請来する」ということは確かだ
事実10: 仮にあの絡繰人形が厳密性でないとすれば半労働力だ
事実11: もしもあの絡繰人形がダブルクリックするならその事項別明細書はダブルクリックする
事実12: もしも「「半労働力でかつ描かない」ということは嘘な」ものがあるとしたらその事項別明細書は半労働力でない
事実13: もしその肉味は半労働力であるとすれば「あの絡繰人形は失語症状でないけどそれは厳密性である」ということは誤りだ
事実14: 「その事項別明細書はグループ化するし別立てである」ということは誤っている
事実15: あの絡繰人形は厳密性でない

仮説: 「その事項別明細書はグループ化しないが別立てだ」ということは間違いだ
1. 事実10と事実15から、推論1: "あの絡繰人形は半労働力だ"が導かれる
2. 推論1と事実7から、推論2: "その肉味はダブルクリックする"が導かれる
3. 推論2と事実4から、仮説が導かれる

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