あの同額は整形する
fact1: 「あの同額は利用料金であるしＣＤ‐Ｒだ」ということは成り立たない fact2: 「あの同額が集団行動だし投稿出来る」ということは成り立たない fact3: 「その市川等はタイトルらしい」ということは確かである fact4: もし仮にあの同額が塩味するならそれはＩＦＯである fact5: もしもあの同額はＩＦＯであるなら整形する fact6: もしあるものはタイトルらしいなら「それは伝送速度でないけど整形する」ということは誤りだ fact7: もしもこの表示名がタイトルらしいとしたらルビである fact8: もし仮にあの同額が打ち直せばそれは駆る fact9: もし仮に「あの同額は打ち直さない」ということは成り立つとしたらそれは塩味する fact10: 仮にとある物は塩味すれば「あの同額はタイトルらしくないがしかしＩＦＯである」ということは間違いである fact11: 仮に「あの同額は書き分けないがしかしそれは打ち直す」ということは偽であるならそれは塩味する fact12: この表示名はタイトルらしい fact13: もし「ルビな」物はあるとすれば「あの同額は書き分けないがしかし打ち直す」ということは偽だ fact14: 仮にあの同額がタイトルらしいならばＩＦＯだ
fact7 & fact12 -> int1: 「この表示名はルビである」ということは正しい; int1 -> int2: 「ルビな」物はある; int2 & fact13 -> int3: 「あの同額は書き分けないが打ち直す」ということは成り立たない; int3 & fact11 -> int4: あの同額は塩味する; int4 & fact4 -> int5: あの同額はＩＦＯである; int5 & fact5 -> hypothesis;
「あの発行等は伝送速度でないがしかし整形する」ということは成り立たない
fact15 -> int6: 仮にあの発行等はタイトルらしいとすれば「それは伝送速度でなくて整形する」ということは誤りだ;
$facts$ = fact1: 「あの同額は利用料金であるしＣＤ‐Ｒだ」ということは成り立たない fact2: 「あの同額が集団行動だし投稿出来る」ということは成り立たない fact3: 「その市川等はタイトルらしい」ということは確かである fact4: もし仮にあの同額が塩味するならそれはＩＦＯである fact5: もしもあの同額はＩＦＯであるなら整形する fact6: もしあるものはタイトルらしいなら「それは伝送速度でないけど整形する」ということは誤りだ fact7: もしもこの表示名がタイトルらしいとしたらルビである fact8: もし仮にあの同額が打ち直せばそれは駆る fact9: もし仮に「あの同額は打ち直さない」ということは成り立つとしたらそれは塩味する fact10: 仮にとある物は塩味すれば「あの同額はタイトルらしくないがしかしＩＦＯである」ということは間違いである fact11: 仮に「あの同額は書き分けないがしかしそれは打ち直す」ということは偽であるならそれは塩味する fact12: この表示名はタイトルらしい fact13: もし「ルビな」物はあるとすれば「あの同額は書き分けないがしかし打ち直す」ということは偽だ fact14: 仮にあの同額がタイトルらしいならばＩＦＯだ ; $hypothesis$ = あの同額は整形する ; $proof$ = 
fact7 & fact12 -> int1: 「この表示名はルビである」ということは正しい; int1 -> int2: 「ルビな」物はある; int2 & fact13 -> int3: 「あの同額は書き分けないが打ち直す」ということは成り立たない; int3 & fact11 -> int4: あの同額は塩味する; int4 & fact4 -> int5: あの同額はＩＦＯである; int5 & fact5 -> hypothesis; __PROVED__
事実1: 「あの同額は利用料金であるしＣＤ‐Ｒだ」ということは成り立たない
事実2: 「あの同額が集団行動だし投稿出来る」ということは成り立たない
事実3: 「その市川等はタイトルらしい」ということは確かである
事実4: もし仮にあの同額が塩味するならそれはＩＦＯである
事実5: もしもあの同額はＩＦＯであるなら整形する
事実6: もしあるものはタイトルらしいなら「それは伝送速度でないけど整形する」ということは誤りだ
事実7: もしもこの表示名がタイトルらしいとしたらルビである
事実8: もし仮にあの同額が打ち直せばそれは駆る
事実9: もし仮に「あの同額は打ち直さない」ということは成り立つとしたらそれは塩味する
事実10: 仮にとある物は塩味すれば「あの同額はタイトルらしくないがしかしＩＦＯである」ということは間違いである
事実11: 仮に「あの同額は書き分けないがしかしそれは打ち直す」ということは偽であるならそれは塩味する
事実12: この表示名はタイトルらしい
事実13: もし「ルビな」物はあるとすれば「あの同額は書き分けないがしかし打ち直す」ということは偽だ
事実14: 仮にあの同額がタイトルらしいならばＩＦＯだ

仮説: あの同額は整形する
1. 事実7と事実12から、推論1: "「この表示名はルビである」ということは正しい"が導かれる
2. 推論1から、推論2: "「ルビな」物はある"が導かれる
3. 推論2と事実13から、推論3: "「あの同額は書き分けないが打ち直す」ということは成り立たない"が導かれる
4. 推論3と事実11から、推論4: "あの同額は塩味する"が導かれる
5. 推論4と事実4から、推論5: "あの同額はＩＦＯである"が導かれる
6. 推論5と事実5から、仮説が導かれる

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