そのＡＤＨＤ症状は鍛え直さない
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: もしなんらかのものが観戦ならばあの真皮は陽物であるかもしくはそれは慎ましいかあるいはどちらもだ
fact17 & fact10 -> int1: この御陰は凄い; int1 -> int2: 「凄い」物はある; int2 & fact15 -> int3: この地は慎ましいかまたは観戦であるかあるいは両方ともだ; int3 & fact4 & fact25 -> int4: あの真皮はファイアウォールだ; int4 -> int5: あの真皮はファイアウォールであるかあるいは陽物である; int5 -> int6: 「ファイアウォールであるかあるいは陽物であるかもしくは両方ともである」物はある; int6 & fact14 -> hypothesis;
そのＡＤＨＤ症状は鍛え直す
fact30 -> int7: もしもこの御陰は観戦であるとしたら慎ましくない; fact35 -> int8: もしも「「あの真皮は分かり易くないしその上浅くない」ということは誤っている」ということは間違いでないとすれば出し易くない; fact32 -> int9: 仮にその通院は二千系なら「出願状況でなくてしかも本当らしい」ということは誤っている; int9 & fact33 -> int10: 「その通院は出願状況でないが本当らしい」ということは誤りだ; fact27 & int10 -> int11: あの失業率上昇は出願状況でない; fact28 & int11 -> int12: 「あの真皮は分かり易くないしまた浅くない」ということは偽である; int8 & int12 -> int13: あの真皮は出し易くない; fact29 & int13 -> int14: この地はファイアウォールでないしまた陽物でない; fact31 & int14 -> int15: この御陰は観戦である; int7 & int15 -> int16: この御陰は慎ましくない; int16 -> int17: 慎ましくない物はある;
$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$ = 
fact17 & fact10 -> int1: この御陰は凄い; int1 -> int2: 「凄い」物はある; int2 & fact15 -> int3: この地は慎ましいかまたは観戦であるかあるいは両方ともだ; int3 & fact4 & fact25 -> int4: あの真皮はファイアウォールだ; int4 -> int5: あの真皮はファイアウォールであるかあるいは陽物である; int5 -> int6: 「ファイアウォールであるかあるいは陽物であるかもしくは両方ともである」物はある; int6 & fact14 -> 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. 事実17と事実10から、推論1: "この御陰は凄い"が導かれる
2. 推論1から、推論2: "「凄い」物はある"が導かれる
3. 推論2と事実15から、推論3: "この地は慎ましいかまたは観戦であるかあるいは両方ともだ"が導かれる
4. 推論3と事実4と事実25から、推論4: "あの真皮はファイアウォールだ"が導かれる
5. 推論4から、推論5: "あの真皮はファイアウォールであるかあるいは陽物である"が導かれる
6. 推論5から、推論6: "「ファイアウォールであるかあるいは陽物であるかもしくは両方ともである」物はある"が導かれる
7. 推論6と事実14から、仮説が導かれる

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