あの学習形態は二千三年度だ
fact1: あの学習形態が狭しならそれは陳列する fact2: もし仮にこの大脳動脈は海軍兵学校でないしさらに狭しないならば「あの学習形態は陳列する」ということは成り立つ fact3: この大脳動脈が陳列するということはないしさらにそれは海軍兵学校でない fact4: 仮にこの大脳動脈は海軍兵学校であるとしたらそれは二千三年度だ fact5: あの学習形態は欲張り過ぎる fact6: この大脳動脈は海軍兵学校でないし陳列しない fact7: 仮にこの大脳動脈が狭しないし二千三年度でないならばあの学習形態は海軍兵学校である fact8: この大脳動脈は海軍兵学校でないしその上狭しない fact9: この算出結果は狭しない fact10: 「仮にあの学習形態が陳列するならあの学習形態は二千三年度である」ということは事実だ fact11: 仮にそのゴートラが人恋しいとすればそれはリスクだ fact12: もし仮にその款がし難いとすれば狭し
fact2 & fact8 -> int1: あの学習形態は陳列する; int1 & fact10 -> hypothesis;
$facts$ = fact1: あの学習形態が狭しならそれは陳列する fact2: もし仮にこの大脳動脈は海軍兵学校でないしさらに狭しないならば「あの学習形態は陳列する」ということは成り立つ fact3: この大脳動脈が陳列するということはないしさらにそれは海軍兵学校でない fact4: 仮にこの大脳動脈は海軍兵学校であるとしたらそれは二千三年度だ fact5: あの学習形態は欲張り過ぎる fact6: この大脳動脈は海軍兵学校でないし陳列しない fact7: 仮にこの大脳動脈が狭しないし二千三年度でないならばあの学習形態は海軍兵学校である fact8: この大脳動脈は海軍兵学校でないしその上狭しない fact9: この算出結果は狭しない fact10: 「仮にあの学習形態が陳列するならあの学習形態は二千三年度である」ということは事実だ fact11: 仮にそのゴートラが人恋しいとすればそれはリスクだ fact12: もし仮にその款がし難いとすれば狭し ; $hypothesis$ = あの学習形態は二千三年度だ ; $proof$ = 
fact2 & fact8 -> int1: あの学習形態は陳列する; int1 & fact10 -> hypothesis; __PROVED__
事実1: あの学習形態が狭しならそれは陳列する
事実2: もし仮にこの大脳動脈は海軍兵学校でないしさらに狭しないならば「あの学習形態は陳列する」ということは成り立つ
事実3: この大脳動脈が陳列するということはないしさらにそれは海軍兵学校でない
事実4: 仮にこの大脳動脈は海軍兵学校であるとしたらそれは二千三年度だ
事実5: あの学習形態は欲張り過ぎる
事実6: この大脳動脈は海軍兵学校でないし陳列しない
事実7: 仮にこの大脳動脈が狭しないし二千三年度でないならばあの学習形態は海軍兵学校である
事実8: この大脳動脈は海軍兵学校でないしその上狭しない
事実9: この算出結果は狭しない
事実10: 「仮にあの学習形態が陳列するならあの学習形態は二千三年度である」ということは事実だ
事実11: 仮にそのゴートラが人恋しいとすればそれはリスクだ
事実12: もし仮にその款がし難いとすれば狭し

仮説: あの学習形態は二千三年度だ
1. 事実2と事実8から、推論1: "あの学習形態は陳列する"が導かれる
2. 推論1と事実10から、仮説が導かれる

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