「あの校名は中古・再生住宅でそれは当然過ぎる」ということは成り立つ
fact1: そのビバ関西は統治する fact2: もしあの大円和尚が拝見致すとすればそのアニメ系は拝見致す fact3: もしも「何らかの物は物しない」ということは正しいとすると「それは女性国際戦犯法廷でなくて更にそれはレーダー探知器でない」ということは誤っている fact4: もし仮にこの競技失格が物するかまたは申請出来るとするとあの大円和尚は物しない fact5: もしも何かは拝見致せばそれは子供らしい fact6: 仮に「「あるものは女性国際戦犯法廷でないしそれにレーダー探知器でない」ということは真実だ」ということは成り立たないなら女性国際戦犯法廷だ fact7: もしもあの年齢別が背黄青鸚哥であるかあるいは子供らしくないとするとあの校名は送稿する fact8: もし仮に「そのアニメ系は子供らしい」ということは誤りでないとしたらあの財務諸表監査は背黄青鸚哥でない fact9: あの檀家制は子供らしくない fact10: 仮に「あの校名は女性国際戦犯法廷でない」ということは確かであるとしたらそれは拝見致すしそれは中古・再生住宅だ fact11: もし仮に何かは女性国際戦犯法廷であるとすればそれは拝見致す fact12: もしもあの校名が触発しないかもしくはそれが食べ易いとするとそれは膨れ上がらない fact13: もしもあの年齢別が子供らしくないとするとそれは送稿するし当たり易い fact14: あの年齢別は背黄青鸚哥であるかそれは子供らしくないかまたはどちらもだ fact15: もし仮になにかは統治するし当たり易いとするとそれは触発しない fact16: この競技失格はＬ‐ドーパ剤でない fact17: もしあの校名は膨れ上がらないが送稿するとすると当然過ぎる fact18: この競技失格はＬ‐ドーパ剤でないとしたら物するか申請出来るかまたは両方だ fact19: もしとある物は背黄青鸚哥でないとすると膨れ上がるし更に送稿する fact20: あの校名は統治する fact21: あの校名は女性国際戦犯法廷でない fact22: あの校名は当たり易い fact23: もし仮に食べ易くない物は触発しないとしたら「中古・再生住宅でない」ということは成り立つ fact24: そのサムは背黄青鸚哥でない fact25: 「仮に「膨れ上がる」物があるとすればあの年齢別は食べ易くないし加えて触発しない」ということは誤りでない fact26: あの年齢別は女性国際戦犯法廷だ
fact15 -> int1: もしもあの校名は統治するしそれに当たり易いならば触発しない; fact22 & fact20 -> int2: あの校名は統治するし更にそれは当たり易い; int1 & int2 -> int3: あの校名は触発しない; int3 -> int4: あの校名は触発しないかそれは食べ易い; int4 & fact12 -> int5: あの校名は膨れ上がらない; fact7 & fact14 -> int6: 「あの校名は送稿する」ということは成り立つ; int5 & int6 -> int7: あの校名は膨れ上がらないけれど送稿する; int7 & fact17 -> int8: 「あの校名は当然過ぎる」ということは事実だ; fact10 & fact21 -> int9: あの校名は拝見致すししかも中古・再生住宅だ; int9 -> int10: あの校名は中古・再生住宅だ; int8 & int10 -> hypothesis;
「あの校名は中古・再生住宅であるししかも当然過ぎる」ということは誤っている
fact36 -> int11: もしもあの年齢別が食べ易くないしさらに触発しないとすれば中古・再生住宅でない; fact37 -> int12: 「「あの財務諸表監査は背黄青鸚哥でない」ということは成り立つとするとあの財務諸表監査は膨れ上がるし送稿する」ということは正しい; fact33 -> int13: もしそのアニメ系が拝見致すとすれば子供らしい; fact34 -> int14: もし仮にあの大円和尚が女性国際戦犯法廷だとしたら拝見致す; fact27 -> int15: もしも「「あの大円和尚は女性国際戦犯法廷であるということはないしおまけにレーダー探知器でない」ということは偽でない」ということは偽なら女性国際戦犯法廷である; fact28 -> int16: もし仮にあの大円和尚は物しないとすれば「それは女性国際戦犯法廷だということはなくてそれはレーダー探知器でない」ということは成り立つということはない; fact31 & fact29 -> int17: この競技失格は物するかまたはそれは申請出来るか両方ともである; fact30 & int17 -> int18: あの大円和尚は物するということはない; int16 & int18 -> int19: 「あの大円和尚は女性国際戦犯法廷でないしその上レーダー探知器でない」ということは誤っている; int15 & int19 -> int20: あの大円和尚は女性国際戦犯法廷だ; int14 & int20 -> int21: あの大円和尚は拝見致す; fact32 & int21 -> int22: そのアニメ系は拝見致す; int13 & int22 -> int23: 「そのアニメ系は子供らしくない」ということは間違いである; fact38 & int23 -> int24: あの財務諸表監査は背黄青鸚哥でない; int12 & int24 -> int25: あの財務諸表監査は膨れ上がるしそれに送稿する; int25 -> int26: あの財務諸表監査は膨れ上がる; int26 -> int27: 「膨れ上がる」ものはある; int27 & fact35 -> int28: あの年齢別は食べ易くないし触発するということはない; int11 & int28 -> int29: あの年齢別は中古・再生住宅でない; int29 -> int30: 「中古・再生住宅でない」物はある;
$facts$ = fact1: そのビバ関西は統治する fact2: もしあの大円和尚が拝見致すとすればそのアニメ系は拝見致す fact3: もしも「何らかの物は物しない」ということは正しいとすると「それは女性国際戦犯法廷でなくて更にそれはレーダー探知器でない」ということは誤っている fact4: もし仮にこの競技失格が物するかまたは申請出来るとするとあの大円和尚は物しない fact5: もしも何かは拝見致せばそれは子供らしい fact6: 仮に「「あるものは女性国際戦犯法廷でないしそれにレーダー探知器でない」ということは真実だ」ということは成り立たないなら女性国際戦犯法廷だ fact7: もしもあの年齢別が背黄青鸚哥であるかあるいは子供らしくないとするとあの校名は送稿する fact8: もし仮に「そのアニメ系は子供らしい」ということは誤りでないとしたらあの財務諸表監査は背黄青鸚哥でない fact9: あの檀家制は子供らしくない fact10: 仮に「あの校名は女性国際戦犯法廷でない」ということは確かであるとしたらそれは拝見致すしそれは中古・再生住宅だ fact11: もし仮に何かは女性国際戦犯法廷であるとすればそれは拝見致す fact12: もしもあの校名が触発しないかもしくはそれが食べ易いとするとそれは膨れ上がらない fact13: もしもあの年齢別が子供らしくないとするとそれは送稿するし当たり易い fact14: あの年齢別は背黄青鸚哥であるかそれは子供らしくないかまたはどちらもだ fact15: もし仮になにかは統治するし当たり易いとするとそれは触発しない fact16: この競技失格はＬ‐ドーパ剤でない fact17: もしあの校名は膨れ上がらないが送稿するとすると当然過ぎる fact18: この競技失格はＬ‐ドーパ剤でないとしたら物するか申請出来るかまたは両方だ fact19: もしとある物は背黄青鸚哥でないとすると膨れ上がるし更に送稿する fact20: あの校名は統治する fact21: あの校名は女性国際戦犯法廷でない fact22: あの校名は当たり易い fact23: もし仮に食べ易くない物は触発しないとしたら「中古・再生住宅でない」ということは成り立つ fact24: そのサムは背黄青鸚哥でない fact25: 「仮に「膨れ上がる」物があるとすればあの年齢別は食べ易くないし加えて触発しない」ということは誤りでない fact26: あの年齢別は女性国際戦犯法廷だ ; $hypothesis$ = 「あの校名は中古・再生住宅でそれは当然過ぎる」ということは成り立つ ; $proof$ = 
fact15 -> int1: もしもあの校名は統治するしそれに当たり易いならば触発しない; fact22 & fact20 -> int2: あの校名は統治するし更にそれは当たり易い; int1 & int2 -> int3: あの校名は触発しない; int3 -> int4: あの校名は触発しないかそれは食べ易い; int4 & fact12 -> int5: あの校名は膨れ上がらない; fact7 & fact14 -> int6: 「あの校名は送稿する」ということは成り立つ; int5 & int6 -> int7: あの校名は膨れ上がらないけれど送稿する; int7 & fact17 -> int8: 「あの校名は当然過ぎる」ということは事実だ; fact10 & fact21 -> int9: あの校名は拝見致すししかも中古・再生住宅だ; int9 -> int10: あの校名は中古・再生住宅だ; int8 & int10 -> hypothesis; __PROVED__
事実1: そのビバ関西は統治する
事実2: もしあの大円和尚が拝見致すとすればそのアニメ系は拝見致す
事実3: もしも「何らかの物は物しない」ということは正しいとすると「それは女性国際戦犯法廷でなくて更にそれはレーダー探知器でない」ということは誤っている
事実4: もし仮にこの競技失格が物するかまたは申請出来るとするとあの大円和尚は物しない
事実5: もしも何かは拝見致せばそれは子供らしい
事実6: 仮に「「あるものは女性国際戦犯法廷でないしそれにレーダー探知器でない」ということは真実だ」ということは成り立たないなら女性国際戦犯法廷だ
事実7: もしもあの年齢別が背黄青鸚哥であるかあるいは子供らしくないとするとあの校名は送稿する
事実8: もし仮に「そのアニメ系は子供らしい」ということは誤りでないとしたらあの財務諸表監査は背黄青鸚哥でない
事実9: あの檀家制は子供らしくない
事実10: 仮に「あの校名は女性国際戦犯法廷でない」ということは確かであるとしたらそれは拝見致すしそれは中古・再生住宅だ
事実11: もし仮に何かは女性国際戦犯法廷であるとすればそれは拝見致す
事実12: もしもあの校名が触発しないかもしくはそれが食べ易いとするとそれは膨れ上がらない
事実13: もしもあの年齢別が子供らしくないとするとそれは送稿するし当たり易い
事実14: あの年齢別は背黄青鸚哥であるかそれは子供らしくないかまたはどちらもだ
事実15: もし仮になにかは統治するし当たり易いとするとそれは触発しない
事実16: この競技失格はＬ‐ドーパ剤でない
事実17: もしあの校名は膨れ上がらないが送稿するとすると当然過ぎる
事実18: この競技失格はＬ‐ドーパ剤でないとしたら物するか申請出来るかまたは両方だ
事実19: もしとある物は背黄青鸚哥でないとすると膨れ上がるし更に送稿する
事実20: あの校名は統治する
事実21: あの校名は女性国際戦犯法廷でない
事実22: あの校名は当たり易い
事実23: もし仮に食べ易くない物は触発しないとしたら「中古・再生住宅でない」ということは成り立つ
事実24: そのサムは背黄青鸚哥でない
事実25: 「仮に「膨れ上がる」物があるとすればあの年齢別は食べ易くないし加えて触発しない」ということは誤りでない
事実26: あの年齢別は女性国際戦犯法廷だ

仮説: 「あの校名は中古・再生住宅でそれは当然過ぎる」ということは成り立つ
1. 事実15から、推論1: "もしもあの校名は統治するしそれに当たり易いならば触発しない"が導かれる
2. 事実22と事実20から、推論2: "あの校名は統治するし更にそれは当たり易い"が導かれる
3. 推論1と推論2から、推論3: "あの校名は触発しない"が導かれる
4. 推論3から、推論4: "あの校名は触発しないかそれは食べ易い"が導かれる
5. 推論4と事実12から、推論5: "あの校名は膨れ上がらない"が導かれる
6. 事実7と事実14から、推論6: "「あの校名は送稿する」ということは成り立つ"が導かれる
7. 推論5と推論6から、推論7: "あの校名は膨れ上がらないけれど送稿する"が導かれる
8. 推論7と事実17から、推論8: "「あの校名は当然過ぎる」ということは事実だ"が導かれる
9. 事実10と事実21から、推論9: "あの校名は拝見致すししかも中古・再生住宅だ"が導かれる
10. 推論9から、推論10: "あの校名は中古・再生住宅だ"が導かれる
11. 推論8と推論10から、仮説が導かれる

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