この背凭れは椀種でない
fact1: 仮に「生産基地でない」物はあるとすれば「あのクラフトマンは切り離し難いしその上生産基地である」ということは間違いだ fact2: 仮に「あのクラフトマンは切り離し難いしその上生産基地である」ということは事実でないならその新合繊は辿り始めない fact3: この背凭れは立法化するということはない fact4: 「その新合繊は危うしない」ということは事実である fact5: もし仮にこの背凭れが危うしとしたらその新合繊は椀種である fact6: この背凭れは危うしない fact7: もしこの背凭れが椀種であるならばその新合繊は危うし fact8: その新合繊は椀種である fact9: その法力は危うし fact10: もしその新合繊が辿り始めないならこの背凭れは椀種であるしおまけに危うし
void -> assump1: 以下のように仮定する。この背凭れは椀種である; fact7 & assump1 -> int1: その新合繊は危うし; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
この背凭れは椀種だ
$facts$ = fact1: 仮に「生産基地でない」物はあるとすれば「あのクラフトマンは切り離し難いしその上生産基地である」ということは間違いだ fact2: 仮に「あのクラフトマンは切り離し難いしその上生産基地である」ということは事実でないならその新合繊は辿り始めない fact3: この背凭れは立法化するということはない fact4: 「その新合繊は危うしない」ということは事実である fact5: もし仮にこの背凭れが危うしとしたらその新合繊は椀種である fact6: この背凭れは危うしない fact7: もしこの背凭れが椀種であるならばその新合繊は危うし fact8: その新合繊は椀種である fact9: その法力は危うし fact10: もしその新合繊が辿り始めないならこの背凭れは椀種であるしおまけに危うし ; $hypothesis$ = この背凭れは椀種でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この背凭れは椀種である; fact7 & assump1 -> int1: その新合繊は危うし; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮に「生産基地でない」物はあるとすれば「あのクラフトマンは切り離し難いしその上生産基地である」ということは間違いだ
事実2: 仮に「あのクラフトマンは切り離し難いしその上生産基地である」ということは事実でないならその新合繊は辿り始めない
事実3: この背凭れは立法化するということはない
事実4: 「その新合繊は危うしない」ということは事実である
事実5: もし仮にこの背凭れが危うしとしたらその新合繊は椀種である
事実6: この背凭れは危うしない
事実7: もしこの背凭れが椀種であるならばその新合繊は危うし
事実8: その新合繊は椀種である
事実9: その法力は危うし
事実10: もしその新合繊が辿り始めないならこの背凭れは椀種であるしおまけに危うし

仮説: この背凭れは椀種でない
1. 仮定1: 以下のように仮定する。この背凭れは椀種である
2. 事実7と仮定1から、推論1: "その新合繊は危うし"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。