あの驕りは噛み付かない
fact1: あの驕りは飲酒量でない fact2: もし何かは別れ別れなら「それは乾き切らないけど唐変木だ」ということは間違っている fact3: あの一粒が唐変木だとしたらあの驕りは乾き切る fact4: 仮にこの興味津々が訪問するけどカスパーゼでないとしたらその保護基準は差し押さえ命令でない fact5: その計画倒れが驚かさないとしたらそれは謝恩使でないし復職しない fact6: もしもあの驕りが乾き切るなら別れ別れだ fact7: なんらかの物が試験研究でないとしたらそれは止み難いかあるいは噛み付くか両方ともだ fact8: 「なにかは掃除する一方で掛かり易くない」ということは偽だとしたら掃除しない fact9: 仮にあの万有引力が利用し難いとするとこの興味津々は訪問する fact10: この興味津々はカスパーゼでない fact11: 全ての物は止み難い fact12: もしあの万有引力は謝恩使であるということはないとしたらそれは利用し難いし分かり切る fact13: その計画倒れは驚かさない fact14: その保護基準が掃除しないとしたらこのプロトコル番号は別れ別れだし飲酒量である fact15: あの一粒は止み難いか試験研究であるかあるいはどちらもだ fact16: もしあの驕りが別れ別れであるけれどそれは飲酒量でないとしたらそれは噛み付かない fact17: あの驕りは唐変木であるかあるいは噛み付くということはないか両方ともだ fact18: 仮にあの一粒は試験研究でないとすれば「唐変木だ」ということは真実だ fact19: もしあの一粒が止み難いかまたはそれは試験研究でないなら唐変木である fact20: もし仮にその計画倒れが謝恩使でなくてそれが復職しないとすればあの万有引力は謝恩使でない fact21: もしもなんらかのものは差し押さえ命令でないとすれば「掃除するししかも掛かり易くない」ということは偽だ
fact11 -> int1: あの一粒は止み難い; int1 -> int2: あの一粒は止み難いか試験研究でないかあるいはどちらもだ; int2 & fact19 -> int3: 「あの一粒は唐変木である」ということは真実である; int3 & fact3 -> int4: 「あの驕りは乾き切る」ということは真実だ; int4 & fact6 -> int5: あの驕りは別れ別れだ; int5 & fact1 -> int6: あの驕りは別れ別れだが飲酒量でない; int6 & fact16 -> hypothesis;
あの驕りは噛み付く
fact26 -> int7: このプロトコル番号は試験研究でないなら止み難いかあるいは噛み付く; fact27 -> int8: もしこのプロトコル番号は別れ別れだとしたら「それは乾き切らなくて更に唐変木である」ということは誤っている; fact33 -> int9: もしも「その保護基準は掃除するが掛かり易くない」ということは間違っているとすれば掃除しない; fact22 -> int10: もしその保護基準は差し押さえ命令でないなら「それは掃除するけど掛かり易くない」ということは誤りである; fact30 & fact29 -> int11: その計画倒れは謝恩使でなくて更に復職しない; fact24 & int11 -> int12: あの万有引力は謝恩使でない; fact32 & int12 -> int13: あの万有引力は利用し難いしさらに分かり切る; int13 -> int14: あの万有引力は利用し難い; fact28 & int14 -> int15: この興味津々は訪問する; int15 & fact25 -> int16: この興味津々は訪問する一方でそれはカスパーゼでない; fact31 & int16 -> int17: その保護基準は差し押さえ命令でない; int10 & int17 -> int18: 「その保護基準は掃除するけど掛かり易くない」ということは嘘である; int9 & int18 -> int19: その保護基準は掃除しない; fact23 & int19 -> int20: このプロトコル番号は別れ別れであるし更に飲酒量である; int20 -> int21: このプロトコル番号は別れ別れだ; int8 & int21 -> int22: 「このプロトコル番号は乾き切らないがしかし唐変木だ」ということは間違いである;
$facts$ = fact1: あの驕りは飲酒量でない fact2: もし何かは別れ別れなら「それは乾き切らないけど唐変木だ」ということは間違っている fact3: あの一粒が唐変木だとしたらあの驕りは乾き切る fact4: 仮にこの興味津々が訪問するけどカスパーゼでないとしたらその保護基準は差し押さえ命令でない fact5: その計画倒れが驚かさないとしたらそれは謝恩使でないし復職しない fact6: もしもあの驕りが乾き切るなら別れ別れだ fact7: なんらかの物が試験研究でないとしたらそれは止み難いかあるいは噛み付くか両方ともだ fact8: 「なにかは掃除する一方で掛かり易くない」ということは偽だとしたら掃除しない fact9: 仮にあの万有引力が利用し難いとするとこの興味津々は訪問する fact10: この興味津々はカスパーゼでない fact11: 全ての物は止み難い fact12: もしあの万有引力は謝恩使であるということはないとしたらそれは利用し難いし分かり切る fact13: その計画倒れは驚かさない fact14: その保護基準が掃除しないとしたらこのプロトコル番号は別れ別れだし飲酒量である fact15: あの一粒は止み難いか試験研究であるかあるいはどちらもだ fact16: もしあの驕りが別れ別れであるけれどそれは飲酒量でないとしたらそれは噛み付かない fact17: あの驕りは唐変木であるかあるいは噛み付くということはないか両方ともだ fact18: 仮にあの一粒は試験研究でないとすれば「唐変木だ」ということは真実だ fact19: もしあの一粒が止み難いかまたはそれは試験研究でないなら唐変木である fact20: もし仮にその計画倒れが謝恩使でなくてそれが復職しないとすればあの万有引力は謝恩使でない fact21: もしもなんらかのものは差し押さえ命令でないとすれば「掃除するししかも掛かり易くない」ということは偽だ ; $hypothesis$ = あの驕りは噛み付かない ; $proof$ = 
fact11 -> int1: あの一粒は止み難い; int1 -> int2: あの一粒は止み難いか試験研究でないかあるいはどちらもだ; int2 & fact19 -> int3: 「あの一粒は唐変木である」ということは真実である; int3 & fact3 -> int4: 「あの驕りは乾き切る」ということは真実だ; int4 & fact6 -> int5: あの驕りは別れ別れだ; int5 & fact1 -> int6: あの驕りは別れ別れだが飲酒量でない; int6 & fact16 -> hypothesis; __PROVED__
事実1: あの驕りは飲酒量でない
事実2: もし何かは別れ別れなら「それは乾き切らないけど唐変木だ」ということは間違っている
事実3: あの一粒が唐変木だとしたらあの驕りは乾き切る
事実4: 仮にこの興味津々が訪問するけどカスパーゼでないとしたらその保護基準は差し押さえ命令でない
事実5: その計画倒れが驚かさないとしたらそれは謝恩使でないし復職しない
事実6: もしもあの驕りが乾き切るなら別れ別れだ
事実7: なんらかの物が試験研究でないとしたらそれは止み難いかあるいは噛み付くか両方ともだ
事実8: 「なにかは掃除する一方で掛かり易くない」ということは偽だとしたら掃除しない
事実9: 仮にあの万有引力が利用し難いとするとこの興味津々は訪問する
事実10: この興味津々はカスパーゼでない
事実11: 全ての物は止み難い
事実12: もしあの万有引力は謝恩使であるということはないとしたらそれは利用し難いし分かり切る
事実13: その計画倒れは驚かさない
事実14: その保護基準が掃除しないとしたらこのプロトコル番号は別れ別れだし飲酒量である
事実15: あの一粒は止み難いか試験研究であるかあるいはどちらもだ
事実16: もしあの驕りが別れ別れであるけれどそれは飲酒量でないとしたらそれは噛み付かない
事実17: あの驕りは唐変木であるかあるいは噛み付くということはないか両方ともだ
事実18: 仮にあの一粒は試験研究でないとすれば「唐変木だ」ということは真実だ
事実19: もしあの一粒が止み難いかまたはそれは試験研究でないなら唐変木である
事実20: もし仮にその計画倒れが謝恩使でなくてそれが復職しないとすればあの万有引力は謝恩使でない
事実21: もしもなんらかのものは差し押さえ命令でないとすれば「掃除するししかも掛かり易くない」ということは偽だ

仮説: あの驕りは噛み付かない
1. 事実11から、推論1: "あの一粒は止み難い"が導かれる
2. 推論1から、推論2: "あの一粒は止み難いか試験研究でないかあるいはどちらもだ"が導かれる
3. 推論2と事実19から、推論3: "「あの一粒は唐変木である」ということは真実である"が導かれる
4. 推論3と事実3から、推論4: "「あの驕りは乾き切る」ということは真実だ"が導かれる
5. 推論4と事実6から、推論5: "あの驕りは別れ別れだ"が導かれる
6. 推論5と事実1から、推論6: "あの驕りは別れ別れだが飲酒量でない"が導かれる
7. 推論6と事実16から、仮説が導かれる

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