あの訪問看護費は基づく
fact1: もし仮にとあるものが泥濘むとするとそれは読み継ぐ fact2: もし仮にその宣伝担当者は泥濘むとしたら「余所余所しい」ということは事実だ fact3: とある物が読み継ぐとするとそれは基づく fact4: もしもあの訪問看護費が泥濘むとしたらそれは読み継ぐ fact5: 基準面積未満だけど泥濘むないという物はない fact6: 日帝は当面する fact7: 基準面積未満だしさらに泥濘むというものはない fact8: もし「なにかは読み継ぐしさらにそれは基づく」ということは成り立たないとするとそれは基づかない fact9: 「あの訪問看護費が基準面積未満だしおまけに泥濘む」ということは間違っている fact10: 仮になにがしかの物は稲妻でないとしたらそれは基づくし加えて読み継ぐ fact11: 「とあるものは基準面積未満であるがしかし泥濘むない」ということは間違いならば「読み継ぐ」ということは事実である fact12: 「あの訪問看護費は取材するし基づく」ということは成り立たない
fact11 -> int1: もし「「あの訪問看護費は基準面積未満であるが泥濘むということはない」ということは事実である」ということは事実でないなら「読み継ぐ」ということは正しい; fact5 -> int2: 「あの訪問看護費は基準面積未満であるけれどそれは泥濘むということはない」ということは誤りである; int1 & int2 -> int3: あの訪問看護費は読み継ぐ; fact3 -> int4: もしあの訪問看護費が読み継ぐとするとそれは基づく; int3 & int4 -> hypothesis;
fact11 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact5 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact3 -> int4: {B}{aa} -> {A}{aa}; int3 & int4 -> hypothesis;
あの訪問看護費は基づかない
fact13 -> int5: 「あの訪問看護費は読み継ぐしその上基づく」ということは嘘であるとすると基づかない;
$facts$ = fact1: もし仮にとあるものが泥濘むとするとそれは読み継ぐ fact2: もし仮にその宣伝担当者は泥濘むとしたら「余所余所しい」ということは事実だ fact3: とある物が読み継ぐとするとそれは基づく fact4: もしもあの訪問看護費が泥濘むとしたらそれは読み継ぐ fact5: 基準面積未満だけど泥濘むないという物はない fact6: 日帝は当面する fact7: 基準面積未満だしさらに泥濘むというものはない fact8: もし「なにかは読み継ぐしさらにそれは基づく」ということは成り立たないとするとそれは基づかない fact9: 「あの訪問看護費が基準面積未満だしおまけに泥濘む」ということは間違っている fact10: 仮になにがしかの物は稲妻でないとしたらそれは基づくし加えて読み継ぐ fact11: 「とあるものは基準面積未満であるがしかし泥濘むない」ということは間違いならば「読み継ぐ」ということは事実である fact12: 「あの訪問看護費は取材するし基づく」ということは成り立たない ; $hypothesis$ = あの訪問看護費は基づく ; $proof$ = 
fact11 -> int1: もし「「あの訪問看護費は基準面積未満であるが泥濘むということはない」ということは事実である」ということは事実でないなら「読み継ぐ」ということは正しい; fact5 -> int2: 「あの訪問看護費は基準面積未満であるけれどそれは泥濘むということはない」ということは誤りである; int1 & int2 -> int3: あの訪問看護費は読み継ぐ; fact3 -> int4: もしあの訪問看護費が読み継ぐとするとそれは基づく; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にとあるものが泥濘むとするとそれは読み継ぐ
事実2: もし仮にその宣伝担当者は泥濘むとしたら「余所余所しい」ということは事実だ
事実3: とある物が読み継ぐとするとそれは基づく
事実4: もしもあの訪問看護費が泥濘むとしたらそれは読み継ぐ
事実5: 基準面積未満だけど泥濘むないという物はない
事実6: 日帝は当面する
事実7: 基準面積未満だしさらに泥濘むというものはない
事実8: もし「なにかは読み継ぐしさらにそれは基づく」ということは成り立たないとするとそれは基づかない
事実9: 「あの訪問看護費が基準面積未満だしおまけに泥濘む」ということは間違っている
事実10: 仮になにがしかの物は稲妻でないとしたらそれは基づくし加えて読み継ぐ
事実11: 「とあるものは基準面積未満であるがしかし泥濘むない」ということは間違いならば「読み継ぐ」ということは事実である
事実12: 「あの訪問看護費は取材するし基づく」ということは成り立たない

仮説: あの訪問看護費は基づく
1. 事実11から、推論1: "もし「「あの訪問看護費は基準面積未満であるが泥濘むということはない」ということは事実である」ということは事実でないなら「読み継ぐ」ということは正しい"が導かれる
2. 事実5から、推論2: "「あの訪問看護費は基準面積未満であるけれどそれは泥濘むということはない」ということは誤りである"が導かれる
3. 推論1と推論2から、推論3: "あの訪問看護費は読み継ぐ"が導かれる
4. 事実3から、推論4: "もしあの訪問看護費が読み継ぐとするとそれは基づく"が導かれる
5. 推論3と推論4から、仮説が導かれる

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