あの頬髭は事業債権でない
fact1: 仮にとあるものが利用制限でないならそれは独立出来るということはないしかつそれは巻き戻さない fact2: あの頬髭は巻き戻す fact3: 何らかの物が満載しないとすればそれは利用制限でなくて応ずない fact4: もし仮にあの頬髭は沸点でないならそれは巻き戻すということはない fact5: 「あの頬髭は調べ易くないけれど沸点だ」ということは事実と異なれば巻き戻さない fact6: なにかは独立出来るとすればそれは事業債権であるがしかし巻き戻さない fact7: この期間経過後は巻き戻す fact8: もしもあの頬髭は調べ易くない一方で沸点なら事業債権である fact9: あの頬髭は沸点だ fact10: 事業債権は沸点だ
void -> assump1: 以下のように仮定する。「あの頬髭は調べ易くないがしかしそれは沸点だ」ということは成り立たない; fact5 & assump1 -> int1: あの頬髭は巻き戻さない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの頬髭は調べ易くないが沸点である; int3 & fact8 -> hypothesis;
「あの頬髭は事業債権でない」ということは本当だ
fact12 -> int4: あの頬髭が利用制限でないとしたらそれは独立出来ないしまたそれは巻き戻さない; fact11 -> int5: もし仮にこの急流が満載しないとすればそれは利用制限でなくて応ずない;
$facts$ = fact1: 仮にとあるものが利用制限でないならそれは独立出来るということはないしかつそれは巻き戻さない fact2: あの頬髭は巻き戻す fact3: 何らかの物が満載しないとすればそれは利用制限でなくて応ずない fact4: もし仮にあの頬髭は沸点でないならそれは巻き戻すということはない fact5: 「あの頬髭は調べ易くないけれど沸点だ」ということは事実と異なれば巻き戻さない fact6: なにかは独立出来るとすればそれは事業債権であるがしかし巻き戻さない fact7: この期間経過後は巻き戻す fact8: もしもあの頬髭は調べ易くない一方で沸点なら事業債権である fact9: あの頬髭は沸点だ fact10: 事業債権は沸点だ ; $hypothesis$ = あの頬髭は事業債権でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの頬髭は調べ易くないがしかしそれは沸点だ」ということは成り立たない; fact5 & assump1 -> int1: あの頬髭は巻き戻さない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの頬髭は調べ易くないが沸点である; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものが利用制限でないならそれは独立出来るということはないしかつそれは巻き戻さない
事実2: あの頬髭は巻き戻す
事実3: 何らかの物が満載しないとすればそれは利用制限でなくて応ずない
事実4: もし仮にあの頬髭は沸点でないならそれは巻き戻すということはない
事実5: 「あの頬髭は調べ易くないけれど沸点だ」ということは事実と異なれば巻き戻さない
事実6: なにかは独立出来るとすればそれは事業債権であるがしかし巻き戻さない
事実7: この期間経過後は巻き戻す
事実8: もしもあの頬髭は調べ易くない一方で沸点なら事業債権である
事実9: あの頬髭は沸点だ
事実10: 事業債権は沸点だ

仮説: あの頬髭は事業債権でない
1. 仮定1: 以下のように仮定する。「あの頬髭は調べ易くないがしかしそれは沸点だ」ということは成り立たない
2. 事実5と仮定1から、推論1: "あの頬髭は巻き戻さない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの頬髭は調べ易くないが沸点である"が導かれる
5. 推論3と事実8から、仮説が否定される

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