その投げはＣＣでない
fact1: もし何らかのものが入所するしその上禁止令だとすればＣＣでない fact2: 「その返却は禁止令であるということはないしさらに三十歳代でない」ということは誤っているとすればその新規形状パレットは禁止令だ fact3: もし仮になんらかのものが軽便鉄道建設費であるしその上申し添えるとするとそれは心優しくない fact4: その投げは入所する fact5: 仮にこの千円単位は悲しないとすれば「その返却はＡＸＯでないかそれは差し支え有る」ということは間違いだ fact6: もしも「その返却はＡＸＯでないかまたは差し支え有る」ということは偽であるならそれはパラグラフ内でない fact7: もしもなんらかの物は御見舞いするしかつアップルＴであるとすればそれは滑り難くない fact8: 仮に「「その投げはＣＣでないしその上入所しない」ということは偽である」ということは真実であるとするとあの太平洋戦争末期は入所する fact9: その投げは仕掛けない fact10: その投げは禁止令だ fact11: とあるものはパラグラフ内でないならば「それは禁止令でなくてその上三十歳代であるということはない」ということは事実と異なる
fact4 & fact10 -> int1: その投げは入所するしそれは禁止令だ; fact1 -> int2: もし仮にその投げが入所するしそれが禁止令ならばそれはＣＣでない; int1 & int2 -> hypothesis;
「あの太平洋戦争末期は入所する」ということは成り立つ
fact15 -> int3: もし「その返却はパラグラフ内でない」ということは事実だとすると「それは禁止令でないしおまけに三十歳代でない」ということは偽だ;
$facts$ = fact1: もし何らかのものが入所するしその上禁止令だとすればＣＣでない fact2: 「その返却は禁止令であるということはないしさらに三十歳代でない」ということは誤っているとすればその新規形状パレットは禁止令だ fact3: もし仮になんらかのものが軽便鉄道建設費であるしその上申し添えるとするとそれは心優しくない fact4: その投げは入所する fact5: 仮にこの千円単位は悲しないとすれば「その返却はＡＸＯでないかそれは差し支え有る」ということは間違いだ fact6: もしも「その返却はＡＸＯでないかまたは差し支え有る」ということは偽であるならそれはパラグラフ内でない fact7: もしもなんらかの物は御見舞いするしかつアップルＴであるとすればそれは滑り難くない fact8: 仮に「「その投げはＣＣでないしその上入所しない」ということは偽である」ということは真実であるとするとあの太平洋戦争末期は入所する fact9: その投げは仕掛けない fact10: その投げは禁止令だ fact11: とあるものはパラグラフ内でないならば「それは禁止令でなくてその上三十歳代であるということはない」ということは事実と異なる ; $hypothesis$ = その投げはＣＣでない ; $proof$ = 
fact4 & fact10 -> int1: その投げは入所するしそれは禁止令だ; fact1 -> int2: もし仮にその投げが入所するしそれが禁止令ならばそれはＣＣでない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし何らかのものが入所するしその上禁止令だとすればＣＣでない
事実2: 「その返却は禁止令であるということはないしさらに三十歳代でない」ということは誤っているとすればその新規形状パレットは禁止令だ
事実3: もし仮になんらかのものが軽便鉄道建設費であるしその上申し添えるとするとそれは心優しくない
事実4: その投げは入所する
事実5: 仮にこの千円単位は悲しないとすれば「その返却はＡＸＯでないかそれは差し支え有る」ということは間違いだ
事実6: もしも「その返却はＡＸＯでないかまたは差し支え有る」ということは偽であるならそれはパラグラフ内でない
事実7: もしもなんらかの物は御見舞いするしかつアップルＴであるとすればそれは滑り難くない
事実8: 仮に「「その投げはＣＣでないしその上入所しない」ということは偽である」ということは真実であるとするとあの太平洋戦争末期は入所する
事実9: その投げは仕掛けない
事実10: その投げは禁止令だ
事実11: とあるものはパラグラフ内でないならば「それは禁止令でなくてその上三十歳代であるということはない」ということは事実と異なる

仮説: その投げはＣＣでない
1. 事実4と事実10から、推論1: "その投げは入所するしそれは禁止令だ"が導かれる
2. 事実1から、推論2: "もし仮にその投げが入所するしそれが禁止令ならばそれはＣＣでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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