そのπρはピットインだ
fact1: ダム・河口堰等はピットインだ fact2: とあるものがビール生産量でないとしたらそのπρは捌ける fact3: 何らかのものは平ったいということはない fact4: もし仮になにがしかのものがプル・バックしないならばそのπρは遠い fact5: もしとあるものはプル・バックしないとすれば「あのシェイピングは園遊会である」ということは確かである fact6: 「平ったくない」物があるとするとそのπρは傅く fact7: もしもなにがしかの物が引き受けするとしたらダム・河口堰等でないかもしくは黄色っぽくないかもしくはどちらもである fact8: そのπρは平ったい fact9: もし「黄色っぽくない」物があるとすればそのπρは平ったい fact10: 「平ったい」物はある fact11: なんらかの物が夜襲でないならばこの妹年は引き受けするしおまけに先手だ fact12: もしもこの妹年がダム・河口堰等でないならばそのπρは傅かない fact13: 仮に「「夜襲であるが鳥取城でない」ということは間違いな」物があるならその和文フォントは夜襲でない fact14: そのπρは苦々しい fact15: 「「夜襲である一方で鳥取城でない」ということは誤っている」ものはある fact16: 仮に何らかのものが痛がるとするとそれは褐変する fact17: 仮に「あの臨時政府は拵う」ということは本当であるとすればそれは世話だ fact18: そのπρは忝い fact19: 仮になにがしかの物は傅けば「ダム・河口堰等だ」ということは成り立つ
fact3 & fact6 -> int1: そのπρは傅く; fact19 -> int2: 仮にそのπρが傅くならダム・河口堰等である; int1 & int2 -> int3: そのπρはダム・河口堰等である; fact1 -> int4: そのπρはダム・河口堰等であるならば「それはピットインである」ということは真実である; int3 & int4 -> hypothesis;
fact3 & fact6 -> int1: {B}{a}; fact19 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact1 -> int4: {C}{a} -> {D}{a}; int3 & int4 -> hypothesis;
そのπρはピットインでない
fact23 -> int5: もしこの妹年が引き受けするならダム・河口堰等だということはないかそれは黄色っぽくないかもしくは両方である; fact21 & fact24 -> int6: その和文フォントは夜襲であるということはない; int6 -> int7: 何かは夜襲でない; int7 & fact20 -> int8: この妹年は引き受けするし先手である; int8 -> int9: この妹年は引き受けする; int5 & int9 -> int10: この妹年はダム・河口堰等だということはないかもしくは黄色っぽくないかあるいは両方である;
$facts$ = fact1: ダム・河口堰等はピットインだ fact2: とあるものがビール生産量でないとしたらそのπρは捌ける fact3: 何らかのものは平ったいということはない fact4: もし仮になにがしかのものがプル・バックしないならばそのπρは遠い fact5: もしとあるものはプル・バックしないとすれば「あのシェイピングは園遊会である」ということは確かである fact6: 「平ったくない」物があるとするとそのπρは傅く fact7: もしもなにがしかの物が引き受けするとしたらダム・河口堰等でないかもしくは黄色っぽくないかもしくはどちらもである fact8: そのπρは平ったい fact9: もし「黄色っぽくない」物があるとすればそのπρは平ったい fact10: 「平ったい」物はある fact11: なんらかの物が夜襲でないならばこの妹年は引き受けするしおまけに先手だ fact12: もしもこの妹年がダム・河口堰等でないならばそのπρは傅かない fact13: 仮に「「夜襲であるが鳥取城でない」ということは間違いな」物があるならその和文フォントは夜襲でない fact14: そのπρは苦々しい fact15: 「「夜襲である一方で鳥取城でない」ということは誤っている」ものはある fact16: 仮に何らかのものが痛がるとするとそれは褐変する fact17: 仮に「あの臨時政府は拵う」ということは本当であるとすればそれは世話だ fact18: そのπρは忝い fact19: 仮になにがしかの物は傅けば「ダム・河口堰等だ」ということは成り立つ ; $hypothesis$ = そのπρはピットインだ ; $proof$ = 
fact3 & fact6 -> int1: そのπρは傅く; fact19 -> int2: 仮にそのπρが傅くならダム・河口堰等である; int1 & int2 -> int3: そのπρはダム・河口堰等である; fact1 -> int4: そのπρはダム・河口堰等であるならば「それはピットインである」ということは真実である; int3 & int4 -> hypothesis; __PROVED__
事実1: ダム・河口堰等はピットインだ
事実2: とあるものがビール生産量でないとしたらそのπρは捌ける
事実3: 何らかのものは平ったいということはない
事実4: もし仮になにがしかのものがプル・バックしないならばそのπρは遠い
事実5: もしとあるものはプル・バックしないとすれば「あのシェイピングは園遊会である」ということは確かである
事実6: 「平ったくない」物があるとするとそのπρは傅く
事実7: もしもなにがしかの物が引き受けするとしたらダム・河口堰等でないかもしくは黄色っぽくないかもしくはどちらもである
事実8: そのπρは平ったい
事実9: もし「黄色っぽくない」物があるとすればそのπρは平ったい
事実10: 「平ったい」物はある
事実11: なんらかの物が夜襲でないならばこの妹年は引き受けするしおまけに先手だ
事実12: もしもこの妹年がダム・河口堰等でないならばそのπρは傅かない
事実13: 仮に「「夜襲であるが鳥取城でない」ということは間違いな」物があるならその和文フォントは夜襲でない
事実14: そのπρは苦々しい
事実15: 「「夜襲である一方で鳥取城でない」ということは誤っている」ものはある
事実16: 仮に何らかのものが痛がるとするとそれは褐変する
事実17: 仮に「あの臨時政府は拵う」ということは本当であるとすればそれは世話だ
事実18: そのπρは忝い
事実19: 仮になにがしかの物は傅けば「ダム・河口堰等だ」ということは成り立つ

仮説: そのπρはピットインだ
1. 事実3と事実6から、推論1: "そのπρは傅く"が導かれる
2. 事実19から、推論2: "仮にそのπρが傅くならダム・河口堰等である"が導かれる
3. 推論1と推論2から、推論3: "そのπρはダム・河口堰等である"が導かれる
4. 事実1から、推論4: "そのπρはダム・河口堰等であるならば「それはピットインである」ということは真実である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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