この若葉広場は凄まじい一方で御すない
fact1: もし仮になにがしかの物が引き剥くならそれは戻し入れするしかつそれは訝しくない fact2: この保護施設は戻し入れしない fact3: もし「この保護施設は戻し入れしない」ということは事実だとすればこの若葉広場は凄まじい一方で御すない fact4: もし仮に「なんらかの物は戻し入れしない」ということは本当ならば「それは凄まじくてさらにそれは御すない」ということは成り立たない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
あの第三共和政は戻し入れするけどそれは訝しいということはない
fact5 -> int1: もしあの第三共和政が引き剥くとしたら戻し入れするが訝しくない;
$facts$ = fact1: もし仮になにがしかの物が引き剥くならそれは戻し入れするしかつそれは訝しくない fact2: この保護施設は戻し入れしない fact3: もし「この保護施設は戻し入れしない」ということは事実だとすればこの若葉広場は凄まじい一方で御すない fact4: もし仮に「なんらかの物は戻し入れしない」ということは本当ならば「それは凄まじくてさらにそれは御すない」ということは成り立たない ; $hypothesis$ = この若葉広場は凄まじい一方で御すない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物が引き剥くならそれは戻し入れするしかつそれは訝しくない
事実2: この保護施設は戻し入れしない
事実3: もし「この保護施設は戻し入れしない」ということは事実だとすればこの若葉広場は凄まじい一方で御すない
事実4: もし仮に「なんらかの物は戻し入れしない」ということは本当ならば「それは凄まじくてさらにそれは御すない」ということは成り立たない

仮説: この若葉広場は凄まじい一方で御すない
1. 事実3と事実2から、仮説が導かれる

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