この父親は北条家であるしそれに運航する
fact1: もし「「決め込まないし取り外す」ということは成り立たない」物があるとすればあの父親は運航する fact2: もし仮にあるものは近付き得ないとしたら「北条家であるしまたそれは運航する」ということは成り立たない fact3: もし仮にこの父親は入場料でないなら近付き得る fact4: この父親は近付き得る fact5: 仮に「何らかの物は発達し始めるかそれは入場料でない」ということは成り立たないとするとそれは取り外す fact6: この父親は入場料でない fact7: 「なんらかのものは発達し始めるかもしくは近付き得ない」ということは成り立たないとしたら北条家である fact8: 「「決め込まないが運航する」ということは成り立たない」物はある fact9: もしも「このＴ‐ＢＡＹ通信は釣菌するかあるいは仕舞い易いということはないかもしくは両方ともだ」ということは嘘だとすれば決め込む fact10: この削減目標は発達し始めるしさらに入場料である fact11: もし「この父親は発達し始めるかまたは近付き得るかどちらもだ」ということは成り立たないなら「それは北条家である」ということは成り立つ fact12: 「この父親は発達し始めないけれどそれはレギュラー出演する」ということは間違いだ fact13: もしも「この父親は決め込むかまたは運航しないかあるいは両方である」ということは事実と異なれば「発達し始める」ということは真実である fact14: 「何らかのものは刳れるかあるいはそれは一隊だ」ということは成り立たないとすればそれは上梓出来る fact15: 「決め込まない一方で取り外す」ものはある fact16: 「もし仮に「この父親は入場料でない」ということは真実だとしたら「この父親は発達し始めるかもしくはそれは近付き得ない」ということは事実と異なる」ということは確かである fact17: 「この四十三人は決め込まないけれど取り外す」ということは嘘だ fact18: もし「この父親は増え難いかそれは総合化しないかあるいは両方である」ということは偽であるならば結了する fact19: 「「決め込むし更に取り外す」ということは偽である」ものはある fact20: 「取り外さない」物があるならこの父親は運航する fact21: 仮にこの心像性は発達し始めれば「この襟は入場料であるということはないがしかしそれは近付き得る」ということは事実だということはない fact22: 「この骨膜は決め込むかもしくは懐かしくないかどちらもだ」ということは間違っている
fact17 -> int1: 「「決め込まないしさらに取り外す」ということは間違いである」物はある; int1 & fact1 -> int2: この父親は運航する; fact7 -> int3: 仮に「この父親は発達し始めるかまたはそれは近付き得ないかどちらもである」ということは成り立たないならばそれは北条家だ; fact6 & fact16 -> int4: 「この父親は発達し始めるかあるいは近付き得ないかどちらもである」ということは事実と異なる; int3 & int4 -> int5: 「この父親は北条家である」ということは本当だ; int2 & int5 -> hypothesis;
fact17 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact1 -> int2: {A}{a}; fact7 -> int3: ¬({D}{a} v ¬{C}{a}) -> {B}{a}; fact6 & fact16 -> int4: ¬({D}{a} v ¬{C}{a}); int3 & int4 -> int5: {B}{a}; int2 & int5 -> hypothesis;
この削減目標は近付き得るということはない
fact23 -> int6: この削減目標は発達し始める;
$facts$ = fact1: もし「「決め込まないし取り外す」ということは成り立たない」物があるとすればあの父親は運航する fact2: もし仮にあるものは近付き得ないとしたら「北条家であるしまたそれは運航する」ということは成り立たない fact3: もし仮にこの父親は入場料でないなら近付き得る fact4: この父親は近付き得る fact5: 仮に「何らかの物は発達し始めるかそれは入場料でない」ということは成り立たないとするとそれは取り外す fact6: この父親は入場料でない fact7: 「なんらかのものは発達し始めるかもしくは近付き得ない」ということは成り立たないとしたら北条家である fact8: 「「決め込まないが運航する」ということは成り立たない」物はある fact9: もしも「このＴ‐ＢＡＹ通信は釣菌するかあるいは仕舞い易いということはないかもしくは両方ともだ」ということは嘘だとすれば決め込む fact10: この削減目標は発達し始めるしさらに入場料である fact11: もし「この父親は発達し始めるかまたは近付き得るかどちらもだ」ということは成り立たないなら「それは北条家である」ということは成り立つ fact12: 「この父親は発達し始めないけれどそれはレギュラー出演する」ということは間違いだ fact13: もしも「この父親は決め込むかまたは運航しないかあるいは両方である」ということは事実と異なれば「発達し始める」ということは真実である fact14: 「何らかのものは刳れるかあるいはそれは一隊だ」ということは成り立たないとすればそれは上梓出来る fact15: 「決め込まない一方で取り外す」ものはある fact16: 「もし仮に「この父親は入場料でない」ということは真実だとしたら「この父親は発達し始めるかもしくはそれは近付き得ない」ということは事実と異なる」ということは確かである fact17: 「この四十三人は決め込まないけれど取り外す」ということは嘘だ fact18: もし「この父親は増え難いかそれは総合化しないかあるいは両方である」ということは偽であるならば結了する fact19: 「「決め込むし更に取り外す」ということは偽である」ものはある fact20: 「取り外さない」物があるならこの父親は運航する fact21: 仮にこの心像性は発達し始めれば「この襟は入場料であるということはないがしかしそれは近付き得る」ということは事実だということはない fact22: 「この骨膜は決め込むかもしくは懐かしくないかどちらもだ」ということは間違っている ; $hypothesis$ = この父親は北条家であるしそれに運航する ; $proof$ = 
fact17 -> int1: 「「決め込まないしさらに取り外す」ということは間違いである」物はある; int1 & fact1 -> int2: この父親は運航する; fact7 -> int3: 仮に「この父親は発達し始めるかまたはそれは近付き得ないかどちらもである」ということは成り立たないならばそれは北条家だ; fact6 & fact16 -> int4: 「この父親は発達し始めるかあるいは近付き得ないかどちらもである」ということは事実と異なる; int3 & int4 -> int5: 「この父親は北条家である」ということは本当だ; int2 & int5 -> hypothesis; __PROVED__
事実1: もし「「決め込まないし取り外す」ということは成り立たない」物があるとすればあの父親は運航する
事実2: もし仮にあるものは近付き得ないとしたら「北条家であるしまたそれは運航する」ということは成り立たない
事実3: もし仮にこの父親は入場料でないなら近付き得る
事実4: この父親は近付き得る
事実5: 仮に「何らかの物は発達し始めるかそれは入場料でない」ということは成り立たないとするとそれは取り外す
事実6: この父親は入場料でない
事実7: 「なんらかのものは発達し始めるかもしくは近付き得ない」ということは成り立たないとしたら北条家である
事実8: 「「決め込まないが運航する」ということは成り立たない」物はある
事実9: もしも「このＴ‐ＢＡＹ通信は釣菌するかあるいは仕舞い易いということはないかもしくは両方ともだ」ということは嘘だとすれば決め込む
事実10: この削減目標は発達し始めるしさらに入場料である
事実11: もし「この父親は発達し始めるかまたは近付き得るかどちらもだ」ということは成り立たないなら「それは北条家である」ということは成り立つ
事実12: 「この父親は発達し始めないけれどそれはレギュラー出演する」ということは間違いだ
事実13: もしも「この父親は決め込むかまたは運航しないかあるいは両方である」ということは事実と異なれば「発達し始める」ということは真実である
事実14: 「何らかのものは刳れるかあるいはそれは一隊だ」ということは成り立たないとすればそれは上梓出来る
事実15: 「決め込まない一方で取り外す」ものはある
事実16: 「もし仮に「この父親は入場料でない」ということは真実だとしたら「この父親は発達し始めるかもしくはそれは近付き得ない」ということは事実と異なる」ということは確かである
事実17: 「この四十三人は決め込まないけれど取り外す」ということは嘘だ
事実18: もし「この父親は増え難いかそれは総合化しないかあるいは両方である」ということは偽であるならば結了する
事実19: 「「決め込むし更に取り外す」ということは偽である」ものはある
事実20: 「取り外さない」物があるならこの父親は運航する
事実21: 仮にこの心像性は発達し始めれば「この襟は入場料であるということはないがしかしそれは近付き得る」ということは事実だということはない
事実22: 「この骨膜は決め込むかもしくは懐かしくないかどちらもだ」ということは間違っている

仮説: この父親は北条家であるしそれに運航する
1. 事実17から、推論1: "「「決め込まないしさらに取り外す」ということは間違いである」物はある"が導かれる
2. 推論1と事実1から、推論2: "この父親は運航する"が導かれる
3. 事実7から、推論3: "仮に「この父親は発達し始めるかまたはそれは近付き得ないかどちらもである」ということは成り立たないならばそれは北条家だ"が導かれる
4. 事実6と事実16から、推論4: "「この父親は発達し始めるかあるいは近付き得ないかどちらもである」ということは事実と異なる"が導かれる
5. 推論3と推論4から、推論5: "「この父親は北条家である」ということは本当だ"が導かれる
6. 推論2と推論5から、仮説が導かれる

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