その千八百四十年代は遊行するししかも御多忙である
fact1: もしもあの縁故者が生活道路ならばあの皮帯は生活道路だ fact2: このヘッドレストは問題系でない fact3: その千八百四十年代が作り過ぎないし更に圧勝しないとしたらあの縁故者は診療報酬請求でない fact4: あの縁故者は著書多数だということはない fact5: 仮にそのジェイが惚け行かないとすればその個人商店は惚け行く fact6: 仮になにがしかの物は診療報酬請求でないとしたらそれは生活道路であるしかつすっごい fact7: その千八百四十年代は著書多数でないとすれば「遊行するしまた御多忙だ」ということは間違いである fact8: あの縁故者が著書多数だということはないとするとその千八百四十年代は遊行するしさらに御多忙である fact9: そのジェイが率先しないとしたらその個人商店は惚け行く fact10: 仮に「比較し難いということはない」ものがあればそのジェイは惚け行かないかあるいは率先しない fact11: もし「なにかは曇り無しないしそれに縁組しない」ということは嘘だとするとそれは兵役税でない fact12: 法案成立は作り過ぎないし圧勝しない fact13: その木工クラフトは裳抜けで加えてＨＴＭＬファイルだ fact14: 仮に「「「治療社でないしかつ著書多数でない」ということは成り立つ」ということは嘘である」ものがあるとするとこの皮帯は著書多数だ fact15: 「その一枚ガラスは夫婦らしいがしかし甘くない」ということは誤っている fact16: 仮にこのヘッドレストは問題系でないならば「その千八百四十年代は曇り無しということはなくておまけに縁組しない」ということは成り立たない fact17: 「「その一枚ガラスは夫婦らしいけれど甘くない」ということは正しい」ということは偽であるとするとこの幹部行員は比較し難くない fact18: その千八百四十年代は御多忙である fact19: もし仮にとある物が兵役税でないとすると法案成立だしかつ締まる fact20: もしあの縁故者が著書多数でないならばその千八百四十年代は御多忙である fact21: その個人商店は惚け行けば「それは治療社でないしそれは著書多数だということはない」ということは事実と異なる
fact8 & fact4 -> hypothesis;
fact8 & fact4 -> hypothesis;
この皮帯は著書多数であるしその上生活道路である
fact27 & fact29 -> int1: この幹部行員は比較し難くない; int1 -> int2: 「比較し難くない」ものはある; int2 & fact24 -> int3: そのジェイは惚け行くということはないか率先しないか両方である; int3 & fact36 & fact33 -> int4: その個人商店は惚け行く; fact26 & int4 -> int5: 「「その個人商店は治療社でなくておまけに著書多数でない」ということは成り立つ」ということは成り立たない; int5 -> int6: 「「治療社でないしさらに著書多数でない」ということは成り立たない」ものはある; int6 & fact30 -> int7: この皮帯は著書多数だ; fact31 -> int8: 「あの縁故者は診療報酬請求でない」ということは成り立つとしたら生活道路であるし更にすっごい; fact22 -> int9: もし仮にその千八百四十年代は法案成立であるとすると作り過ぎないしおまけに圧勝しない; fact35 -> int10: 「その千八百四十年代は兵役税でない」ということは本当であるとしたらそれは法案成立でまた締まる; fact23 -> int11: もしも「その千八百四十年代は曇り無しないしおまけに縁組しない」ということは嘘であるとしたら兵役税でない; fact32 & fact34 -> int12: 「その千八百四十年代は曇り無しないし加えて縁組するということはない」ということは真実でない; int11 & int12 -> int13: その千八百四十年代は兵役税でない; int10 & int13 -> int14: その千八百四十年代は法案成立であるしそれは締まる; int14 -> int15: 「その千八百四十年代は法案成立だ」ということは成り立つ; int9 & int15 -> int16: その千八百四十年代は作り過ぎなくてその上圧勝しない; fact28 & int16 -> int17: あの縁故者は診療報酬請求でない; int8 & int17 -> int18: あの縁故者は生活道路であるしすっごい; int18 -> int19: 「あの縁故者は生活道路でない」ということは間違っている; fact25 & int19 -> int20: この皮帯は生活道路である; int7 & int20 -> 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$ = 
fact8 & fact4 -> hypothesis; __PROVED__
事実1: もしもあの縁故者が生活道路ならばあの皮帯は生活道路だ
事実2: このヘッドレストは問題系でない
事実3: その千八百四十年代が作り過ぎないし更に圧勝しないとしたらあの縁故者は診療報酬請求でない
事実4: あの縁故者は著書多数だということはない
事実5: 仮にそのジェイが惚け行かないとすればその個人商店は惚け行く
事実6: 仮になにがしかの物は診療報酬請求でないとしたらそれは生活道路であるしかつすっごい
事実7: その千八百四十年代は著書多数でないとすれば「遊行するしまた御多忙だ」ということは間違いである
事実8: あの縁故者が著書多数だということはないとするとその千八百四十年代は遊行するしさらに御多忙である
事実9: そのジェイが率先しないとしたらその個人商店は惚け行く
事実10: 仮に「比較し難いということはない」ものがあればそのジェイは惚け行かないかあるいは率先しない
事実11: もし「なにかは曇り無しないしそれに縁組しない」ということは嘘だとするとそれは兵役税でない
事実12: 法案成立は作り過ぎないし圧勝しない
事実13: その木工クラフトは裳抜けで加えてＨＴＭＬファイルだ
事実14: 仮に「「「治療社でないしかつ著書多数でない」ということは成り立つ」ということは嘘である」ものがあるとするとこの皮帯は著書多数だ
事実15: 「その一枚ガラスは夫婦らしいがしかし甘くない」ということは誤っている
事実16: 仮にこのヘッドレストは問題系でないならば「その千八百四十年代は曇り無しということはなくておまけに縁組しない」ということは成り立たない
事実17: 「「その一枚ガラスは夫婦らしいけれど甘くない」ということは正しい」ということは偽であるとするとこの幹部行員は比較し難くない
事実18: その千八百四十年代は御多忙である
事実19: もし仮にとある物が兵役税でないとすると法案成立だしかつ締まる
事実20: もしあの縁故者が著書多数でないならばその千八百四十年代は御多忙である
事実21: その個人商店は惚け行けば「それは治療社でないしそれは著書多数だということはない」ということは事実と異なる

仮説: その千八百四十年代は遊行するししかも御多忙である
1. 事実8と事実4から、仮説が導かれる

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