この常軌は比較検討するかあるいは賃貸借関係でないかまたは両方ともだ
fact1: もしこの二群が選択しないならそれは一様性であるかＴＭＲセンターだ fact2: 「用意しない」ものはある fact3: もしなにがしかのものが一様性であるとすればこの常軌はＴＭＲセンターである fact4: もしも「用意するということはない」物はあれば「この二群は来し易いということはないし一様性でない」ということは正しくない fact5: 「「来し易くないしそれに一様性であるということはない」ということは誤りである」ものがあるとすればこの常軌はＴＭＲセンターである fact6: 仮になにがしかのものはＴＭＲセンターだとすると「比較検討するかもしくは賃貸借関係でない」ということは正しくない fact7: 「「寄る辺でなくて脂ぎるということはない」ということは成り立つということはない」物はある fact8: 「「法学論集でないしさらにプレゼンテーション資料でない」ということは嘘である」ものはある fact9: この二群はＴＭＲセンターだ
fact2 & fact4 -> int1: 「この二群は来し易くないしそれに一様性でない」ということは間違っている; int1 -> int2: 「「来し易くないしその上一様性でない」ということは成り立たない」ものはある; int2 & fact5 -> int3: この常軌はＴＭＲセンターである; fact6 -> int4: 「仮にこの常軌はＴＭＲセンターだとしたら「「この常軌は比較検討するかまたは賃貸借関係でないか両方である」ということは嘘だ」ということは正しい」ということは成り立つ; int3 & int4 -> hypothesis;
「この常軌は比較検討するかあるいは賃貸借関係だということはない」ということは確かである
$facts$ = fact1: もしこの二群が選択しないならそれは一様性であるかＴＭＲセンターだ fact2: 「用意しない」ものはある fact3: もしなにがしかのものが一様性であるとすればこの常軌はＴＭＲセンターである fact4: もしも「用意するということはない」物はあれば「この二群は来し易いということはないし一様性でない」ということは正しくない fact5: 「「来し易くないしそれに一様性であるということはない」ということは誤りである」ものがあるとすればこの常軌はＴＭＲセンターである fact6: 仮になにがしかのものはＴＭＲセンターだとすると「比較検討するかもしくは賃貸借関係でない」ということは正しくない fact7: 「「寄る辺でなくて脂ぎるということはない」ということは成り立つということはない」物はある fact8: 「「法学論集でないしさらにプレゼンテーション資料でない」ということは嘘である」ものはある fact9: この二群はＴＭＲセンターだ ; $hypothesis$ = この常軌は比較検討するかあるいは賃貸借関係でないかまたは両方ともだ ; $proof$ = 
fact2 & fact4 -> int1: 「この二群は来し易くないしそれに一様性でない」ということは間違っている; int1 -> int2: 「「来し易くないしその上一様性でない」ということは成り立たない」ものはある; int2 & fact5 -> int3: この常軌はＴＭＲセンターである; fact6 -> int4: 「仮にこの常軌はＴＭＲセンターだとしたら「「この常軌は比較検討するかまたは賃貸借関係でないか両方である」ということは嘘だ」ということは正しい」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしこの二群が選択しないならそれは一様性であるかＴＭＲセンターだ
事実2: 「用意しない」ものはある
事実3: もしなにがしかのものが一様性であるとすればこの常軌はＴＭＲセンターである
事実4: もしも「用意するということはない」物はあれば「この二群は来し易いということはないし一様性でない」ということは正しくない
事実5: 「「来し易くないしそれに一様性であるということはない」ということは誤りである」ものがあるとすればこの常軌はＴＭＲセンターである
事実6: 仮になにがしかのものはＴＭＲセンターだとすると「比較検討するかもしくは賃貸借関係でない」ということは正しくない
事実7: 「「寄る辺でなくて脂ぎるということはない」ということは成り立つということはない」物はある
事実8: 「「法学論集でないしさらにプレゼンテーション資料でない」ということは嘘である」ものはある
事実9: この二群はＴＭＲセンターだ

仮説: この常軌は比較検討するかあるいは賃貸借関係でないかまたは両方ともだ
1. 事実2と事実4から、推論1: "「この二群は来し易くないしそれに一様性でない」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「来し易くないしその上一様性でない」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実5から、推論3: "この常軌はＴＭＲセンターである"が導かれる
4. 事実6から、推論4: "「仮にこの常軌はＴＭＲセンターだとしたら「「この常軌は比較検討するかまたは賃貸借関係でないか両方である」ということは嘘だ」ということは正しい」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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