仮にあの疎開学童が騒々しいとするとこの群は旅芸人であるかもしくは主導的地位でない
fact1: この群は旅芸人であるかあるいは主導的地位であるかもしくは両方ともだ fact2: もし仮になにがしかの物は十方でないかあるいは目まぐるしかないかもしくは両方ともだとしたら内応するということはない fact3: 仮にあの疎開学童が煮やすとしたらこの群は旅芸人だ fact4: もし仮にあの疎開学童が内応しないとするとそれは初対面でない fact5: もしもあの疎開学童がむず痒いとするとそれは希薄化する fact6: もしもあるものは主導的地位でないなら「それが煮やすしその上それは騒々しくない」ということは成り立たない fact7: もしあの疎開学童が主導的地位であるか初対面であるということはないかもしくは両方ならこの居住区は主導的地位でない fact8: あの疎開学童は旅芸人であるかまたはそれは煮やすということはないか両方ともだ fact9: 仮になんらかの物が希薄化するなら十方でないかあるいはそれは目まぐるしいということはない fact10: 仮にあの疎開学童が騒々しいとすればこの群は旅芸人であるかまたはそれは主導的地位であるかあるいは両方である fact11: もし仮に「あの疎開学童は騒々しい」ということは正しいとすればそれは煮やす fact12: もしも「何らかのものは煮やすけれど騒々しくない」ということは真実でないとすればそれは旅芸人だ
void -> assump1: 以下のように仮定する。あの疎開学童は騒々しい; fact11 & assump1 -> int1: あの疎開学童は煮やす; int1 & fact3 -> int2: この群は旅芸人だ; int2 -> int3: この群は旅芸人であるか主導的地位でないか両方だ; [assump1] & int3 -> hypothesis;
この居住区は旅芸人である
fact15 -> int4: もしも「「この居住区は煮やすが騒々しくない」ということは確かである」ということは事実と異なればそれは旅芸人だ; fact14 -> int5: もしこの居住区は主導的地位であるということはないならば「煮やす一方で騒々しくない」ということは偽である; fact19 -> int6: もし仮にあの疎開学童は十方でないか目まぐるしかないかもしくはどちらもであるならばそれは内応しない; fact17 -> int7: もしもあの疎開学童が希薄化するならそれは十方だということはないかそれは目まぐるしかないかもしくは両方ともだ;
$facts$ = fact1: この群は旅芸人であるかあるいは主導的地位であるかもしくは両方ともだ fact2: もし仮になにがしかの物は十方でないかあるいは目まぐるしかないかもしくは両方ともだとしたら内応するということはない fact3: 仮にあの疎開学童が煮やすとしたらこの群は旅芸人だ fact4: もし仮にあの疎開学童が内応しないとするとそれは初対面でない fact5: もしもあの疎開学童がむず痒いとするとそれは希薄化する fact6: もしもあるものは主導的地位でないなら「それが煮やすしその上それは騒々しくない」ということは成り立たない fact7: もしあの疎開学童が主導的地位であるか初対面であるということはないかもしくは両方ならこの居住区は主導的地位でない fact8: あの疎開学童は旅芸人であるかまたはそれは煮やすということはないか両方ともだ fact9: 仮になんらかの物が希薄化するなら十方でないかあるいはそれは目まぐるしいということはない fact10: 仮にあの疎開学童が騒々しいとすればこの群は旅芸人であるかまたはそれは主導的地位であるかあるいは両方である fact11: もし仮に「あの疎開学童は騒々しい」ということは正しいとすればそれは煮やす fact12: もしも「何らかのものは煮やすけれど騒々しくない」ということは真実でないとすればそれは旅芸人だ ; $hypothesis$ = 仮にあの疎開学童が騒々しいとするとこの群は旅芸人であるかもしくは主導的地位でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの疎開学童は騒々しい; fact11 & assump1 -> int1: あの疎開学童は煮やす; int1 & fact3 -> int2: この群は旅芸人だ; int2 -> int3: この群は旅芸人であるか主導的地位でないか両方だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この群は旅芸人であるかあるいは主導的地位であるかもしくは両方ともだ
事実2: もし仮になにがしかの物は十方でないかあるいは目まぐるしかないかもしくは両方ともだとしたら内応するということはない
事実3: 仮にあの疎開学童が煮やすとしたらこの群は旅芸人だ
事実4: もし仮にあの疎開学童が内応しないとするとそれは初対面でない
事実5: もしもあの疎開学童がむず痒いとするとそれは希薄化する
事実6: もしもあるものは主導的地位でないなら「それが煮やすしその上それは騒々しくない」ということは成り立たない
事実7: もしあの疎開学童が主導的地位であるか初対面であるということはないかもしくは両方ならこの居住区は主導的地位でない
事実8: あの疎開学童は旅芸人であるかまたはそれは煮やすということはないか両方ともだ
事実9: 仮になんらかの物が希薄化するなら十方でないかあるいはそれは目まぐるしいということはない
事実10: 仮にあの疎開学童が騒々しいとすればこの群は旅芸人であるかまたはそれは主導的地位であるかあるいは両方である
事実11: もし仮に「あの疎開学童は騒々しい」ということは正しいとすればそれは煮やす
事実12: もしも「何らかのものは煮やすけれど騒々しくない」ということは真実でないとすればそれは旅芸人だ

仮説: 仮にあの疎開学童が騒々しいとするとこの群は旅芸人であるかもしくは主導的地位でない
1. 仮定1: 以下のように仮定する。あの疎開学童は騒々しい
2. 事実11と仮定1から、推論1: "あの疎開学童は煮やす"が導かれる
3. 推論1と事実3から、推論2: "この群は旅芸人だ"が導かれる
4. 推論2から、推論3: "この群は旅芸人であるか主導的地位でないか両方だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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