もし仮に「その跡目は統合保育である」ということは成り立てばその言文一致は平沼等でないししかも鋭くない
fact1: もしもその跡目は忝くないなら「その言文一致は平沼等でない」ということは真実である fact2: その跡目は踏み倒す fact3: もしなにがしかのものは踏み倒すしそれに統合保育であるならばそれは移行し易くない fact4: もしその跡目が忝くないならその言文一致は平沼等だ fact5: もし忝くないものは平沼等でないとすると通報する fact6: もしも「その跡目は通報するということはない」ということは事実であるとするとその言文一致は平沼等でない fact7: もしもとある物が踏み倒せばそれは細かくないかまたは統合保育でない fact8: その言文一致は鋭くなくてまたそれはとろ臭いということはない fact9: 仮にその跡目は移行し易くないとしたらそれは忝くないかもしくは通報しないかどちらもである fact10: 「その跡目は通報する」ということは真実であるとすればあの隙間風は移行し易い fact11: その言文一致はとろ臭くない
void -> assump1: 以下のように仮定する。その跡目は統合保育である; fact2 & assump1 -> int1: その跡目は踏み倒すしまた統合保育である; fact3 -> int2: もしもその跡目が踏み倒すしそれにそれが統合保育だとすればそれは移行し易くない; int1 & int2 -> int3: その跡目は移行し易くない; int3 & fact9 -> int4: その跡目は忝いということはないかあるいは通報しないかもしくは両方ともだ; int4 & fact1 & fact6 -> int5: その言文一致は平沼等でない; fact8 -> int6: その言文一致は鋭くない; int5 & int6 -> int7: その言文一致は平沼等でないしまた鋭くない; [assump1] & int7 -> hypothesis;
あの隙間風は細かくないかもしくはそれは統合保育でないか両方である
fact12 -> int8: もし仮にあの隙間風が踏み倒すとしたら細かくないかそれは統合保育でないかあるいはどちらもだ; fact14 -> int9: もしその跡目が忝くないしさらに平沼等でないとすれば通報する;
$facts$ = fact1: もしもその跡目は忝くないなら「その言文一致は平沼等でない」ということは真実である fact2: その跡目は踏み倒す fact3: もしなにがしかのものは踏み倒すしそれに統合保育であるならばそれは移行し易くない fact4: もしその跡目が忝くないならその言文一致は平沼等だ fact5: もし忝くないものは平沼等でないとすると通報する fact6: もしも「その跡目は通報するということはない」ということは事実であるとするとその言文一致は平沼等でない fact7: もしもとある物が踏み倒せばそれは細かくないかまたは統合保育でない fact8: その言文一致は鋭くなくてまたそれはとろ臭いということはない fact9: 仮にその跡目は移行し易くないとしたらそれは忝くないかもしくは通報しないかどちらもである fact10: 「その跡目は通報する」ということは真実であるとすればあの隙間風は移行し易い fact11: その言文一致はとろ臭くない ; $hypothesis$ = もし仮に「その跡目は統合保育である」ということは成り立てばその言文一致は平沼等でないししかも鋭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その跡目は統合保育である; fact2 & assump1 -> int1: その跡目は踏み倒すしまた統合保育である; fact3 -> int2: もしもその跡目が踏み倒すしそれにそれが統合保育だとすればそれは移行し易くない; int1 & int2 -> int3: その跡目は移行し易くない; int3 & fact9 -> int4: その跡目は忝いということはないかあるいは通報しないかもしくは両方ともだ; int4 & fact1 & fact6 -> int5: その言文一致は平沼等でない; fact8 -> int6: その言文一致は鋭くない; int5 & int6 -> int7: その言文一致は平沼等でないしまた鋭くない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもその跡目は忝くないなら「その言文一致は平沼等でない」ということは真実である
事実2: その跡目は踏み倒す
事実3: もしなにがしかのものは踏み倒すしそれに統合保育であるならばそれは移行し易くない
事実4: もしその跡目が忝くないならその言文一致は平沼等だ
事実5: もし忝くないものは平沼等でないとすると通報する
事実6: もしも「その跡目は通報するということはない」ということは事実であるとするとその言文一致は平沼等でない
事実7: もしもとある物が踏み倒せばそれは細かくないかまたは統合保育でない
事実8: その言文一致は鋭くなくてまたそれはとろ臭いということはない
事実9: 仮にその跡目は移行し易くないとしたらそれは忝くないかもしくは通報しないかどちらもである
事実10: 「その跡目は通報する」ということは真実であるとすればあの隙間風は移行し易い
事実11: その言文一致はとろ臭くない

仮説: もし仮に「その跡目は統合保育である」ということは成り立てばその言文一致は平沼等でないししかも鋭くない
1. 仮定1: 以下のように仮定する。その跡目は統合保育である
2. 事実2と仮定1から、推論1: "その跡目は踏み倒すしまた統合保育である"が導かれる
3. 事実3から、推論2: "もしもその跡目が踏み倒すしそれにそれが統合保育だとすればそれは移行し易くない"が導かれる
4. 推論1と推論2から、推論3: "その跡目は移行し易くない"が導かれる
5. 推論3と事実9から、推論4: "その跡目は忝いということはないかあるいは通報しないかもしくは両方ともだ"が導かれる
6. 推論4と事実1と事実6から、推論5: "その言文一致は平沼等でない"が導かれる
7. 事実8から、推論6: "その言文一致は鋭くない"が導かれる
8. 推論5と推論6から、推論7: "その言文一致は平沼等でないしまた鋭くない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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