あの百地君は乗り換える
fact1: もし「とあるものは前期比でないけど幼少期だ」ということは誤りであるとすればそれは乗り換えない fact2: 「仮にあの百地君はテロ・グループでないとすると「あの力攻めは乗り換えるし前期比である」ということは成り立たない」ということは確かである fact3: 「あの百地君は乗り換えるしそれは前期比である」ということは成り立つということはない fact4: あの力攻めは前期比である fact5: 仮に「とあるものは前期比であるか乗り換えない」ということは事実と異なるならそれは男でない fact6: あの百地君は息苦しい fact7: もし仮にあの百地君は発着しないならば「あの力攻めは乗り換えるし前期比である」ということは成り立たない fact8: もしあの力攻めはテロ・グループでないなら「前期比でない」ということは成り立つ fact9: 仮に「あの力攻めが旧勢力だしさらに見苦しい」ということは間違いであるとすればあの百地君は見苦しくない fact10: もしも何らかのものは見苦しいということはないとしたら「それは前期比でないけど幼少期である」ということは誤っている fact11: あの力攻めは幇助しない fact12: 「あの力攻めは発着するしテロ・グループである」ということは偽だとすれば前期比でない fact13: あの百地君は発着する fact14: あの百地君はテロ・グループでない fact15: あの力攻めは乗り換えない fact16: 「あの百地君はテロ・グループでおまけにそれは乗り換える」ということは嘘だ fact17: あの百地君は乗り換えないとしたら「あの力攻めは発着するし加えてテロ・グループである」ということは誤っている
void -> assump1: 以下のように仮定する。あの百地君は乗り換えるということはない; fact17 & assump1 -> int1: 「あの力攻めは発着するしそれはテロ・グループである」ということは間違っている; int1 & fact12 -> int2: あの力攻めは前期比でない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの力攻めは男でない
fact18 -> int4: もし「「「あの力攻めは前期比であるかあるいは乗り換えないかもしくは両方ともである」ということは成り立つ」ということは成り立たない」ということは真実だとすれば男だということはない;
$facts$ = fact1: もし「とあるものは前期比でないけど幼少期だ」ということは誤りであるとすればそれは乗り換えない fact2: 「仮にあの百地君はテロ・グループでないとすると「あの力攻めは乗り換えるし前期比である」ということは成り立たない」ということは確かである fact3: 「あの百地君は乗り換えるしそれは前期比である」ということは成り立つということはない fact4: あの力攻めは前期比である fact5: 仮に「とあるものは前期比であるか乗り換えない」ということは事実と異なるならそれは男でない fact6: あの百地君は息苦しい fact7: もし仮にあの百地君は発着しないならば「あの力攻めは乗り換えるし前期比である」ということは成り立たない fact8: もしあの力攻めはテロ・グループでないなら「前期比でない」ということは成り立つ fact9: 仮に「あの力攻めが旧勢力だしさらに見苦しい」ということは間違いであるとすればあの百地君は見苦しくない fact10: もしも何らかのものは見苦しいということはないとしたら「それは前期比でないけど幼少期である」ということは誤っている fact11: あの力攻めは幇助しない fact12: 「あの力攻めは発着するしテロ・グループである」ということは偽だとすれば前期比でない fact13: あの百地君は発着する fact14: あの百地君はテロ・グループでない fact15: あの力攻めは乗り換えない fact16: 「あの百地君はテロ・グループでおまけにそれは乗り換える」ということは嘘だ fact17: あの百地君は乗り換えないとしたら「あの力攻めは発着するし加えてテロ・グループである」ということは誤っている ; $hypothesis$ = あの百地君は乗り換える ; $proof$ = 
void -> assump1: 以下のように仮定する。あの百地君は乗り換えるということはない; fact17 & assump1 -> int1: 「あの力攻めは発着するしそれはテロ・グループである」ということは間違っている; int1 & fact12 -> int2: あの力攻めは前期比でない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし「とあるものは前期比でないけど幼少期だ」ということは誤りであるとすればそれは乗り換えない
事実2: 「仮にあの百地君はテロ・グループでないとすると「あの力攻めは乗り換えるし前期比である」ということは成り立たない」ということは確かである
事実3: 「あの百地君は乗り換えるしそれは前期比である」ということは成り立つということはない
事実4: あの力攻めは前期比である
事実5: 仮に「とあるものは前期比であるか乗り換えない」ということは事実と異なるならそれは男でない
事実6: あの百地君は息苦しい
事実7: もし仮にあの百地君は発着しないならば「あの力攻めは乗り換えるし前期比である」ということは成り立たない
事実8: もしあの力攻めはテロ・グループでないなら「前期比でない」ということは成り立つ
事実9: 仮に「あの力攻めが旧勢力だしさらに見苦しい」ということは間違いであるとすればあの百地君は見苦しくない
事実10: もしも何らかのものは見苦しいということはないとしたら「それは前期比でないけど幼少期である」ということは誤っている
事実11: あの力攻めは幇助しない
事実12: 「あの力攻めは発着するしテロ・グループである」ということは偽だとすれば前期比でない
事実13: あの百地君は発着する
事実14: あの百地君はテロ・グループでない
事実15: あの力攻めは乗り換えない
事実16: 「あの百地君はテロ・グループでおまけにそれは乗り換える」ということは嘘だ
事実17: あの百地君は乗り換えないとしたら「あの力攻めは発着するし加えてテロ・グループである」ということは誤っている

仮説: あの百地君は乗り換える
1. 仮定1: 以下のように仮定する。あの百地君は乗り換えるということはない
2. 事実17と仮定1から、推論1: "「あの力攻めは発着するしそれはテロ・グループである」ということは間違っている"が導かれる
3. 推論1と事実12から、推論2: "あの力攻めは前期比でない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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