「このふっこは施錠しないがしかし恐れ戦く」ということは偽である
fact1: その局部はレジスタンスだ fact2: もしこのふっこはうろうろし始めるということはないならば「その宮崎・記念論文はうろうろし始めないかまたは新宿御苑裏でないかまたは両方である」ということは成り立つ fact3: もし仮にその局部が自然らしくないし加えてそれが分厚くないならこのふっこは分厚くない fact4: 仮にこのふっこが施錠するということはないが恐れ戦くとするとそれはうろうろし始めない fact5: もしもとあるものはレジスタンスでなくてかつうろうろし始めるということはないとすればそれは恐れ戦く fact6: あのエコール・ド・パリは恐れ戦かない fact7: その宮崎・記念論文はペトリ皿でない fact8: もしもなんらかのものはメートでないけれど受け難いとすればそれは争覇戦でない fact9: もしその宮崎・記念論文がレジスタンスであるということはないとすればその局部はレジスタンスでないかあるいはそれは新宿御苑裏でない fact10: 仮にその宮崎・記念論文が恐れ戦かないとするとこのふっこは新宿御苑裏だ fact11: もし仮に「その宮崎・記念論文は新宿御苑裏でない」ということは事実であるならばその局部はレジスタンスでない fact12: 「その宮崎・記念論文はうろうろし始めない」ということは真実であるとすればその局部はレジスタンスでない fact13: 分厚くない物はレジスタンスでなくてうろうろし始めない fact14: 「このふっこは施錠するしまたそれは恐れ戦く」ということは嘘だ fact15: このふっこは占拠でないかもしくはそれは固しないかあるいはどちらもだ fact16: 「その宮崎・記念論文は争覇戦でないならば「その宮崎・記念論文は新宿御苑裏だということはないしその上施錠しない」ということは成り立たない」ということは成り立つ fact17: その局部は自然らしくない fact18: このふっこは施錠するということはない fact19: もしこのふっこが施錠するし更に恐れ戦くとしたらそれはうろうろし始めない fact20: 仮に「その宮崎・記念論文は新宿御苑裏でなくて施錠しない」ということは事実と異なるならこのふっこは施錠しない fact21: 全てはメートでなくて受け難い fact22: もしその宮崎・記念論文が新宿御苑裏でないとするとその局部はレジスタンスである fact23: その局部はうろうろし始めるということはない
void -> assump1: 以下のように仮定する。このふっこは施錠するということはないけど恐れ戦く; fact4 & assump1 -> int1: 「このふっこはうろうろし始めない」ということは成り立つ; int1 & fact2 -> int2: その宮崎・記念論文はうろうろし始めないかあるいはそれは新宿御苑裏でないかあるいは両方だ; int2 & fact12 & fact11 -> int3: その局部はレジスタンスでない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
このふっこは施錠しないが恐れ戦く
fact29 -> int5: もし仮にその宮崎・記念論文はメートでない一方で受け難いならば争覇戦でない; fact27 -> int6: その宮崎・記念論文はメートでないけど受け難い; int5 & int6 -> int7: その宮崎・記念論文は争覇戦だということはない; fact30 & int7 -> int8: 「その宮崎・記念論文は新宿御苑裏でないしそれは施錠しない」ということは間違いである; fact24 & int8 -> int9: このふっこは施錠するということはない; fact28 -> int10: もし仮にこのふっこはレジスタンスでなくてうろうろし始めないならばそれは恐れ戦く; fact31 -> int11: 仮にこのふっこが分厚くないならそれはレジスタンスでなくて更にそれはうろうろし始めるということはない;
$facts$ = fact1: その局部はレジスタンスだ fact2: もしこのふっこはうろうろし始めるということはないならば「その宮崎・記念論文はうろうろし始めないかまたは新宿御苑裏でないかまたは両方である」ということは成り立つ fact3: もし仮にその局部が自然らしくないし加えてそれが分厚くないならこのふっこは分厚くない fact4: 仮にこのふっこが施錠するということはないが恐れ戦くとするとそれはうろうろし始めない fact5: もしもとあるものはレジスタンスでなくてかつうろうろし始めるということはないとすればそれは恐れ戦く fact6: あのエコール・ド・パリは恐れ戦かない fact7: その宮崎・記念論文はペトリ皿でない fact8: もしもなんらかのものはメートでないけれど受け難いとすればそれは争覇戦でない fact9: もしその宮崎・記念論文がレジスタンスであるということはないとすればその局部はレジスタンスでないかあるいはそれは新宿御苑裏でない fact10: 仮にその宮崎・記念論文が恐れ戦かないとするとこのふっこは新宿御苑裏だ fact11: もし仮に「その宮崎・記念論文は新宿御苑裏でない」ということは事実であるならばその局部はレジスタンスでない fact12: 「その宮崎・記念論文はうろうろし始めない」ということは真実であるとすればその局部はレジスタンスでない fact13: 分厚くない物はレジスタンスでなくてうろうろし始めない fact14: 「このふっこは施錠するしまたそれは恐れ戦く」ということは嘘だ fact15: このふっこは占拠でないかもしくはそれは固しないかあるいはどちらもだ fact16: 「その宮崎・記念論文は争覇戦でないならば「その宮崎・記念論文は新宿御苑裏だということはないしその上施錠しない」ということは成り立たない」ということは成り立つ fact17: その局部は自然らしくない fact18: このふっこは施錠するということはない fact19: もしこのふっこが施錠するし更に恐れ戦くとしたらそれはうろうろし始めない fact20: 仮に「その宮崎・記念論文は新宿御苑裏でなくて施錠しない」ということは事実と異なるならこのふっこは施錠しない fact21: 全てはメートでなくて受け難い fact22: もしその宮崎・記念論文が新宿御苑裏でないとするとその局部はレジスタンスである fact23: その局部はうろうろし始めるということはない ; $hypothesis$ = 「このふっこは施錠しないがしかし恐れ戦く」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。このふっこは施錠するということはないけど恐れ戦く; fact4 & assump1 -> int1: 「このふっこはうろうろし始めない」ということは成り立つ; int1 & fact2 -> int2: その宮崎・記念論文はうろうろし始めないかあるいはそれは新宿御苑裏でないかあるいは両方だ; int2 & fact12 & fact11 -> int3: その局部はレジスタンスでない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その局部はレジスタンスだ
事実2: もしこのふっこはうろうろし始めるということはないならば「その宮崎・記念論文はうろうろし始めないかまたは新宿御苑裏でないかまたは両方である」ということは成り立つ
事実3: もし仮にその局部が自然らしくないし加えてそれが分厚くないならこのふっこは分厚くない
事実4: 仮にこのふっこが施錠するということはないが恐れ戦くとするとそれはうろうろし始めない
事実5: もしもとあるものはレジスタンスでなくてかつうろうろし始めるということはないとすればそれは恐れ戦く
事実6: あのエコール・ド・パリは恐れ戦かない
事実7: その宮崎・記念論文はペトリ皿でない
事実8: もしもなんらかのものはメートでないけれど受け難いとすればそれは争覇戦でない
事実9: もしその宮崎・記念論文がレジスタンスであるということはないとすればその局部はレジスタンスでないかあるいはそれは新宿御苑裏でない
事実10: 仮にその宮崎・記念論文が恐れ戦かないとするとこのふっこは新宿御苑裏だ
事実11: もし仮に「その宮崎・記念論文は新宿御苑裏でない」ということは事実であるならばその局部はレジスタンスでない
事実12: 「その宮崎・記念論文はうろうろし始めない」ということは真実であるとすればその局部はレジスタンスでない
事実13: 分厚くない物はレジスタンスでなくてうろうろし始めない
事実14: 「このふっこは施錠するしまたそれは恐れ戦く」ということは嘘だ
事実15: このふっこは占拠でないかもしくはそれは固しないかあるいはどちらもだ
事実16: 「その宮崎・記念論文は争覇戦でないならば「その宮崎・記念論文は新宿御苑裏だということはないしその上施錠しない」ということは成り立たない」ということは成り立つ
事実17: その局部は自然らしくない
事実18: このふっこは施錠するということはない
事実19: もしこのふっこが施錠するし更に恐れ戦くとしたらそれはうろうろし始めない
事実20: 仮に「その宮崎・記念論文は新宿御苑裏でなくて施錠しない」ということは事実と異なるならこのふっこは施錠しない
事実21: 全てはメートでなくて受け難い
事実22: もしその宮崎・記念論文が新宿御苑裏でないとするとその局部はレジスタンスである
事実23: その局部はうろうろし始めるということはない

仮説: 「このふっこは施錠しないがしかし恐れ戦く」ということは偽である
1. 仮定1: 以下のように仮定する。このふっこは施錠するということはないけど恐れ戦く
2. 事実4と仮定1から、推論1: "「このふっこはうろうろし始めない」ということは成り立つ"が導かれる
3. 推論1と事実2から、推論2: "その宮崎・記念論文はうろうろし始めないかあるいはそれは新宿御苑裏でないかあるいは両方だ"が導かれる
4. 推論2と事実12と事実11から、推論3: "その局部はレジスタンスでない"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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