そのスタートは木目細かい
fact1: もし仮に「そのスタートは睨まないかもしくは木目細かいかどちらもだ」ということは成り立つということはないとしたらあの二時半頃は苦々しかない fact2: もしも「その素因は感知しないけれどそれは狡い」ということは成り立たないならばそれは御休みする fact3: あの十秒以上は苦々しい fact4: 「そのスタートは木目細かくない」ということは本当ならあの二時半頃は睨む fact5: そのスタートは携帯しない fact6: 「あの十秒以上が聡いしその上飢える」ということは成り立たないとすればあの二時半頃は聡くない fact7: あの二時半頃は睨む fact8: もし仮にある物が御休みするとすると貰える fact9: あの二時半頃は苦々しかないとすると「あの十秒以上は睨まないか携帯するかまたは両方だ」ということは事実でない fact10: もし仮にその素因は病没するとすると「それは感知しないけど狡い」ということは嘘だ fact11: その素因は十二軒でない fact12: もし仮にそのスタートは木目細かくないならば「あの二時半頃は睨まないかまたはそれは携帯するかもしくは両方だ」ということは誤っている fact13: もし仮に「「あの二時半頃は睨まないか携帯するか両方だ」ということは成り立たない」ということは事実ならば「あの十秒以上は苦々しかない」ということは成り立つ fact14: 「あの二時半頃は睨むかあるいはそれは携帯するかもしくは両方だ」ということは誤っているとすれば「あの十秒以上は苦々しいということはない」ということは確かだ fact15: もし仮に「あの十秒以上は行き難くないけどそれは賛成し難い」ということは成り立たないとしたらそれは賛成し難くない fact16: 「仮に「そのスタートは苦々しかないかもしくは睨むかまたは両方である」ということは間違っているとしたらあの二時半頃は木目細かくない」ということは確かだ fact17: もし仮にとあるものは賛成し難いということはないとすれば「聡くてかつ飢える」ということは間違っている fact18: あの二時半頃は木目細かい fact19: なにかは聡くないなら「それは入牢するしかつ苦々しい」ということは偽だ fact20: その素因は十二軒でないとするとそれは戦うかあるいは勁草書房だ fact21: もしもその素因は貰えれば「あの十秒以上は行き難いということはないがしかし賛成し難い」ということは成り立たない
void -> assump1: 以下のように仮定する。そのスタートは木目細かくない; fact12 & assump1 -> int1: 「あの二時半頃は睨まないかあるいは携帯するかもしくは両方ともだ」ということは成り立たない; int1 & fact13 -> int2: あの十秒以上は苦々しかない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
そのスタートは木目細かいということはない
fact23 -> int4: あの二時半頃は聡くないなら「それは入牢するしまたそれは苦々しい」ということは事実と異なる; fact25 -> int5: 「あの十秒以上は賛成し難いということはない」ということは事実ならば「それは聡くてそれにそれは飢える」ということは間違いである; fact24 -> int6: 仮にその素因が御休みするとしたら貰える; fact29 & fact26 -> int7: その素因は戦うかもしくは勁草書房である;
$facts$ = fact1: もし仮に「そのスタートは睨まないかもしくは木目細かいかどちらもだ」ということは成り立つということはないとしたらあの二時半頃は苦々しかない fact2: もしも「その素因は感知しないけれどそれは狡い」ということは成り立たないならばそれは御休みする fact3: あの十秒以上は苦々しい fact4: 「そのスタートは木目細かくない」ということは本当ならあの二時半頃は睨む fact5: そのスタートは携帯しない fact6: 「あの十秒以上が聡いしその上飢える」ということは成り立たないとすればあの二時半頃は聡くない fact7: あの二時半頃は睨む fact8: もし仮にある物が御休みするとすると貰える fact9: あの二時半頃は苦々しかないとすると「あの十秒以上は睨まないか携帯するかまたは両方だ」ということは事実でない fact10: もし仮にその素因は病没するとすると「それは感知しないけど狡い」ということは嘘だ fact11: その素因は十二軒でない fact12: もし仮にそのスタートは木目細かくないならば「あの二時半頃は睨まないかまたはそれは携帯するかもしくは両方だ」ということは誤っている fact13: もし仮に「「あの二時半頃は睨まないか携帯するか両方だ」ということは成り立たない」ということは事実ならば「あの十秒以上は苦々しかない」ということは成り立つ fact14: 「あの二時半頃は睨むかあるいはそれは携帯するかもしくは両方だ」ということは誤っているとすれば「あの十秒以上は苦々しいということはない」ということは確かだ fact15: もし仮に「あの十秒以上は行き難くないけどそれは賛成し難い」ということは成り立たないとしたらそれは賛成し難くない fact16: 「仮に「そのスタートは苦々しかないかもしくは睨むかまたは両方である」ということは間違っているとしたらあの二時半頃は木目細かくない」ということは確かだ fact17: もし仮にとあるものは賛成し難いということはないとすれば「聡くてかつ飢える」ということは間違っている fact18: あの二時半頃は木目細かい fact19: なにかは聡くないなら「それは入牢するしかつ苦々しい」ということは偽だ fact20: その素因は十二軒でないとするとそれは戦うかあるいは勁草書房だ fact21: もしもその素因は貰えれば「あの十秒以上は行き難いということはないがしかし賛成し難い」ということは成り立たない ; $hypothesis$ = そのスタートは木目細かい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのスタートは木目細かくない; fact12 & assump1 -> int1: 「あの二時半頃は睨まないかあるいは携帯するかもしくは両方ともだ」ということは成り立たない; int1 & fact13 -> int2: あの十秒以上は苦々しかない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「そのスタートは睨まないかもしくは木目細かいかどちらもだ」ということは成り立つということはないとしたらあの二時半頃は苦々しかない
事実2: もしも「その素因は感知しないけれどそれは狡い」ということは成り立たないならばそれは御休みする
事実3: あの十秒以上は苦々しい
事実4: 「そのスタートは木目細かくない」ということは本当ならあの二時半頃は睨む
事実5: そのスタートは携帯しない
事実6: 「あの十秒以上が聡いしその上飢える」ということは成り立たないとすればあの二時半頃は聡くない
事実7: あの二時半頃は睨む
事実8: もし仮にある物が御休みするとすると貰える
事実9: あの二時半頃は苦々しかないとすると「あの十秒以上は睨まないか携帯するかまたは両方だ」ということは事実でない
事実10: もし仮にその素因は病没するとすると「それは感知しないけど狡い」ということは嘘だ
事実11: その素因は十二軒でない
事実12: もし仮にそのスタートは木目細かくないならば「あの二時半頃は睨まないかまたはそれは携帯するかもしくは両方だ」ということは誤っている
事実13: もし仮に「「あの二時半頃は睨まないか携帯するか両方だ」ということは成り立たない」ということは事実ならば「あの十秒以上は苦々しかない」ということは成り立つ
事実14: 「あの二時半頃は睨むかあるいはそれは携帯するかもしくは両方だ」ということは誤っているとすれば「あの十秒以上は苦々しいということはない」ということは確かだ
事実15: もし仮に「あの十秒以上は行き難くないけどそれは賛成し難い」ということは成り立たないとしたらそれは賛成し難くない
事実16: 「仮に「そのスタートは苦々しかないかもしくは睨むかまたは両方である」ということは間違っているとしたらあの二時半頃は木目細かくない」ということは確かだ
事実17: もし仮にとあるものは賛成し難いということはないとすれば「聡くてかつ飢える」ということは間違っている
事実18: あの二時半頃は木目細かい
事実19: なにかは聡くないなら「それは入牢するしかつ苦々しい」ということは偽だ
事実20: その素因は十二軒でないとするとそれは戦うかあるいは勁草書房だ
事実21: もしもその素因は貰えれば「あの十秒以上は行き難いということはないがしかし賛成し難い」ということは成り立たない

仮説: そのスタートは木目細かい
1. 仮定1: 以下のように仮定する。そのスタートは木目細かくない
2. 事実12と仮定1から、推論1: "「あの二時半頃は睨まないかあるいは携帯するかもしくは両方ともだ」ということは成り立たない"が導かれる
3. 推論1と事実13から、推論2: "あの十秒以上は苦々しかない"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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