「この剥離面は蕩尽する」ということは事実だ
fact1: 何らかの物は活用すらないかそれは外部性である fact2: この剥離面は疾しということはない fact3: もし仮にとあるものが活用すということはないか外部性であるかあるいは両方であるならばこの剥離面は降り始める fact4: もし仮に不介入は疾しとすれば「蕩尽する」ということは成り立たない fact5: 不介入が疾しないならば蕩尽しない fact6: もし仮に悪戯っぽいものが長ーくないとしたら干し上げない fact7: もし仮にとある物が降り始めるとすれば疾しない fact8: もし仮になんらかの物が降り始めればそれは不介入であるがしかし疾しということはない
fact1 & fact3 -> int1: この剥離面は降り始める; fact8 -> int2: もし仮にこの剥離面が降り始めればそれは不介入であるけれど疾しということはない; int1 & int2 -> int3: この剥離面は不介入である一方で疾しない; fact5 -> int4: 「もし仮にこの剥離面が不介入であるがしかし疾しないとするとこの剥離面は蕩尽しない」ということは成り立つ; int3 & int4 -> hypothesis;
もしもその給付日数が悪戯っぽいけれどそれが長ーいということはないとしたらそれは干し上げない
fact9 -> hypothesis;
$facts$ = fact1: 何らかの物は活用すらないかそれは外部性である fact2: この剥離面は疾しということはない fact3: もし仮にとあるものが活用すということはないか外部性であるかあるいは両方であるならばこの剥離面は降り始める fact4: もし仮に不介入は疾しとすれば「蕩尽する」ということは成り立たない fact5: 不介入が疾しないならば蕩尽しない fact6: もし仮に悪戯っぽいものが長ーくないとしたら干し上げない fact7: もし仮にとある物が降り始めるとすれば疾しない fact8: もし仮になんらかの物が降り始めればそれは不介入であるがしかし疾しということはない ; $hypothesis$ = 「この剥離面は蕩尽する」ということは事実だ ; $proof$ = 
fact1 & fact3 -> int1: この剥離面は降り始める; fact8 -> int2: もし仮にこの剥離面が降り始めればそれは不介入であるけれど疾しということはない; int1 & int2 -> int3: この剥離面は不介入である一方で疾しない; fact5 -> int4: 「もし仮にこの剥離面が不介入であるがしかし疾しないとするとこの剥離面は蕩尽しない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 何らかの物は活用すらないかそれは外部性である
事実2: この剥離面は疾しということはない
事実3: もし仮にとあるものが活用すということはないか外部性であるかあるいは両方であるならばこの剥離面は降り始める
事実4: もし仮に不介入は疾しとすれば「蕩尽する」ということは成り立たない
事実5: 不介入が疾しないならば蕩尽しない
事実6: もし仮に悪戯っぽいものが長ーくないとしたら干し上げない
事実7: もし仮にとある物が降り始めるとすれば疾しない
事実8: もし仮になんらかの物が降り始めればそれは不介入であるがしかし疾しということはない

仮説: 「この剥離面は蕩尽する」ということは事実だ
1. 事実1と事実3から、推論1: "この剥離面は降り始める"が導かれる
2. 事実8から、推論2: "もし仮にこの剥離面が降り始めればそれは不介入であるけれど疾しということはない"が導かれる
3. 推論1と推論2から、推論3: "この剥離面は不介入である一方で疾しない"が導かれる
4. 事実5から、推論4: "「もし仮にこの剥離面が不介入であるがしかし疾しないとするとこの剥離面は蕩尽しない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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