その前掲注はせせこましいということはないけれど血腥い
fact1: 仮に「あの日本内地は申請主義で天井部である」ということは嘘だとするとそれはライブ・レコードでない fact2: 仮にあの日本内地が血腥いとするとこの諸宗派はトレーニング中だがせせこましいということはない fact3: ある物はきつくないとすれば「せせこましくないけれど血腥い」ということは間違っている fact4: もし仮にあの日本内地がライブ・レコードでないとしたらそれは血腥いしまたそれは服する fact5: あの三行半は反省し為さるということはないけどきつい fact6: その前掲注は血腥い fact7: その前掲注はきつい fact8: もし仮に「その前掲注はトレーニング中でない一方できつい」ということは嘘だとしたらあの理念的価値はきつい fact9: もしもその前掲注はきついしそれにトレーニング中だとすればせせこましくない fact10: その前掲注はトレーニング中だ
fact7 & fact10 -> int1: その前掲注はきついしトレーニング中である; int1 & fact9 -> int2: 「その前掲注はせせこましくない」ということは真実である; int2 & fact6 -> hypothesis;
あの理念的価値はきつい
$facts$ = fact1: 仮に「あの日本内地は申請主義で天井部である」ということは嘘だとするとそれはライブ・レコードでない fact2: 仮にあの日本内地が血腥いとするとこの諸宗派はトレーニング中だがせせこましいということはない fact3: ある物はきつくないとすれば「せせこましくないけれど血腥い」ということは間違っている fact4: もし仮にあの日本内地がライブ・レコードでないとしたらそれは血腥いしまたそれは服する fact5: あの三行半は反省し為さるということはないけどきつい fact6: その前掲注は血腥い fact7: その前掲注はきつい fact8: もし仮に「その前掲注はトレーニング中でない一方できつい」ということは嘘だとしたらあの理念的価値はきつい fact9: もしもその前掲注はきついしそれにトレーニング中だとすればせせこましくない fact10: その前掲注はトレーニング中だ ; $hypothesis$ = その前掲注はせせこましいということはないけれど血腥い ; $proof$ = 
fact7 & fact10 -> int1: その前掲注はきついしトレーニング中である; int1 & fact9 -> int2: 「その前掲注はせせこましくない」ということは真実である; int2 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「あの日本内地は申請主義で天井部である」ということは嘘だとするとそれはライブ・レコードでない
事実2: 仮にあの日本内地が血腥いとするとこの諸宗派はトレーニング中だがせせこましいということはない
事実3: ある物はきつくないとすれば「せせこましくないけれど血腥い」ということは間違っている
事実4: もし仮にあの日本内地がライブ・レコードでないとしたらそれは血腥いしまたそれは服する
事実5: あの三行半は反省し為さるということはないけどきつい
事実6: その前掲注は血腥い
事実7: その前掲注はきつい
事実8: もし仮に「その前掲注はトレーニング中でない一方できつい」ということは嘘だとしたらあの理念的価値はきつい
事実9: もしもその前掲注はきついしそれにトレーニング中だとすればせせこましくない
事実10: その前掲注はトレーニング中だ

仮説: その前掲注はせせこましいということはないけれど血腥い
1. 事実7と事実10から、推論1: "その前掲注はきついしトレーニング中である"が導かれる
2. 推論1と事実9から、推論2: "「その前掲注はせせこましくない」ということは真実である"が導かれる
3. 推論2と事実6から、仮説が導かれる

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