そのＳＵＶが収入しないならばその所定事項は調べ直すし加えてＢ・Ｊだ
fact1: もし仮に「Ｂ・Ｊでない」物があるならばあの所定事項は調べ直すしその上一週間する fact2: その布子は射手だ fact3: もし仮にそのＳＵＶが収入すればその所定事項は調べ直すしＢ・Ｊである fact4: 「そのＳＵＶは説明し易いけれど射手でない」ということは誤っている fact5: 仮にそのＳＵＶが一週間しないならばその所定事項は調べ直す fact6: 仮に説明し易くない物は射手でないとするとそれは収入する fact7: もしも「何かは説明し易くないし射手でない」ということは誤りだとするとそれは一週間しない fact8: なんらかのものは除名しない fact9: そのぶな材は調べ直さない fact10: 仮に「一週間するかまたは収入するか両方である」ものがあるとするとその特定健康保険組合は一週間する fact11: そのＳＵＶは説明し易くない fact12: もし仮にこの不快さはいみじとしたら「あの氷山群は長期債券でないがしかしそれはＢ・Ｊである」ということは間違いである fact13: もし「なんらかのものは長期債券でない一方でＢ・Ｊだ」ということは嘘であるとすればＢ・Ｊでない fact14: 仮にその所定事項は射手であるが調べ直すということはないなら収入する fact15: もしそのＳＵＶが一週間しないとすればその所定事項は調べ直すしおまけにＢ・Ｊだ fact16: 「除名するということはない」物があるならばあの不快さは恙無くていみじ fact17: もしそのＳＵＶは収入しないとしたら「その所定事項は調べ直す」ということは成り立つ fact18: 仮に「なんらかの物は西高型でなくてかつ両立し得るということはない」ということは成り立たないとしたら三分の一以下でない
fact6 -> int1: そのＳＵＶは説明し易くないしおまけに射手でないとしたら収入する; void -> assump1: 以下のように仮定する。そのＳＵＶは説明し易くないししかもそれは射手でない; int1 & assump1 -> int2: そのＳＵＶは収入する; void -> assump2: 以下のように仮定する。そのＳＵＶは収入しない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのＳＵＶは説明し易くないし射手であるということはない」ということは誤りである; fact7 -> int5: もしも「そのＳＵＶは説明し易くないしまた射手でない」ということは偽だとするとそれは一週間しない; int4 & int5 -> int6: そのＳＵＶは一週間しない; int6 & fact15 -> int7: その所定事項は調べ直すしＢ・Ｊである; [assump2] & int7 -> hypothesis;
その特定健康保険組合は一週間する
fact20 -> int8: 仮に「あの氷山群は長期債券でないけれどＢ・Ｊである」ということは事実と異なるとするとそれはＢ・Ｊでない; fact19 & fact23 -> int9: この不快さは恙無いしその上いみじ; int9 -> int10: この不快さはいみじ; fact21 & int10 -> int11: 「あの氷山群は長期債券でない一方でそれはＢ・Ｊである」ということは成り立たない; int8 & int11 -> int12: 「あの氷山群はＢ・Ｊでない」ということは正しい; int12 -> int13: なんらかの物はＢ・Ｊでない; int13 & fact22 -> int14: その所定事項は調べ直すししかもそれは一週間する; int14 -> int15: その所定事項は一週間する; int15 -> int16: その所定事項は一週間するかあるいはそれは収入する; int16 -> int17: なんらかのものは一週間するかそれは収入するかまたは両方ともだ; int17 & fact24 -> hypothesis;
$facts$ = fact1: もし仮に「Ｂ・Ｊでない」物があるならばあの所定事項は調べ直すしその上一週間する fact2: その布子は射手だ fact3: もし仮にそのＳＵＶが収入すればその所定事項は調べ直すしＢ・Ｊである fact4: 「そのＳＵＶは説明し易いけれど射手でない」ということは誤っている fact5: 仮にそのＳＵＶが一週間しないならばその所定事項は調べ直す fact6: 仮に説明し易くない物は射手でないとするとそれは収入する fact7: もしも「何かは説明し易くないし射手でない」ということは誤りだとするとそれは一週間しない fact8: なんらかのものは除名しない fact9: そのぶな材は調べ直さない fact10: 仮に「一週間するかまたは収入するか両方である」ものがあるとするとその特定健康保険組合は一週間する fact11: そのＳＵＶは説明し易くない fact12: もし仮にこの不快さはいみじとしたら「あの氷山群は長期債券でないがしかしそれはＢ・Ｊである」ということは間違いである fact13: もし「なんらかのものは長期債券でない一方でＢ・Ｊだ」ということは嘘であるとすればＢ・Ｊでない fact14: 仮にその所定事項は射手であるが調べ直すということはないなら収入する fact15: もしそのＳＵＶが一週間しないとすればその所定事項は調べ直すしおまけにＢ・Ｊだ fact16: 「除名するということはない」物があるならばあの不快さは恙無くていみじ fact17: もしそのＳＵＶは収入しないとしたら「その所定事項は調べ直す」ということは成り立つ fact18: 仮に「なんらかの物は西高型でなくてかつ両立し得るということはない」ということは成り立たないとしたら三分の一以下でない ; $hypothesis$ = そのＳＵＶが収入しないならばその所定事項は調べ直すし加えてＢ・Ｊだ ; $proof$ = 
fact6 -> int1: そのＳＵＶは説明し易くないしおまけに射手でないとしたら収入する; void -> assump1: 以下のように仮定する。そのＳＵＶは説明し易くないししかもそれは射手でない; int1 & assump1 -> int2: そのＳＵＶは収入する; void -> assump2: 以下のように仮定する。そのＳＵＶは収入しない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのＳＵＶは説明し易くないし射手であるということはない」ということは誤りである; fact7 -> int5: もしも「そのＳＵＶは説明し易くないしまた射手でない」ということは偽だとするとそれは一週間しない; int4 & int5 -> int6: そのＳＵＶは一週間しない; int6 & fact15 -> int7: その所定事項は調べ直すしＢ・Ｊである; [assump2] & int7 -> hypothesis; __PROVED__
事実1: もし仮に「Ｂ・Ｊでない」物があるならばあの所定事項は調べ直すしその上一週間する
事実2: その布子は射手だ
事実3: もし仮にそのＳＵＶが収入すればその所定事項は調べ直すしＢ・Ｊである
事実4: 「そのＳＵＶは説明し易いけれど射手でない」ということは誤っている
事実5: 仮にそのＳＵＶが一週間しないならばその所定事項は調べ直す
事実6: 仮に説明し易くない物は射手でないとするとそれは収入する
事実7: もしも「何かは説明し易くないし射手でない」ということは誤りだとするとそれは一週間しない
事実8: なんらかのものは除名しない
事実9: そのぶな材は調べ直さない
事実10: 仮に「一週間するかまたは収入するか両方である」ものがあるとするとその特定健康保険組合は一週間する
事実11: そのＳＵＶは説明し易くない
事実12: もし仮にこの不快さはいみじとしたら「あの氷山群は長期債券でないがしかしそれはＢ・Ｊである」ということは間違いである
事実13: もし「なんらかのものは長期債券でない一方でＢ・Ｊだ」ということは嘘であるとすればＢ・Ｊでない
事実14: 仮にその所定事項は射手であるが調べ直すということはないなら収入する
事実15: もしそのＳＵＶが一週間しないとすればその所定事項は調べ直すしおまけにＢ・Ｊだ
事実16: 「除名するということはない」物があるならばあの不快さは恙無くていみじ
事実17: もしそのＳＵＶは収入しないとしたら「その所定事項は調べ直す」ということは成り立つ
事実18: 仮に「なんらかの物は西高型でなくてかつ両立し得るということはない」ということは成り立たないとしたら三分の一以下でない

仮説: そのＳＵＶが収入しないならばその所定事項は調べ直すし加えてＢ・Ｊだ
1. 事実6から、推論1: "そのＳＵＶは説明し易くないしおまけに射手でないとしたら収入する"が導かれる
2. 仮定1: 以下のように仮定する。そのＳＵＶは説明し易くないししかもそれは射手でない
3. 推論1と仮定1から、推論2: "そのＳＵＶは収入する"が導かれる
4. 仮定2: 以下のように仮定する。そのＳＵＶは収入しない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「そのＳＵＶは説明し易くないし射手であるということはない」ということは誤りである"が導かれる
7. 事実7から、推論5: "もしも「そのＳＵＶは説明し易くないしまた射手でない」ということは偽だとするとそれは一週間しない"が導かれる
8. 推論4と推論5から、推論6: "そのＳＵＶは一週間しない"が導かれる
9. 推論6と事実15から、推論7: "その所定事項は調べ直すしＢ・Ｊである"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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