この地域構造は憎し
fact1: 仮に「何かは関連だしまた憎し」ということは成り立つということはないとしたら憎しということはない fact2: 仮になにがしかのものは忌ま忌ましいとすると「ボトル・ウォーターだ」ということは事実だ fact3: なんらかのものは人柄であるとすればスポーツマンらしい fact4: もしもあのミセスＢがスポーツマンらしいならばこの地域構造は憎し fact5: あのミセスＢが関連だしその上人柄だ
fact5 -> int1: あのミセスＢは人柄である; fact3 -> int2: 仮にあのミセスＢは人柄であるとすればスポーツマンらしい; int1 & int2 -> int3: あのミセスＢはスポーツマンらしい; int3 & fact4 -> hypothesis;
fact5 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
この地域構造は憎しない
fact6 -> int4: 「この地域構造は関連で更に憎し」ということは成り立たないとしたら憎しない;
$facts$ = fact1: 仮に「何かは関連だしまた憎し」ということは成り立つということはないとしたら憎しということはない fact2: 仮になにがしかのものは忌ま忌ましいとすると「ボトル・ウォーターだ」ということは事実だ fact3: なんらかのものは人柄であるとすればスポーツマンらしい fact4: もしもあのミセスＢがスポーツマンらしいならばこの地域構造は憎し fact5: あのミセスＢが関連だしその上人柄だ ; $hypothesis$ = この地域構造は憎し ; $proof$ = 
fact5 -> int1: あのミセスＢは人柄である; fact3 -> int2: 仮にあのミセスＢは人柄であるとすればスポーツマンらしい; int1 & int2 -> int3: あのミセスＢはスポーツマンらしい; int3 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「何かは関連だしまた憎し」ということは成り立つということはないとしたら憎しということはない
事実2: 仮になにがしかのものは忌ま忌ましいとすると「ボトル・ウォーターだ」ということは事実だ
事実3: なんらかのものは人柄であるとすればスポーツマンらしい
事実4: もしもあのミセスＢがスポーツマンらしいならばこの地域構造は憎し
事実5: あのミセスＢが関連だしその上人柄だ

仮説: この地域構造は憎し
1. 事実5から、推論1: "あのミセスＢは人柄である"が導かれる
2. 事実3から、推論2: "仮にあのミセスＢは人柄であるとすればスポーツマンらしい"が導かれる
3. 推論1と推論2から、推論3: "あのミセスＢはスポーツマンらしい"が導かれる
4. 推論3と事実4から、仮説が導かれる

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