「あのコクサッキーウイルスＡは欺かない」ということは成り立つ
fact1: もしも何らかのものは文書館内だとすると「それは厚いがしかし御連絡下さるということはない」ということは真実であるということはない fact2: とある物が文書館内でないならばそれは御連絡下さるかもしくは厚いかまたは両方ともである fact3: 仮にこの五徳が文書館内であるならばその床上はブラッシュアップする fact4: もし「「あのコクサッキーウイルスＡは厚くないかまたは御連絡下さる」ということは事実である」ということは成り立たないなら「それは欺く」ということは成り立つ fact5: その公企業は拘束すがしかしころころしない fact6: もしあのＰＨが欺くけれどそれがブラッシュアップしないなら文書館内でない fact7: 仮にこの五徳が関節痛だとするとその床上は文書館内である fact8: その床上は来難くない fact9: もしもその床上が文書館内だとしたらこの五徳は関節痛である fact10: 「その床上は関節痛だということはない」ということは真実だ fact11: あのＰＨは御連絡下さる fact12: あのＰＨは厚くて御連絡下さる fact13: その床上は強烈過ぎる fact14: あのコクサッキーウイルスＡは御連絡下さらない fact15: もしあのＰＨが厚いならばこの五徳は文書館内である fact16: 仮にあのＰＨが文書館内であるかまたはブラッシュアップするか両方ならあのコクサッキーウイルスＡは文書館内でない fact17: なにかは親米派でないとするとそれが欺くしその上それはブラッシュアップするということはない fact18: もし仮にあのＰＨがブラッシュアップするとしたらその床上は御連絡下さる fact19: その床上がブラッシュアップするけれど関節痛でないとすればあのコクサッキーウイルスＡは欺くということはない
fact12 -> int1: あのＰＨは厚い; int1 & fact15 -> int2: この五徳は文書館内である; int2 & fact3 -> int3: その床上はブラッシュアップする; int3 & fact10 -> int4: その床上はブラッシュアップするがそれは関節痛でない; int4 & fact19 -> hypothesis;
その代用物は関節痛である
fact20 -> int5: もし仮にあのＰＨが親米派でないとしたらそれは欺くしそれはブラッシュアップしない;
$facts$ = fact1: もしも何らかのものは文書館内だとすると「それは厚いがしかし御連絡下さるということはない」ということは真実であるということはない fact2: とある物が文書館内でないならばそれは御連絡下さるかもしくは厚いかまたは両方ともである fact3: 仮にこの五徳が文書館内であるならばその床上はブラッシュアップする fact4: もし「「あのコクサッキーウイルスＡは厚くないかまたは御連絡下さる」ということは事実である」ということは成り立たないなら「それは欺く」ということは成り立つ fact5: その公企業は拘束すがしかしころころしない fact6: もしあのＰＨが欺くけれどそれがブラッシュアップしないなら文書館内でない fact7: 仮にこの五徳が関節痛だとするとその床上は文書館内である fact8: その床上は来難くない fact9: もしもその床上が文書館内だとしたらこの五徳は関節痛である fact10: 「その床上は関節痛だということはない」ということは真実だ fact11: あのＰＨは御連絡下さる fact12: あのＰＨは厚くて御連絡下さる fact13: その床上は強烈過ぎる fact14: あのコクサッキーウイルスＡは御連絡下さらない fact15: もしあのＰＨが厚いならばこの五徳は文書館内である fact16: 仮にあのＰＨが文書館内であるかまたはブラッシュアップするか両方ならあのコクサッキーウイルスＡは文書館内でない fact17: なにかは親米派でないとするとそれが欺くしその上それはブラッシュアップするということはない fact18: もし仮にあのＰＨがブラッシュアップするとしたらその床上は御連絡下さる fact19: その床上がブラッシュアップするけれど関節痛でないとすればあのコクサッキーウイルスＡは欺くということはない ; $hypothesis$ = 「あのコクサッキーウイルスＡは欺かない」ということは成り立つ ; $proof$ = 
fact12 -> int1: あのＰＨは厚い; int1 & fact15 -> int2: この五徳は文書館内である; int2 & fact3 -> int3: その床上はブラッシュアップする; int3 & fact10 -> int4: その床上はブラッシュアップするがそれは関節痛でない; int4 & fact19 -> hypothesis; __PROVED__
事実1: もしも何らかのものは文書館内だとすると「それは厚いがしかし御連絡下さるということはない」ということは真実であるということはない
事実2: とある物が文書館内でないならばそれは御連絡下さるかもしくは厚いかまたは両方ともである
事実3: 仮にこの五徳が文書館内であるならばその床上はブラッシュアップする
事実4: もし「「あのコクサッキーウイルスＡは厚くないかまたは御連絡下さる」ということは事実である」ということは成り立たないなら「それは欺く」ということは成り立つ
事実5: その公企業は拘束すがしかしころころしない
事実6: もしあのＰＨが欺くけれどそれがブラッシュアップしないなら文書館内でない
事実7: 仮にこの五徳が関節痛だとするとその床上は文書館内である
事実8: その床上は来難くない
事実9: もしもその床上が文書館内だとしたらこの五徳は関節痛である
事実10: 「その床上は関節痛だということはない」ということは真実だ
事実11: あのＰＨは御連絡下さる
事実12: あのＰＨは厚くて御連絡下さる
事実13: その床上は強烈過ぎる
事実14: あのコクサッキーウイルスＡは御連絡下さらない
事実15: もしあのＰＨが厚いならばこの五徳は文書館内である
事実16: 仮にあのＰＨが文書館内であるかまたはブラッシュアップするか両方ならあのコクサッキーウイルスＡは文書館内でない
事実17: なにかは親米派でないとするとそれが欺くしその上それはブラッシュアップするということはない
事実18: もし仮にあのＰＨがブラッシュアップするとしたらその床上は御連絡下さる
事実19: その床上がブラッシュアップするけれど関節痛でないとすればあのコクサッキーウイルスＡは欺くということはない

仮説: 「あのコクサッキーウイルスＡは欺かない」ということは成り立つ
1. 事実12から、推論1: "あのＰＨは厚い"が導かれる
2. 推論1と事実15から、推論2: "この五徳は文書館内である"が導かれる
3. 推論2と事実3から、推論3: "その床上はブラッシュアップする"が導かれる
4. 推論3と事実10から、推論4: "その床上はブラッシュアップするがそれは関節痛でない"が導かれる
5. 推論4と事実19から、仮説が導かれる

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