あの弱みは拡散する
fact1: 「その作者達は飲み易くないがしかしそれは苦しい」ということは成り立たない fact2: もしもその作者達は仕事らしくないなら「あの弱みは経産牛でない一方でそれは仕事らしい」ということは成り立たない fact3: 仮に「とあるものは経産牛だということはないけれど仕事らしい」ということは間違っているなら「拡散しない」ということは事実である fact4: 「その作者達は飲み易くないけれど苦しい」ということは成り立たないとすれば「仕事らしいということはない」ということは真実だ
fact4 & fact1 -> int1: その作者達は仕事らしくない; int1 & fact2 -> int2: 「あの弱みは経産牛でないけれど仕事らしい」ということは成り立たない; fact3 -> int3: もし仮に「あの弱みは経産牛でないがしかしそれは仕事らしい」ということは事実と異なるとすると「拡散しない」ということは成り立つ; int2 & int3 -> hypothesis;
$facts$ = fact1: 「その作者達は飲み易くないがしかしそれは苦しい」ということは成り立たない fact2: もしもその作者達は仕事らしくないなら「あの弱みは経産牛でない一方でそれは仕事らしい」ということは成り立たない fact3: 仮に「とあるものは経産牛だということはないけれど仕事らしい」ということは間違っているなら「拡散しない」ということは事実である fact4: 「その作者達は飲み易くないけれど苦しい」ということは成り立たないとすれば「仕事らしいということはない」ということは真実だ ; $hypothesis$ = あの弱みは拡散する ; $proof$ = 
fact4 & fact1 -> int1: その作者達は仕事らしくない; int1 & fact2 -> int2: 「あの弱みは経産牛でないけれど仕事らしい」ということは成り立たない; fact3 -> int3: もし仮に「あの弱みは経産牛でないがしかしそれは仕事らしい」ということは事実と異なるとすると「拡散しない」ということは成り立つ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「その作者達は飲み易くないがしかしそれは苦しい」ということは成り立たない
事実2: もしもその作者達は仕事らしくないなら「あの弱みは経産牛でない一方でそれは仕事らしい」ということは成り立たない
事実3: 仮に「とあるものは経産牛だということはないけれど仕事らしい」ということは間違っているなら「拡散しない」ということは事実である
事実4: 「その作者達は飲み易くないけれど苦しい」ということは成り立たないとすれば「仕事らしいということはない」ということは真実だ

仮説: あの弱みは拡散する
1. 事実4と事実1から、推論1: "その作者達は仕事らしくない"が導かれる
2. 推論1と事実2から、推論2: "「あの弱みは経産牛でないけれど仕事らしい」ということは成り立たない"が導かれる
3. 事実3から、推論3: "もし仮に「あの弱みは経産牛でないがしかしそれは仕事らしい」ということは事実と異なるとすると「拡散しない」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が否定される

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