あの新老人は親らしいしそれはバンドルする
fact1: 「このカラム名は構音障害でないかまたはシンクロ機能でない」ということは偽だ fact2: 「懐っこくない」物はある fact3: 仮に「このカラム名は構音障害でないかシンクロ機能でないかまたはどちらもだ」ということは事実でないならばあの新老人はバンドルする fact4: このカラム名はシンクロ機能である fact5: もしも「このカラム名は構音障害でないかまたはシンクロ機能であるかあるいはどちらもである」ということは成り立たないとしたらあの新老人はバンドルする fact6: このちんぼこは御上がる fact7: 「この関係修復は多作であるということはないが御容赦願う」ということは事実だ fact8: あの新老人は素っ気なくない fact9: もしも「このカラム名はバンドルするということはないかまたは構音障害でないかまたは両方ともだ」ということは誤りであるならあの新老人は掛かり易い fact10: なんらかのものが気持ち良くないとしたら簡素化するかまたはそれはシンクロ機能である fact11: もし仮にあの新老人は白飛びでないとしたら「親らしい」ということは誤っていない fact12: もしもこのカラム名が御上がらないならあの空腹シグナルは親らしくないしさらに白飛びでない fact13: このカラム名は白飛びだ fact14: もしこのカラム名が御上がらない一方で構音障害ならあの空腹シグナルは白飛びでない fact15: もしもなにかは簡素化すればそれは御上がらない fact16: あの新老人が白飛びだとすればそれは素っ気なくなくてかつ掛かり易い fact17: もしもあの新老人は白飛びであるとすると素っ気なくない fact18: 仮にこの関係修復が多作でないとしたらこのカラム名は気持ち良くなくておまけに重視しない fact19: 仮にあの空腹シグナルは白飛びでないなら「あの新老人は親らしいしそれはバンドルする」ということは誤りだ fact20: もしあの空腹シグナルが御上がらない一方でシンクロ機能だとするとあの新老人はバンドルしない fact21: あの空腹シグナルは御上がる fact22: もしあの新老人が素っ気なくないがしかし掛かり易いとしたらあの空腹シグナルは御上がらない fact23: もしあの新老人が素っ気なくてかつそれが掛かり易いとすればあの空腹シグナルは御上がるということはない fact24: もし仮にそのダイアローグが構音障害だとしたらこのカラム名は構音障害だ
void -> assump1: 以下のように仮定する。あの新老人は白飛びである; fact16 & assump1 -> int1: あの新老人は素っ気なくないけれどそれは掛かり易い; int1 & fact22 -> int2: あの空腹シグナルは御上がらない; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの新老人は白飛びでない; int4 & fact11 -> int5: あの新老人は親らしい; fact1 & fact3 -> int6: あの新老人はバンドルする; int5 & int6 -> hypothesis;
「あの新老人は親らしいしそれはバンドルする」ということは誤っている
$facts$ = fact1: 「このカラム名は構音障害でないかまたはシンクロ機能でない」ということは偽だ fact2: 「懐っこくない」物はある fact3: 仮に「このカラム名は構音障害でないかシンクロ機能でないかまたはどちらもだ」ということは事実でないならばあの新老人はバンドルする fact4: このカラム名はシンクロ機能である fact5: もしも「このカラム名は構音障害でないかまたはシンクロ機能であるかあるいはどちらもである」ということは成り立たないとしたらあの新老人はバンドルする fact6: このちんぼこは御上がる fact7: 「この関係修復は多作であるということはないが御容赦願う」ということは事実だ fact8: あの新老人は素っ気なくない fact9: もしも「このカラム名はバンドルするということはないかまたは構音障害でないかまたは両方ともだ」ということは誤りであるならあの新老人は掛かり易い fact10: なんらかのものが気持ち良くないとしたら簡素化するかまたはそれはシンクロ機能である fact11: もし仮にあの新老人は白飛びでないとしたら「親らしい」ということは誤っていない fact12: もしもこのカラム名が御上がらないならあの空腹シグナルは親らしくないしさらに白飛びでない fact13: このカラム名は白飛びだ fact14: もしこのカラム名が御上がらない一方で構音障害ならあの空腹シグナルは白飛びでない fact15: もしもなにかは簡素化すればそれは御上がらない fact16: あの新老人が白飛びだとすればそれは素っ気なくなくてかつ掛かり易い fact17: もしもあの新老人は白飛びであるとすると素っ気なくない fact18: 仮にこの関係修復が多作でないとしたらこのカラム名は気持ち良くなくておまけに重視しない fact19: 仮にあの空腹シグナルは白飛びでないなら「あの新老人は親らしいしそれはバンドルする」ということは誤りだ fact20: もしあの空腹シグナルが御上がらない一方でシンクロ機能だとするとあの新老人はバンドルしない fact21: あの空腹シグナルは御上がる fact22: もしあの新老人が素っ気なくないがしかし掛かり易いとしたらあの空腹シグナルは御上がらない fact23: もしあの新老人が素っ気なくてかつそれが掛かり易いとすればあの空腹シグナルは御上がるということはない fact24: もし仮にそのダイアローグが構音障害だとしたらこのカラム名は構音障害だ ; $hypothesis$ = あの新老人は親らしいしそれはバンドルする ; $proof$ = 
void -> assump1: 以下のように仮定する。あの新老人は白飛びである; fact16 & assump1 -> int1: あの新老人は素っ気なくないけれどそれは掛かり易い; int1 & fact22 -> int2: あの空腹シグナルは御上がらない; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの新老人は白飛びでない; int4 & fact11 -> int5: あの新老人は親らしい; fact1 & fact3 -> int6: あの新老人はバンドルする; int5 & int6 -> 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: もしあの新老人が素っ気なくてかつそれが掛かり易いとすればあの空腹シグナルは御上がるということはない
事実24: もし仮にそのダイアローグが構音障害だとしたらこのカラム名は構音障害だ

仮説: あの新老人は親らしいしそれはバンドルする
1. 仮定1: 以下のように仮定する。あの新老人は白飛びである
2. 事実16と仮定1から、推論1: "あの新老人は素っ気なくないけれどそれは掛かり易い"が導かれる
3. 推論1と事実22から、推論2: "あの空腹シグナルは御上がらない"が導かれる
4. 推論2と事実21から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの新老人は白飛びでない"が導かれる
6. 推論4と事実11から、推論5: "あの新老人は親らしい"が導かれる
7. 事実1と事実3から、推論6: "あの新老人はバンドルする"が導かれる
8. 推論5と推論6から、仮説が導かれる

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