その松阪牛は届き難い
fact1: 仮に何らかのものは消耗し切らないとしたら「その松阪牛は男っぽくてまたブラバスらしい」ということは成り立たない fact2: 「消耗し切らない」物はある fact3: 仮にこの四十八願が男っぽくないとすればそれは分かり易くない fact4: もしそのＩＰ電話サービスが変わり始めるとするとこの四十八願は成り易い fact5: この四十八願は届き難くない fact6: もし「その松阪牛は男っぽくてブラバスらしい」ということは誤りならば掃除し易くない fact7: 何らかの物は男っぽい fact8: 「この四十八願は成り易くてまたブラバスらしい」ということは確かでないとしたら掃除し易いということはない fact9: この四十八願は成り易くない fact10: もしも届き難い物が掃除し易くないならそのＩＰ電話サービスは変わり始める
fact2 & fact1 -> int1: 「その松阪牛は男っぽいししかもブラバスらしい」ということは成り立つということはない; int1 & fact6 -> int2: その松阪牛は掃除し易くない; void -> assump1: 以下のように仮定する。その松阪牛は届き難い; int2 & assump1 -> int3: その松阪牛は届き難いがしかし掃除し易くない; int3 -> int4: 「届き難いけど掃除し易くない」ものはある; int4 & fact10 -> int5: そのＩＰ電話サービスは変わり始める; int5 & fact4 -> int6: この四十八願は成り易い; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 仮に何らかのものは消耗し切らないとしたら「その松阪牛は男っぽくてまたブラバスらしい」ということは成り立たない fact2: 「消耗し切らない」物はある fact3: 仮にこの四十八願が男っぽくないとすればそれは分かり易くない fact4: もしそのＩＰ電話サービスが変わり始めるとするとこの四十八願は成り易い fact5: この四十八願は届き難くない fact6: もし「その松阪牛は男っぽくてブラバスらしい」ということは誤りならば掃除し易くない fact7: 何らかの物は男っぽい fact8: 「この四十八願は成り易くてまたブラバスらしい」ということは確かでないとしたら掃除し易いということはない fact9: この四十八願は成り易くない fact10: もしも届き難い物が掃除し易くないならそのＩＰ電話サービスは変わり始める ; $hypothesis$ = その松阪牛は届き難い ; $proof$ = 
fact2 & fact1 -> int1: 「その松阪牛は男っぽいししかもブラバスらしい」ということは成り立つということはない; int1 & fact6 -> int2: その松阪牛は掃除し易くない; void -> assump1: 以下のように仮定する。その松阪牛は届き難い; int2 & assump1 -> int3: その松阪牛は届き難いがしかし掃除し易くない; int3 -> int4: 「届き難いけど掃除し易くない」ものはある; int4 & fact10 -> int5: そのＩＰ電話サービスは変わり始める; int5 & fact4 -> int6: この四十八願は成り易い; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものは消耗し切らないとしたら「その松阪牛は男っぽくてまたブラバスらしい」ということは成り立たない
事実2: 「消耗し切らない」物はある
事実3: 仮にこの四十八願が男っぽくないとすればそれは分かり易くない
事実4: もしそのＩＰ電話サービスが変わり始めるとするとこの四十八願は成り易い
事実5: この四十八願は届き難くない
事実6: もし「その松阪牛は男っぽくてブラバスらしい」ということは誤りならば掃除し易くない
事実7: 何らかの物は男っぽい
事実8: 「この四十八願は成り易くてまたブラバスらしい」ということは確かでないとしたら掃除し易いということはない
事実9: この四十八願は成り易くない
事実10: もしも届き難い物が掃除し易くないならそのＩＰ電話サービスは変わり始める

仮説: その松阪牛は届き難い
1. 事実2と事実1から、推論1: "「その松阪牛は男っぽいししかもブラバスらしい」ということは成り立つということはない"が導かれる
2. 推論1と事実6から、推論2: "その松阪牛は掃除し易くない"が導かれる
3. 仮定1: 以下のように仮定する。その松阪牛は届き難い
4. 推論2と仮定1から、推論3: "その松阪牛は届き難いがしかし掃除し易くない"が導かれる
5. 推論3から、推論4: "「届き難いけど掃除し易くない」ものはある"が導かれる
6. 推論4と事実10から、推論5: "そのＩＰ電話サービスは変わり始める"が導かれる
7. 推論5と事実4から、推論6: "この四十八願は成り易い"が導かれる
8. 推論6と事実9から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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