その興は鉄筋だけど第二項中でない
fact1: もし仮にこの需要面が重視しないが痛め付ければその興は痛め付ける fact2: 仮に「その興は訝しいけどそれはローションでない」ということは事実でないとするとそれは鉄筋である fact3: 「ちかちかしない」物はある fact4: もしなにかは四住期でなくてちかちかしないとすればその全席禁煙は第十四．十四図でない fact5: とあるものは四住期でないしかつちかちかするということはない fact6: もしあの炊飯ジャーはちかちかするとすると「「その全席禁煙は四住期だけれど訝しくない」ということは誤りである」ということは成り立つ fact7: もし仮に日本車が重視すれば第二項中でない fact8: 仮にその全席禁煙は四住期でないなら「「その興は鉄筋であるけれど第二項中でない」ということは嘘だ」ということは正しい fact9: その興は飽き飽きするか童鬼だ fact10: この成長支援は請願しない fact11: 童鬼は重視する fact12: もし「四住期でないがしかしちかちかする」物があるとしたらその全席禁煙は第十四．十四図でない fact13: もし仮にある物が第十四．十四図でなくてそれに請願しないなら「あの炊飯ジャーは痛め付ける」ということは真実である fact14: その興が痛め付けるならそれは請願する fact15: もし「あの炊飯ジャーは痛め付ける」ということは本当であるとしたらその興は日本車だ fact16: もしその興が訝しいということはないとするとそれは鉄筋である fact17: 仮に「その全席禁煙は四住期だがしかし訝しくない」ということは真実でないとすればこのハイミスは訝しい fact18: もしもあの崇拝が日本車だとするとこの需要面は重視するということはないがしかし痛め付ける fact19: その全席禁煙は請願しない fact20: もし仮になにがしかの物が飽き飽きするならそれは重視する fact21: 何らかのものは第十四．十四図でないがしかし請願する fact22: 「その興は訝しいけどローションでない」ということは事実と異なる
fact5 & fact4 -> int1: 「その全席禁煙は第十四．十四図でない」ということは正しい; int1 & fact19 -> int2: その全席禁煙は第十四．十四図でないし請願しない; int2 -> int3: 何らかのものは第十四．十四図でないしそれは請願しない; int3 & fact13 -> int4: あの炊飯ジャーは痛め付ける; int4 & fact15 -> int5: その興は日本車である; fact20 -> int6: その興が飽き飽きするとすれば重視する; fact11 -> int7: もしその興は童鬼であるならば重視する; int6 & int7 & fact9 -> int8: その興は重視する; int5 & int8 -> int9: その興は日本車であるしかつ重視する; fact7 -> int10: 「もしその興が日本車だし重視するならその興は第二項中でない」ということは成り立つ; int9 & int10 -> int11: 「その興は第二項中でない」ということは成り立つ; fact22 & fact2 -> int12: その興は鉄筋だ; int11 & int12 -> hypothesis;
「その興は鉄筋だ一方で第二項中でない」ということは正しくない
$facts$ = fact1: もし仮にこの需要面が重視しないが痛め付ければその興は痛め付ける fact2: 仮に「その興は訝しいけどそれはローションでない」ということは事実でないとするとそれは鉄筋である fact3: 「ちかちかしない」物はある fact4: もしなにかは四住期でなくてちかちかしないとすればその全席禁煙は第十四．十四図でない fact5: とあるものは四住期でないしかつちかちかするということはない fact6: もしあの炊飯ジャーはちかちかするとすると「「その全席禁煙は四住期だけれど訝しくない」ということは誤りである」ということは成り立つ fact7: もし仮に日本車が重視すれば第二項中でない fact8: 仮にその全席禁煙は四住期でないなら「「その興は鉄筋であるけれど第二項中でない」ということは嘘だ」ということは正しい fact9: その興は飽き飽きするか童鬼だ fact10: この成長支援は請願しない fact11: 童鬼は重視する fact12: もし「四住期でないがしかしちかちかする」物があるとしたらその全席禁煙は第十四．十四図でない fact13: もし仮にある物が第十四．十四図でなくてそれに請願しないなら「あの炊飯ジャーは痛め付ける」ということは真実である fact14: その興が痛め付けるならそれは請願する fact15: もし「あの炊飯ジャーは痛め付ける」ということは本当であるとしたらその興は日本車だ fact16: もしその興が訝しいということはないとするとそれは鉄筋である fact17: 仮に「その全席禁煙は四住期だがしかし訝しくない」ということは真実でないとすればこのハイミスは訝しい fact18: もしもあの崇拝が日本車だとするとこの需要面は重視するということはないがしかし痛め付ける fact19: その全席禁煙は請願しない fact20: もし仮になにがしかの物が飽き飽きするならそれは重視する fact21: 何らかのものは第十四．十四図でないがしかし請願する fact22: 「その興は訝しいけどローションでない」ということは事実と異なる ; $hypothesis$ = その興は鉄筋だけど第二項中でない ; $proof$ = 
fact5 & fact4 -> int1: 「その全席禁煙は第十四．十四図でない」ということは正しい; int1 & fact19 -> int2: その全席禁煙は第十四．十四図でないし請願しない; int2 -> int3: 何らかのものは第十四．十四図でないしそれは請願しない; int3 & fact13 -> int4: あの炊飯ジャーは痛め付ける; int4 & fact15 -> int5: その興は日本車である; fact20 -> int6: その興が飽き飽きするとすれば重視する; fact11 -> int7: もしその興は童鬼であるならば重視する; int6 & int7 & fact9 -> int8: その興は重視する; int5 & int8 -> int9: その興は日本車であるしかつ重視する; fact7 -> int10: 「もしその興が日本車だし重視するならその興は第二項中でない」ということは成り立つ; int9 & int10 -> int11: 「その興は第二項中でない」ということは成り立つ; fact22 & fact2 -> int12: その興は鉄筋だ; int11 & int12 -> hypothesis; __PROVED__
事実1: もし仮にこの需要面が重視しないが痛め付ければその興は痛め付ける
事実2: 仮に「その興は訝しいけどそれはローションでない」ということは事実でないとするとそれは鉄筋である
事実3: 「ちかちかしない」物はある
事実4: もしなにかは四住期でなくてちかちかしないとすればその全席禁煙は第十四．十四図でない
事実5: とあるものは四住期でないしかつちかちかするということはない
事実6: もしあの炊飯ジャーはちかちかするとすると「「その全席禁煙は四住期だけれど訝しくない」ということは誤りである」ということは成り立つ
事実7: もし仮に日本車が重視すれば第二項中でない
事実8: 仮にその全席禁煙は四住期でないなら「「その興は鉄筋であるけれど第二項中でない」ということは嘘だ」ということは正しい
事実9: その興は飽き飽きするか童鬼だ
事実10: この成長支援は請願しない
事実11: 童鬼は重視する
事実12: もし「四住期でないがしかしちかちかする」物があるとしたらその全席禁煙は第十四．十四図でない
事実13: もし仮にある物が第十四．十四図でなくてそれに請願しないなら「あの炊飯ジャーは痛め付ける」ということは真実である
事実14: その興が痛め付けるならそれは請願する
事実15: もし「あの炊飯ジャーは痛め付ける」ということは本当であるとしたらその興は日本車だ
事実16: もしその興が訝しいということはないとするとそれは鉄筋である
事実17: 仮に「その全席禁煙は四住期だがしかし訝しくない」ということは真実でないとすればこのハイミスは訝しい
事実18: もしもあの崇拝が日本車だとするとこの需要面は重視するということはないがしかし痛め付ける
事実19: その全席禁煙は請願しない
事実20: もし仮になにがしかの物が飽き飽きするならそれは重視する
事実21: 何らかのものは第十四．十四図でないがしかし請願する
事実22: 「その興は訝しいけどローションでない」ということは事実と異なる

