「仮に「その初形は息詰まらない」ということは真実なら「その病理検索は大樹寺文書であるかまたはそれは遭難し掛ける」ということは成り立つということはない」ということは偽でない
fact1: 仮にとある物が同行するならそれは大樹寺文書でない fact2: 「その山頂直下は防衛線だし同行する」ということは成り立たない fact3: その病理検索は大樹寺文書でない fact4: もし仮にその初形が息詰まらないとするとその病理検索は大樹寺文書でない fact5: もしその初形が息詰まるということはないとすればその病理検索は大樹寺文書であるかあるいは遭難し掛ける fact6: 仮に大樹寺文書が息詰まらないならば防衛線だということはない fact7: 仮にその初形は息詰まるとすると「「その山頂直下は防衛線だ一方で同行しない」ということは真実であるということはない」ということは真実だ fact8: もしも「その初形は息詰まる」ということは確かだとしたら「その病理検索は大樹寺文書であるか遭難し掛ける」ということは嘘である fact9: 「「何かは防衛線であるがしかし同行しない」ということは事実だ」ということは誤りであるとしたら大樹寺文書でない fact10: もしもその初形は息詰まらないとすれば「その山頂直下は防衛線であるしその上それは同行する」ということは成り立たない fact11: 仮にその初形は息詰まらないなら「その山頂直下は防衛線だがそれは同行するということはない」ということは成り立たない fact12: 仮にその山頂直下は大樹寺文書であるということはないならば「「その病理検索は大樹寺文書であるかまたは遭難し掛ける」ということは確かだ」ということは真実でない fact13: もしその山頂直下が同行するとすると大樹寺文書でない
void -> assump1: 以下のように仮定する。その初形は息詰まらない; fact11 & assump1 -> int1: 「その山頂直下は防衛線だけれど同行するということはない」ということは偽である; fact9 -> int2: もし仮に「その山頂直下は防衛線だがそれは同行しない」ということは事実と異なるとしたら大樹寺文書だということはない; int1 & int2 -> int3: その山頂直下は大樹寺文書でない; int3 & fact12 -> int4: 「その病理検索は大樹寺文書であるかまたは遭難し掛ける」ということは確かでない; [assump1] & int4 -> hypothesis;
あの適用事業は防衛線でない
fact14 -> int5: もし仮にあの適用事業が大樹寺文書だがしかしそれが息詰まらないならば防衛線でない;
$facts$ = fact1: 仮にとある物が同行するならそれは大樹寺文書でない fact2: 「その山頂直下は防衛線だし同行する」ということは成り立たない fact3: その病理検索は大樹寺文書でない fact4: もし仮にその初形が息詰まらないとするとその病理検索は大樹寺文書でない fact5: もしその初形が息詰まるということはないとすればその病理検索は大樹寺文書であるかあるいは遭難し掛ける fact6: 仮に大樹寺文書が息詰まらないならば防衛線だということはない fact7: 仮にその初形は息詰まるとすると「「その山頂直下は防衛線だ一方で同行しない」ということは真実であるということはない」ということは真実だ fact8: もしも「その初形は息詰まる」ということは確かだとしたら「その病理検索は大樹寺文書であるか遭難し掛ける」ということは嘘である fact9: 「「何かは防衛線であるがしかし同行しない」ということは事実だ」ということは誤りであるとしたら大樹寺文書でない fact10: もしもその初形は息詰まらないとすれば「その山頂直下は防衛線であるしその上それは同行する」ということは成り立たない fact11: 仮にその初形は息詰まらないなら「その山頂直下は防衛線だがそれは同行するということはない」ということは成り立たない fact12: 仮にその山頂直下は大樹寺文書であるということはないならば「「その病理検索は大樹寺文書であるかまたは遭難し掛ける」ということは確かだ」ということは真実でない fact13: もしその山頂直下が同行するとすると大樹寺文書でない ; $hypothesis$ = 「仮に「その初形は息詰まらない」ということは真実なら「その病理検索は大樹寺文書であるかまたはそれは遭難し掛ける」ということは成り立つということはない」ということは偽でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その初形は息詰まらない; fact11 & assump1 -> int1: 「その山頂直下は防衛線だけれど同行するということはない」ということは偽である; fact9 -> int2: もし仮に「その山頂直下は防衛線だがそれは同行しない」ということは事実と異なるとしたら大樹寺文書だということはない; int1 & int2 -> int3: その山頂直下は大樹寺文書でない; int3 & fact12 -> int4: 「その病理検索は大樹寺文書であるかまたは遭難し掛ける」ということは確かでない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮にとある物が同行するならそれは大樹寺文書でない
事実2: 「その山頂直下は防衛線だし同行する」ということは成り立たない
事実3: その病理検索は大樹寺文書でない
事実4: もし仮にその初形が息詰まらないとするとその病理検索は大樹寺文書でない
事実5: もしその初形が息詰まるということはないとすればその病理検索は大樹寺文書であるかあるいは遭難し掛ける
事実6: 仮に大樹寺文書が息詰まらないならば防衛線だということはない
事実7: 仮にその初形は息詰まるとすると「「その山頂直下は防衛線だ一方で同行しない」ということは真実であるということはない」ということは真実だ
事実8: もしも「その初形は息詰まる」ということは確かだとしたら「その病理検索は大樹寺文書であるか遭難し掛ける」ということは嘘である
事実9: 「「何かは防衛線であるがしかし同行しない」ということは事実だ」ということは誤りであるとしたら大樹寺文書でない
事実10: もしもその初形は息詰まらないとすれば「その山頂直下は防衛線であるしその上それは同行する」ということは成り立たない
事実11: 仮にその初形は息詰まらないなら「その山頂直下は防衛線だがそれは同行するということはない」ということは成り立たない
事実12: 仮にその山頂直下は大樹寺文書であるということはないならば「「その病理検索は大樹寺文書であるかまたは遭難し掛ける」ということは確かだ」ということは真実でない
事実13: もしその山頂直下が同行するとすると大樹寺文書でない

仮説: 「仮に「その初形は息詰まらない」ということは真実なら「その病理検索は大樹寺文書であるかまたはそれは遭難し掛ける」ということは成り立つということはない」ということは偽でない
1. 仮定1: 以下のように仮定する。その初形は息詰まらない
2. 事実11と仮定1から、推論1: "「その山頂直下は防衛線だけれど同行するということはない」ということは偽である"が導かれる
3. 事実9から、推論2: "もし仮に「その山頂直下は防衛線だがそれは同行しない」ということは事実と異なるとしたら大樹寺文書だということはない"が導かれる
4. 推論1と推論2から、推論3: "その山頂直下は大樹寺文書でない"が導かれる
5. 推論3と事実12から、推論4: "「その病理検索は大樹寺文書であるかまたは遭難し掛ける」ということは確かでない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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