あの消費者金融会社はちぎれ易い
fact1: もしもこの任意積立金は聞き辛いならば「あの長沼事件は聞き辛いがしかし手洗い場でない」ということは偽だ fact2: 手洗い場は聞き辛いけど入力方法だということはない fact3: もしこの任意積立金は険しいとしたら「それはホテルユビレイナヤ宿泊でないけど落ち行く」ということは事実と異なる fact4: 「この任意積立金は聞き辛くて更に入力方法である」ということは本当だ fact5: 「「なにがしかのものは聞き辛いがそれは手洗い場でない」ということは事実だ」ということは事実と異なるとしたら夭折しない fact6: もし何かは薄汚くないなら「それが夭折しないしさらに煉瓦作りでない」ということは間違いである fact7: あの長沼事件は夭折しないとすれば「この主力戦車は夭折するけど煉瓦作りでない」ということは成り立つということはない fact8: 「何かは夭折するがしかしそれは煉瓦作りでない」ということは誤りであるとするとそれは薄汚くない fact9: この任意積立金は険しい fact10: 聞き辛い物はちぎれ易い fact11: もし仮に「この主力戦車は落ち行くしホテルユビレイナヤ宿泊である」ということは成り立たないとするとあの消費者金融会社はちぎれ易くない fact12: 仮に「この任意積立金はホテルユビレイナヤ宿泊でないが落ち行く」ということは事実でないとするとそれは薄汚くない fact13: あるものは薄汚いということはないとすると「落ち行くしさらにホテルユビレイナヤ宿泊である」ということは成り立たない
fact4 -> int1: この任意積立金は聞き辛い; int1 & fact1 -> int2: 「あの長沼事件は聞き辛いけれど手洗い場でない」ということは間違っている; fact5 -> int3: 「あの長沼事件は聞き辛いけれど手洗い場でない」ということは成り立たないならば夭折しない; int2 & int3 -> int4: あの長沼事件は夭折しない; int4 & fact7 -> int5: 「この主力戦車は夭折するけど煉瓦作りでない」ということは成り立たない; fact8 -> int6: 仮に「この主力戦車は夭折するが煉瓦作りであるということはない」ということは間違っているとすると薄汚くない; int5 & int6 -> int7: この主力戦車は薄汚いということはない; fact13 -> int8: もしこの主力戦車は薄汚くないとすると「落ち行くしホテルユビレイナヤ宿泊だ」ということは偽だ; int7 & int8 -> int9: 「この主力戦車は落ち行くしホテルユビレイナヤ宿泊である」ということは成り立つということはない; int9 & fact11 -> hypothesis;
あの消費者金融会社はちぎれ易い
fact18 -> int10: 仮にあの消費者金融会社が聞き辛いとするとそれはちぎれ易い; fact15 -> int11: もしあの消費者金融会社が手洗い場ならばそれは聞き辛いしそれにそれは入力方法でない; fact14 -> int12: もしも「この任意積立金は薄汚くない」ということは確かだとすれば「それは夭折しないし煉瓦作りでない」ということは誤っている; fact17 & fact16 -> int13: 「「この任意積立金はホテルユビレイナヤ宿泊でない一方で落ち行く」ということは成り立つ」ということは間違いである; fact19 & int13 -> int14: この任意積立金は薄汚くない; int12 & int14 -> int15: 「この任意積立金は夭折しないししかもそれは煉瓦作りでない」ということは誤りだ; int15 -> int16: 「「夭折するということはないしそれに煉瓦作りでない」ということは誤っている」物はある;
$facts$ = fact1: もしもこの任意積立金は聞き辛いならば「あの長沼事件は聞き辛いがしかし手洗い場でない」ということは偽だ fact2: 手洗い場は聞き辛いけど入力方法だということはない fact3: もしこの任意積立金は険しいとしたら「それはホテルユビレイナヤ宿泊でないけど落ち行く」ということは事実と異なる fact4: 「この任意積立金は聞き辛くて更に入力方法である」ということは本当だ fact5: 「「なにがしかのものは聞き辛いがそれは手洗い場でない」ということは事実だ」ということは事実と異なるとしたら夭折しない fact6: もし何かは薄汚くないなら「それが夭折しないしさらに煉瓦作りでない」ということは間違いである fact7: あの長沼事件は夭折しないとすれば「この主力戦車は夭折するけど煉瓦作りでない」ということは成り立つということはない fact8: 「何かは夭折するがしかしそれは煉瓦作りでない」ということは誤りであるとするとそれは薄汚くない fact9: この任意積立金は険しい fact10: 聞き辛い物はちぎれ易い fact11: もし仮に「この主力戦車は落ち行くしホテルユビレイナヤ宿泊である」ということは成り立たないとするとあの消費者金融会社はちぎれ易くない fact12: 仮に「この任意積立金はホテルユビレイナヤ宿泊でないが落ち行く」ということは事実でないとするとそれは薄汚くない fact13: あるものは薄汚いということはないとすると「落ち行くしさらにホテルユビレイナヤ宿泊である」ということは成り立たない ; $hypothesis$ = あの消費者金融会社はちぎれ易い ; $proof$ = 
fact4 -> int1: この任意積立金は聞き辛い; int1 & fact1 -> int2: 「あの長沼事件は聞き辛いけれど手洗い場でない」ということは間違っている; fact5 -> int3: 「あの長沼事件は聞き辛いけれど手洗い場でない」ということは成り立たないならば夭折しない; int2 & int3 -> int4: あの長沼事件は夭折しない; int4 & fact7 -> int5: 「この主力戦車は夭折するけど煉瓦作りでない」ということは成り立たない; fact8 -> int6: 仮に「この主力戦車は夭折するが煉瓦作りであるということはない」ということは間違っているとすると薄汚くない; int5 & int6 -> int7: この主力戦車は薄汚いということはない; fact13 -> int8: もしこの主力戦車は薄汚くないとすると「落ち行くしホテルユビレイナヤ宿泊だ」ということは偽だ; int7 & int8 -> int9: 「この主力戦車は落ち行くしホテルユビレイナヤ宿泊である」ということは成り立つということはない; int9 & fact11 -> hypothesis; __DISPROVED__
事実1: もしもこの任意積立金は聞き辛いならば「あの長沼事件は聞き辛いがしかし手洗い場でない」ということは偽だ
事実2: 手洗い場は聞き辛いけど入力方法だということはない
事実3: もしこの任意積立金は険しいとしたら「それはホテルユビレイナヤ宿泊でないけど落ち行く」ということは事実と異なる
事実4: 「この任意積立金は聞き辛くて更に入力方法である」ということは本当だ
事実5: 「「なにがしかのものは聞き辛いがそれは手洗い場でない」ということは事実だ」ということは事実と異なるとしたら夭折しない
事実6: もし何かは薄汚くないなら「それが夭折しないしさらに煉瓦作りでない」ということは間違いである
事実7: あの長沼事件は夭折しないとすれば「この主力戦車は夭折するけど煉瓦作りでない」ということは成り立つということはない
事実8: 「何かは夭折するがしかしそれは煉瓦作りでない」ということは誤りであるとするとそれは薄汚くない
事実9: この任意積立金は険しい
事実10: 聞き辛い物はちぎれ易い
事実11: もし仮に「この主力戦車は落ち行くしホテルユビレイナヤ宿泊である」ということは成り立たないとするとあの消費者金融会社はちぎれ易くない
事実12: 仮に「この任意積立金はホテルユビレイナヤ宿泊でないが落ち行く」ということは事実でないとするとそれは薄汚くない
事実13: あるものは薄汚いということはないとすると「落ち行くしさらにホテルユビレイナヤ宿泊である」ということは成り立たない

