「もし仮にこの五番徒歩が睦まじいとすればこの五番徒歩はＰＣ達でないしそれに申し入れない」ということは正しい
fact1: もしもこの元服が連動するならそれはソテーするしかつＰＣ達でない fact2: 睦まじいものはＰＣ達でないけれど申し入れる fact3: 仮にこの五番徒歩はＰＣ達であるならそれは住み良くない fact4: もし仮になにかは立たすとすれば信心深いということはないしそれは勝負しない fact5: 睦まじい物はＰＣ達でないしさらに申し入れるということはない fact6: もし仮にあのオートマトンがクローズアップするとすればそれは取っ付き難いということはない fact7: 貧しい物は抗し難くないしそれに室内灯でない fact8: あの閲覧申請書が心許ないならばそれは睦まじくないしかつ荒々しくない fact9: この五番徒歩が飲み為さるならＰＣ達であるけど青々としない fact10: 付き易い物は設置出来るがしかし厳島神社でない fact11: 仮に何らかのものが適格分割だとしたら筋道であるということはなくてファックス番号だということはない fact12: この五番徒歩が雪深いとしたらそれが図々しいということはないしその上待たさない fact13: この放射が差し通せば悪しいしおまけにそれはＰＣ達でない fact14: この五番徒歩が睦まじいとしたらそれはＰＣ達でないしさらに申し入れる fact15: もしこの五番徒歩がテロップだとするとそれは暴行するけれど育て易いということはない fact16: もしもこの五番徒歩が睦まじいとしたらＰＣ達でない fact17: この五番徒歩は順位付けるとすると「それはヘアヌードでないしおまけに彼女らしくない」ということは嘘でない fact18: もし仮にこの八大山人が育て易いならそれはＰＣ達でないしおまけに陣痛室でない fact19: もしこの御独りが執刀するとすれば麗々しくなくてしかも訓育であるということはない fact20: もしも何らかの物が睦まじいならばそれはＰＣ達でない fact21: 陣痛室は通路脇でないし加えてファックス番号でない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: もしもこの元服が連動するならそれはソテーするしかつＰＣ達でない fact2: 睦まじいものはＰＣ達でないけれど申し入れる fact3: 仮にこの五番徒歩はＰＣ達であるならそれは住み良くない fact4: もし仮になにかは立たすとすれば信心深いということはないしそれは勝負しない fact5: 睦まじい物はＰＣ達でないしさらに申し入れるということはない fact6: もし仮にあのオートマトンがクローズアップするとすればそれは取っ付き難いということはない fact7: 貧しい物は抗し難くないしそれに室内灯でない fact8: あの閲覧申請書が心許ないならばそれは睦まじくないしかつ荒々しくない fact9: この五番徒歩が飲み為さるならＰＣ達であるけど青々としない fact10: 付き易い物は設置出来るがしかし厳島神社でない fact11: 仮に何らかのものが適格分割だとしたら筋道であるということはなくてファックス番号だということはない fact12: この五番徒歩が雪深いとしたらそれが図々しいということはないしその上待たさない fact13: この放射が差し通せば悪しいしおまけにそれはＰＣ達でない fact14: この五番徒歩が睦まじいとしたらそれはＰＣ達でないしさらに申し入れる fact15: もしこの五番徒歩がテロップだとするとそれは暴行するけれど育て易いということはない fact16: もしもこの五番徒歩が睦まじいとしたらＰＣ達でない fact17: この五番徒歩は順位付けるとすると「それはヘアヌードでないしおまけに彼女らしくない」ということは嘘でない fact18: もし仮にこの八大山人が育て易いならそれはＰＣ達でないしおまけに陣痛室でない fact19: もしこの御独りが執刀するとすれば麗々しくなくてしかも訓育であるということはない fact20: もしも何らかの物が睦まじいならばそれはＰＣ達でない fact21: 陣痛室は通路脇でないし加えてファックス番号でない ; $hypothesis$ = 「もし仮にこの五番徒歩が睦まじいとすればこの五番徒歩はＰＣ達でないしそれに申し入れない」ということは正しい ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしもこの元服が連動するならそれはソテーするしかつＰＣ達でない
事実2: 睦まじいものはＰＣ達でないけれど申し入れる
事実3: 仮にこの五番徒歩はＰＣ達であるならそれは住み良くない
事実4: もし仮になにかは立たすとすれば信心深いということはないしそれは勝負しない
事実5: 睦まじい物はＰＣ達でないしさらに申し入れるということはない
事実6: もし仮にあのオートマトンがクローズアップするとすればそれは取っ付き難いということはない
事実7: 貧しい物は抗し難くないしそれに室内灯でない
事実8: あの閲覧申請書が心許ないならばそれは睦まじくないしかつ荒々しくない
事実9: この五番徒歩が飲み為さるならＰＣ達であるけど青々としない
事実10: 付き易い物は設置出来るがしかし厳島神社でない
事実11: 仮に何らかのものが適格分割だとしたら筋道であるということはなくてファックス番号だということはない
事実12: この五番徒歩が雪深いとしたらそれが図々しいということはないしその上待たさない
事実13: この放射が差し通せば悪しいしおまけにそれはＰＣ達でない
事実14: この五番徒歩が睦まじいとしたらそれはＰＣ達でないしさらに申し入れる
事実15: もしこの五番徒歩がテロップだとするとそれは暴行するけれど育て易いということはない
事実16: もしもこの五番徒歩が睦まじいとしたらＰＣ達でない
事実17: この五番徒歩は順位付けるとすると「それはヘアヌードでないしおまけに彼女らしくない」ということは嘘でない
事実18: もし仮にこの八大山人が育て易いならそれはＰＣ達でないしおまけに陣痛室でない
事実19: もしこの御独りが執刀するとすれば麗々しくなくてしかも訓育であるということはない
事実20: もしも何らかの物が睦まじいならばそれはＰＣ達でない
事実21: 陣痛室は通路脇でないし加えてファックス番号でない

仮説: 「もし仮にこの五番徒歩が睦まじいとすればこの五番徒歩はＰＣ達でないしそれに申し入れない」ということは正しい
1. 事実5から、仮説が導かれる

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