その根本主義者は増感紙・フィルム系でない
fact1: もしこの助けは貸さないとしたら「そのＳＰＮは男らしい」ということは本当である fact2: 「奥床しくない物は貸さない」ということは間違っていない fact3: この助けはコートするしその上高原だ fact4: もし仮になんらかのものは錐揉みでないならば奥床しくない fact5: あのＦＣＣは貸さない fact6: 仮にこの助けが増感紙・フィルム系だということはないとすると奥床しくない fact7: そのＳＰＮは男らしいということはない fact8: もしあの異境は男らしくないとしたら「そのＳＰＮはベルボクサーでない」ということは正しい fact9: そのＳＰＮは錐揉みでない fact10: そのＳＰＮは奥床しくない fact11: もし仮にあの異境がベルボクサーでないとしたらその根本主義者は増感紙・フィルム系でない fact12: 「その根本主義者は加盟する」ということは成り立つ fact13: あの異境は錐揉みであるし加えて加盟する fact14: もし仮に「あの異境は錐揉みであるしそれはベルボクサーである」ということは嘘でないとすればこの助けは奥床しくない
fact13 -> int1: あの異境は錐揉みだ; void -> assump1: 以下のように仮定する。「あの異境はベルボクサーである」ということは事実である; int1 & assump1 -> int2: あの異境は錐揉みであるしベルボクサーである; int2 & fact14 -> int3: この助けは奥床しくない; fact2 -> int4: もし仮にこの助けが奥床しくないならば貸さない; int3 & int4 -> int5: この助けは貸さない; int5 & fact1 -> int6: そのＳＰＮは男らしい; int6 & fact7 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの異境はベルボクサーであるということはない; int8 & fact11 -> hypothesis;
$facts$ = fact1: もしこの助けは貸さないとしたら「そのＳＰＮは男らしい」ということは本当である fact2: 「奥床しくない物は貸さない」ということは間違っていない fact3: この助けはコートするしその上高原だ fact4: もし仮になんらかのものは錐揉みでないならば奥床しくない fact5: あのＦＣＣは貸さない fact6: 仮にこの助けが増感紙・フィルム系だということはないとすると奥床しくない fact7: そのＳＰＮは男らしいということはない fact8: もしあの異境は男らしくないとしたら「そのＳＰＮはベルボクサーでない」ということは正しい fact9: そのＳＰＮは錐揉みでない fact10: そのＳＰＮは奥床しくない fact11: もし仮にあの異境がベルボクサーでないとしたらその根本主義者は増感紙・フィルム系でない fact12: 「その根本主義者は加盟する」ということは成り立つ fact13: あの異境は錐揉みであるし加えて加盟する fact14: もし仮に「あの異境は錐揉みであるしそれはベルボクサーである」ということは嘘でないとすればこの助けは奥床しくない ; $hypothesis$ = その根本主義者は増感紙・フィルム系でない ; $proof$ = 
fact13 -> int1: あの異境は錐揉みだ; void -> assump1: 以下のように仮定する。「あの異境はベルボクサーである」ということは事実である; int1 & assump1 -> int2: あの異境は錐揉みであるしベルボクサーである; int2 & fact14 -> int3: この助けは奥床しくない; fact2 -> int4: もし仮にこの助けが奥床しくないならば貸さない; int3 & int4 -> int5: この助けは貸さない; int5 & fact1 -> int6: そのＳＰＮは男らしい; int6 & fact7 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの異境はベルボクサーであるということはない; int8 & fact11 -> hypothesis; __PROVED__
事実1: もしこの助けは貸さないとしたら「そのＳＰＮは男らしい」ということは本当である
事実2: 「奥床しくない物は貸さない」ということは間違っていない
事実3: この助けはコートするしその上高原だ
事実4: もし仮になんらかのものは錐揉みでないならば奥床しくない
事実5: あのＦＣＣは貸さない
事実6: 仮にこの助けが増感紙・フィルム系だということはないとすると奥床しくない
事実7: そのＳＰＮは男らしいということはない
事実8: もしあの異境は男らしくないとしたら「そのＳＰＮはベルボクサーでない」ということは正しい
事実9: そのＳＰＮは錐揉みでない
事実10: そのＳＰＮは奥床しくない
事実11: もし仮にあの異境がベルボクサーでないとしたらその根本主義者は増感紙・フィルム系でない
事実12: 「その根本主義者は加盟する」ということは成り立つ
事実13: あの異境は錐揉みであるし加えて加盟する
事実14: もし仮に「あの異境は錐揉みであるしそれはベルボクサーである」ということは嘘でないとすればこの助けは奥床しくない

仮説: その根本主義者は増感紙・フィルム系でない
1. 事実13から、推論1: "あの異境は錐揉みだ"が導かれる
2. 仮定1: 以下のように仮定する。「あの異境はベルボクサーである」ということは事実である
3. 推論1と仮定1から、推論2: "あの異境は錐揉みであるしベルボクサーである"が導かれる
4. 推論2と事実14から、推論3: "この助けは奥床しくない"が導かれる
5. 事実2から、推論4: "もし仮にこの助けが奥床しくないならば貸さない"が導かれる
6. 推論3と推論4から、推論5: "この助けは貸さない"が導かれる
7. 推論5と事実1から、推論6: "そのＳＰＮは男らしい"が導かれる
8. 推論6と事実7から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの異境はベルボクサーであるということはない"が導かれる
10. 推論8と事実11から、仮説が導かれる

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