仮説: その興は鉄筋だけど第二項中でない
1. 事実5と事実4から、推論1: "「その全席禁煙は第十四．十四図でない」ということは正しい"が導かれる
2. 推論1と事実19から、推論2: "その全席禁煙は第十四．十四図でないし請願しない"が導かれる
3. 推論2から、推論3: "何らかのものは第十四．十四図でないしそれは請願しない"が導かれる
4. 推論3と事実13から、推論4: "あの炊飯ジャーは痛め付ける"が導かれる
5. 推論4と事実15から、推論5: "その興は日本車である"が導かれる
6. 事実20から、推論6: "その興が飽き飽きするとすれば重視する"が導かれる
7. 事実11から、推論7: "もしその興は童鬼であるならば重視する"が導かれる
8. 推論6と推論7と事実9から、推論8: "その興は重視する"が導かれる
9. 推論5と推論8から、推論9: "その興は日本車であるしかつ重視する"が導かれる
10. 事実7から、推論10: "「もしその興が日本車だし重視するならその興は第二項中でない」ということは成り立つ"が導かれる
11. 推論9と推論10から、推論11: "「その興は第二項中でない」ということは成り立つ"が導かれる
12. 事実22と事実2から、推論12: "その興は鉄筋だ"が導かれる
13. 推論11と推論12から、仮説が導かれる

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