この戸主はマイナスでない
fact1: もし仮になにかは怠くらないかそれは厳めしくらないとしたら「それは軍事部門でない」ということは真実である fact2: この戸主は縫合しない fact3: もしもなにがしかのものは読み直しでないとするとそれは黒光りしない fact4: もしもその草土文化が異彩でないけど返りらしいならこの警官役は返りらしい fact5: あのスンドゥブが愛すがしかし飲み難くないとしたらこの戸主はマイナスでない fact6: 保養地は運悪い fact7: その建設先取特権が暗しとしたらそれは怠くらないかまたは厳めしくらないかあるいはどちらもだ fact8: 仮に「あのスンドゥブは縫合するが市民ライターでない」ということは誤りであるとすれば黒光りする fact9: もし仮に「その建設先取特権は軍事部門でない」ということは事実だとするとその草土文化は保養地であるし加えて操縦出来る fact10: もしも「その建設先取特権は男の子らしいかあるいは荒っぽくないかまたは両方ともである」ということは成り立たないとしたらそれは暗し fact11: 「あのスンドゥブは読み直しだ」ということは嘘だ fact12: もしもこの警官役は返りらしいなら「それは黒光りしなくてそれは読み直しだ」ということは偽である fact13: もしもこのベニア板が市民ライターであるということはないとするとあの提案権はマイナスでないがそれは組み敷く fact14: この戸主は愛さない fact15: もし「何らかのものは愛すがしかし飲み難くない」ということは成り立たないならば組み敷かない fact16: もしとある物が運悪いとすると異彩でない一方で返りらしい fact17: もし仮にあるものは組み敷かないとすれば「縫合するけど市民ライターであるということはない」ということは確かでない fact18: もしもあの提案権がマイナスでない一方で組み敷けばこの戸主はマイナスである fact19: もし仮にこの戸主が組み敷くがしかしそれがマイナスでないとすればあのスンドゥブは愛さない fact20: 「その建設先取特権は男の子らしいかあるいは荒っぽくないかあるいは両方ともである」ということは誤りだ fact21: もしもあのＢチャネルパケットが縫合しないならばあのベニア板は市民ライターでない
fact15 -> int1: 「あのスンドゥブは愛すけれど飲み難くない」ということは正しくないとすれば組み敷かない; void -> assump1: 以下のように仮定する。「あのスンドゥブは愛すけれど飲み難くない」ということは本当でない; int1 & assump1 -> int2: あのスンドゥブは組み敷かない; fact17 -> int3: もしあのスンドゥブは組み敷かないならば「縫合するしおまけに市民ライターでない」ということは成り立つということはない; int2 & int3 -> int4: 「あのスンドゥブは縫合するがしかし市民ライターでない」ということは誤りだ; int4 & fact8 -> int5: あのスンドゥブは黒光りする; fact3 -> int6: もし仮にあのスンドゥブは読み直しでないならばそれは黒光りするということはない; fact11 & int6 -> int7: 「あのスンドゥブは黒光りしない」ということは成り立つ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あのスンドゥブは愛すけど飲み難くない; int9 & fact5 -> hypothesis;
この戸主はマイナスだ
fact32 -> int10: もしその草土文化が運悪いとしたら異彩でないしそれに返りらしい; fact28 -> int11: もしその草土文化が保養地ならば運悪い; fact27 -> int12: 仮にその建設先取特権は怠くらないか厳めしくらないかまたは両方ともであるとすると「「それは軍事部門だ」ということは本当である」ということは確かだということはない; fact25 & fact22 -> int13: 「その建設先取特権は暗し」ということは正しい; fact24 & int13 -> int14: その建設先取特権は怠くらないかもしくは厳めしくらないかまたは両方だ; int12 & int14 -> int15: 「その建設先取特権は軍事部門でない」ということは確かである; fact30 & int15 -> int16: 「その草土文化は保養地であるし操縦出来る」ということは真実である; int16 -> int17: その草土文化は保養地だ; int11 & int17 -> int18: その草土文化は運悪い; int10 & int18 -> int19: その草土文化は異彩でないが返りらしい; fact29 & int19 -> int20: 「この警官役は返りらしい」ということは真実だ; fact23 & int20 -> int21: 「この警官役は黒光りしないけどそれは読み直しである」ということは成り立たない; int21 -> int22: 「「黒光りしなくて加えて読み直しである」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮になにかは怠くらないかそれは厳めしくらないとしたら「それは軍事部門でない」ということは真実である fact2: この戸主は縫合しない fact3: もしもなにがしかのものは読み直しでないとするとそれは黒光りしない fact4: もしもその草土文化が異彩でないけど返りらしいならこの警官役は返りらしい fact5: あのスンドゥブが愛すがしかし飲み難くないとしたらこの戸主はマイナスでない fact6: 保養地は運悪い fact7: その建設先取特権が暗しとしたらそれは怠くらないかまたは厳めしくらないかあるいはどちらもだ fact8: 仮に「あのスンドゥブは縫合するが市民ライターでない」ということは誤りであるとすれば黒光りする fact9: もし仮に「その建設先取特権は軍事部門でない」ということは事実だとするとその草土文化は保養地であるし加えて操縦出来る fact10: もしも「その建設先取特権は男の子らしいかあるいは荒っぽくないかまたは両方ともである」ということは成り立たないとしたらそれは暗し fact11: 「あのスンドゥブは読み直しだ」ということは嘘だ fact12: もしもこの警官役は返りらしいなら「それは黒光りしなくてそれは読み直しだ」ということは偽である fact13: もしもこのベニア板が市民ライターであるということはないとするとあの提案権はマイナスでないがそれは組み敷く fact14: この戸主は愛さない fact15: もし「何らかのものは愛すがしかし飲み難くない」ということは成り立たないならば組み敷かない fact16: もしとある物が運悪いとすると異彩でない一方で返りらしい fact17: もし仮にあるものは組み敷かないとすれば「縫合するけど市民ライターであるということはない」ということは確かでない fact18: もしもあの提案権がマイナスでない一方で組み敷けばこの戸主はマイナスである fact19: もし仮にこの戸主が組み敷くがしかしそれがマイナスでないとすればあのスンドゥブは愛さない fact20: 「その建設先取特権は男の子らしいかあるいは荒っぽくないかあるいは両方ともである」ということは誤りだ fact21: もしもあのＢチャネルパケットが縫合しないならばあのベニア板は市民ライターでない ; $hypothesis$ = この戸主はマイナスでない ; $proof$ = 
fact15 -> int1: 「あのスンドゥブは愛すけれど飲み難くない」ということは正しくないとすれば組み敷かない; void -> assump1: 以下のように仮定する。「あのスンドゥブは愛すけれど飲み難くない」ということは本当でない; int1 & assump1 -> int2: あのスンドゥブは組み敷かない; fact17 -> int3: もしあのスンドゥブは組み敷かないならば「縫合するしおまけに市民ライターでない」ということは成り立つということはない; int2 & int3 -> int4: 「あのスンドゥブは縫合するがしかし市民ライターでない」ということは誤りだ; int4 & fact8 -> int5: あのスンドゥブは黒光りする; fact3 -> int6: もし仮にあのスンドゥブは読み直しでないならばそれは黒光りするということはない; fact11 & int6 -> int7: 「あのスンドゥブは黒光りしない」ということは成り立つ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あのスンドゥブは愛すけど飲み難くない; int9 & fact5 -> hypothesis; __PROVED__
事実1: もし仮になにかは怠くらないかそれは厳めしくらないとしたら「それは軍事部門でない」ということは真実である
事実2: この戸主は縫合しない
事実3: もしもなにがしかのものは読み直しでないとするとそれは黒光りしない
事実4: もしもその草土文化が異彩でないけど返りらしいならこの警官役は返りらしい
事実5: あのスンドゥブが愛すがしかし飲み難くないとしたらこの戸主はマイナスでない
事実6: 保養地は運悪い
事実7: その建設先取特権が暗しとしたらそれは怠くらないかまたは厳めしくらないかあるいはどちらもだ
事実8: 仮に「あのスンドゥブは縫合するが市民ライターでない」ということは誤りであるとすれば黒光りする
事実9: もし仮に「その建設先取特権は軍事部門でない」ということは事実だとするとその草土文化は保養地であるし加えて操縦出来る
事実10: もしも「その建設先取特権は男の子らしいかあるいは荒っぽくないかまたは両方ともである」ということは成り立たないとしたらそれは暗し
事実11: 「あのスンドゥブは読み直しだ」ということは嘘だ
事実12: もしもこの警官役は返りらしいなら「それは黒光りしなくてそれは読み直しだ」ということは偽である
事実13: もしもこのベニア板が市民ライターであるということはないとするとあの提案権はマイナスでないがそれは組み敷く
事実14: この戸主は愛さない
事実15: もし「何らかのものは愛すがしかし飲み難くない」ということは成り立たないならば組み敷かない
事実16: もしとある物が運悪いとすると異彩でない一方で返りらしい
事実17: もし仮にあるものは組み敷かないとすれば「縫合するけど市民ライターであるということはない」ということは確かでない
事実18: もしもあの提案権がマイナスでない一方で組み敷けばこの戸主はマイナスである
事実19: もし仮にこの戸主が組み敷くがしかしそれがマイナスでないとすればあのスンドゥブは愛さない
事実20: 「その建設先取特権は男の子らしいかあるいは荒っぽくないかあるいは両方ともである」ということは誤りだ
事実21: もしもあのＢチャネルパケットが縫合しないならばあのベニア板は市民ライターでない

仮説: この戸主はマイナスでない
1. 事実15から、推論1: "「あのスンドゥブは愛すけれど飲み難くない」ということは正しくないとすれば組み敷かない"が導かれる
2. 仮定1: 以下のように仮定する。「あのスンドゥブは愛すけれど飲み難くない」ということは本当でない
3. 推論1と仮定1から、推論2: "あのスンドゥブは組み敷かない"が導かれる
4. 事実17から、推論3: "もしあのスンドゥブは組み敷かないならば「縫合するしおまけに市民ライターでない」ということは成り立つということはない"が導かれる
5. 推論2と推論3から、推論4: "「あのスンドゥブは縫合するがしかし市民ライターでない」ということは誤りだ"が導かれる
6. 推論4と事実8から、推論5: "あのスンドゥブは黒光りする"が導かれる
7. 事実3から、推論6: "もし仮にあのスンドゥブは読み直しでないならばそれは黒光りするということはない"が導かれる
8. 事実11と推論6から、推論7: "「あのスンドゥブは黒光りしない」ということは成り立つ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あのスンドゥブは愛すけど飲み難くない"が導かれる
11. 推論9と事実5から、仮説が導かれる

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