「あの猥談は収集すけれどおどろおどろしくない」ということは間違いだ
fact1: あの蛋白質食品は付与す fact2: 仮にこの世界一は脅威論であるということはないとしたら「あの猥談は収集すがしかしおどろおどろしくない」ということは偽である fact3: 「「あの猥談は飲み続けないかあるいは脅威論であるかもしくは両方ともだ」ということは誤っている」ということは事実であるなら収集す fact4: 仮に「「経常収益でなくて常在しない」ということは嘘な」物があるとしたらあの蛋白質食品は飲み続ける fact5: 仮になにがしかのものが飲み続けるしまた欲しいとすればあの世界一は脅威論でない fact6: 「「経常収益でなくて常在しない」ということは成り立たない」物はある fact7: もしもあの蛋白質食品が付与すとすると欲しい
fact7 & fact1 -> int1: あの蛋白質食品は欲しい; fact6 & fact4 -> int2: あの蛋白質食品は飲み続ける; int1 & int2 -> int3: あの蛋白質食品は飲み続けるしそれに欲しい; int3 -> int4: 何らかの物は飲み続けるしおまけに欲しい; int4 & fact5 -> int5: この世界一は脅威論でない; int5 & fact2 -> hypothesis;
あの猥談は収集すけれどおどろおどろしくない
$facts$ = fact1: あの蛋白質食品は付与す fact2: 仮にこの世界一は脅威論であるということはないとしたら「あの猥談は収集すがしかしおどろおどろしくない」ということは偽である fact3: 「「あの猥談は飲み続けないかあるいは脅威論であるかもしくは両方ともだ」ということは誤っている」ということは事実であるなら収集す fact4: 仮に「「経常収益でなくて常在しない」ということは嘘な」物があるとしたらあの蛋白質食品は飲み続ける fact5: 仮になにがしかのものが飲み続けるしまた欲しいとすればあの世界一は脅威論でない fact6: 「「経常収益でなくて常在しない」ということは成り立たない」物はある fact7: もしもあの蛋白質食品が付与すとすると欲しい ; $hypothesis$ = 「あの猥談は収集すけれどおどろおどろしくない」ということは間違いだ ; $proof$ = 
fact7 & fact1 -> int1: あの蛋白質食品は欲しい; fact6 & fact4 -> int2: あの蛋白質食品は飲み続ける; int1 & int2 -> int3: あの蛋白質食品は飲み続けるしそれに欲しい; int3 -> int4: 何らかの物は飲み続けるしおまけに欲しい; int4 & fact5 -> int5: この世界一は脅威論でない; int5 & fact2 -> hypothesis; __PROVED__
事実1: あの蛋白質食品は付与す
事実2: 仮にこの世界一は脅威論であるということはないとしたら「あの猥談は収集すがしかしおどろおどろしくない」ということは偽である
事実3: 「「あの猥談は飲み続けないかあるいは脅威論であるかもしくは両方ともだ」ということは誤っている」ということは事実であるなら収集す
事実4: 仮に「「経常収益でなくて常在しない」ということは嘘な」物があるとしたらあの蛋白質食品は飲み続ける
事実5: 仮になにがしかのものが飲み続けるしまた欲しいとすればあの世界一は脅威論でない
事実6: 「「経常収益でなくて常在しない」ということは成り立たない」物はある
事実7: もしもあの蛋白質食品が付与すとすると欲しい

仮説: 「あの猥談は収集すけれどおどろおどろしくない」ということは間違いだ
1. 事実7と事実1から、推論1: "あの蛋白質食品は欲しい"が導かれる
2. 事実6と事実4から、推論2: "あの蛋白質食品は飲み続ける"が導かれる
3. 推論1と推論2から、推論3: "あの蛋白質食品は飲み続けるしそれに欲しい"が導かれる
4. 推論3から、推論4: "何らかの物は飲み続けるしおまけに欲しい"が導かれる
5. 推論4と事実5から、推論5: "この世界一は脅威論でない"が導かれる
6. 推論5と事実2から、仮説が導かれる

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