「あの支払い総額は突入する」ということは真実だ
fact1: もしも「なんらかのものは蚊蜻蛉でないかあるいは外し易いかまたは両方だ」ということは成り立たないなら推論出来る fact2: このパーツ選びがエリアミディアムであるがしかし推論出来ないとしたらこの南海は外し易い fact3: もしもこのパーツ選びがエリアミディアムでないけど推論出来るとするとこの南海は外し易い fact4: この南海が蚊蜻蛉であるとすればあの支払い総額はビデオ撮影である fact5: もし仮にとあるものが回さないならそれはビデオ撮影でない fact6: この南海は整備でない fact7: あの支払い総額はビデオ撮影である fact8: 仮に外し易い物は蚊蜻蛉でないとすれば「推論出来る」ということは成り立つ fact9: もし仮にこの南海が整備でないとしたらそれは道徳的価値であるしかつそれは競い合う fact10: もしもとある物が外し易いなら蚊蜻蛉だ fact11: もしもこのパーツ選びがエリアミディアムでないし推論出来ないとしたらこの南海は外し易い fact12: 仮にこのパーツ選びはビデオ撮影だとすると「その若党は蚊蜻蛉でないかあるいは外し易いかあるいはどちらもである」ということは間違っている fact13: もしもある物が突入するとしたらビデオ撮影である fact14: 道徳的価値は邪魔臭くないけれど太し fact15: 邪魔臭いということはないものが太しとしたら回さない fact16: 仮にこの南海がビデオ撮影でないとするとこのパーツ選びは蚊蜻蛉でそれは外し易い fact17: 仮になにかはビデオ撮影である一方で蚊蜻蛉でないとするとそれは突入する fact18: 仮に「この南海は蚊蜻蛉でない」ということは嘘ならばあの支払い総額はビデオ撮影であるがしかし蚊蜻蛉でない fact19: このパーツ選びはエリアミディアムでなくてそれは推論出来ない
fact11 & fact19 -> int1: この南海は外し易い; fact10 -> int2: もしこの南海が外し易いならば蚊蜻蛉である; int1 & int2 -> int3: この南海は蚊蜻蛉だ; int3 & fact18 -> int4: あの支払い総額はビデオ撮影であるけど蚊蜻蛉でない; fact17 -> int5: あの支払い総額がビデオ撮影だけど蚊蜻蛉でないならば突入する; int4 & int5 -> hypothesis;
その若党は推論出来る
fact22 -> int6: もし仮に「「その若党は蚊蜻蛉でないかそれは外し易いかあるいはどちらもである」ということは真実である」ということは成り立たないとするとそれは推論出来る; fact20 -> int7: もし仮にこのパーツ選びが突入するとすればそれはビデオ撮影だ;
$facts$ = fact1: もしも「なんらかのものは蚊蜻蛉でないかあるいは外し易いかまたは両方だ」ということは成り立たないなら推論出来る fact2: このパーツ選びがエリアミディアムであるがしかし推論出来ないとしたらこの南海は外し易い fact3: もしもこのパーツ選びがエリアミディアムでないけど推論出来るとするとこの南海は外し易い fact4: この南海が蚊蜻蛉であるとすればあの支払い総額はビデオ撮影である fact5: もし仮にとあるものが回さないならそれはビデオ撮影でない fact6: この南海は整備でない fact7: あの支払い総額はビデオ撮影である fact8: 仮に外し易い物は蚊蜻蛉でないとすれば「推論出来る」ということは成り立つ fact9: もし仮にこの南海が整備でないとしたらそれは道徳的価値であるしかつそれは競い合う fact10: もしもとある物が外し易いなら蚊蜻蛉だ fact11: もしもこのパーツ選びがエリアミディアムでないし推論出来ないとしたらこの南海は外し易い fact12: 仮にこのパーツ選びはビデオ撮影だとすると「その若党は蚊蜻蛉でないかあるいは外し易いかあるいはどちらもである」ということは間違っている fact13: もしもある物が突入するとしたらビデオ撮影である fact14: 道徳的価値は邪魔臭くないけれど太し fact15: 邪魔臭いということはないものが太しとしたら回さない fact16: 仮にこの南海がビデオ撮影でないとするとこのパーツ選びは蚊蜻蛉でそれは外し易い fact17: 仮になにかはビデオ撮影である一方で蚊蜻蛉でないとするとそれは突入する fact18: 仮に「この南海は蚊蜻蛉でない」ということは嘘ならばあの支払い総額はビデオ撮影であるがしかし蚊蜻蛉でない fact19: このパーツ選びはエリアミディアムでなくてそれは推論出来ない ; $hypothesis$ = 「あの支払い総額は突入する」ということは真実だ ; $proof$ = 
fact11 & fact19 -> int1: この南海は外し易い; fact10 -> int2: もしこの南海が外し易いならば蚊蜻蛉である; int1 & int2 -> int3: この南海は蚊蜻蛉だ; int3 & fact18 -> int4: あの支払い総額はビデオ撮影であるけど蚊蜻蛉でない; fact17 -> int5: あの支払い総額がビデオ撮影だけど蚊蜻蛉でないならば突入する; int4 & int5 -> hypothesis; __PROVED__
事実1: もしも「なんらかのものは蚊蜻蛉でないかあるいは外し易いかまたは両方だ」ということは成り立たないなら推論出来る
事実2: このパーツ選びがエリアミディアムであるがしかし推論出来ないとしたらこの南海は外し易い
事実3: もしもこのパーツ選びがエリアミディアムでないけど推論出来るとするとこの南海は外し易い
事実4: この南海が蚊蜻蛉であるとすればあの支払い総額はビデオ撮影である
事実5: もし仮にとあるものが回さないならそれはビデオ撮影でない
事実6: この南海は整備でない
事実7: あの支払い総額はビデオ撮影である
事実8: 仮に外し易い物は蚊蜻蛉でないとすれば「推論出来る」ということは成り立つ
事実9: もし仮にこの南海が整備でないとしたらそれは道徳的価値であるしかつそれは競い合う
事実10: もしもとある物が外し易いなら蚊蜻蛉だ
事実11: もしもこのパーツ選びがエリアミディアムでないし推論出来ないとしたらこの南海は外し易い
事実12: 仮にこのパーツ選びはビデオ撮影だとすると「その若党は蚊蜻蛉でないかあるいは外し易いかあるいはどちらもである」ということは間違っている
事実13: もしもある物が突入するとしたらビデオ撮影である
事実14: 道徳的価値は邪魔臭くないけれど太し
事実15: 邪魔臭いということはないものが太しとしたら回さない
事実16: 仮にこの南海がビデオ撮影でないとするとこのパーツ選びは蚊蜻蛉でそれは外し易い
事実17: 仮になにかはビデオ撮影である一方で蚊蜻蛉でないとするとそれは突入する
事実18: 仮に「この南海は蚊蜻蛉でない」ということは嘘ならばあの支払い総額はビデオ撮影であるがしかし蚊蜻蛉でない
事実19: このパーツ選びはエリアミディアムでなくてそれは推論出来ない

仮説: 「あの支払い総額は突入する」ということは真実だ
1. 事実11と事実19から、推論1: "この南海は外し易い"が導かれる
2. 事実10から、推論2: "もしこの南海が外し易いならば蚊蜻蛉である"が導かれる
3. 推論1と推論2から、推論3: "この南海は蚊蜻蛉だ"が導かれる
4. 推論3と事実18から、推論4: "あの支払い総額はビデオ撮影であるけど蚊蜻蛉でない"が導かれる
5. 事実17から、推論5: "あの支払い総額がビデオ撮影だけど蚊蜻蛉でないならば突入する"が導かれる
6. 推論4と推論5から、仮説が導かれる

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