仮説: あの消費者金融会社はちぎれ易い
1. 事実4から、推論1: "この任意積立金は聞き辛い"が導かれる
2. 推論1と事実1から、推論2: "「あの長沼事件は聞き辛いけれど手洗い場でない」ということは間違っている"が導かれる
3. 事実5から、推論3: "「あの長沼事件は聞き辛いけれど手洗い場でない」ということは成り立たないならば夭折しない"が導かれる
4. 推論2と推論3から、推論4: "あの長沼事件は夭折しない"が導かれる
5. 推論4と事実7から、推論5: "「この主力戦車は夭折するけど煉瓦作りでない」ということは成り立たない"が導かれる
6. 事実8から、推論6: "仮に「この主力戦車は夭折するが煉瓦作りであるということはない」ということは間違っているとすると薄汚くない"が導かれる
7. 推論5と推論6から、推論7: "この主力戦車は薄汚いということはない"が導かれる
8. 事実13から、推論8: "もしこの主力戦車は薄汚くないとすると「落ち行くしホテルユビレイナヤ宿泊だ」ということは偽だ"が導かれる
9. 推論7と推論8から、推論9: "「この主力戦車は落ち行くしホテルユビレイナヤ宿泊である」ということは成り立つということはない"が導かれる
10. 推論9と事実11から、仮説が否定される

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