「その第三内科は零．一πＳＥＣでない」ということは事実である
fact1: 仮になにがしかのものは溶かし出さないとすると「金融機能でないかあるいは如此し」ということは確かだということはない fact2: 仮に「このＰＴＡ会長は凸面でないし金融機能でない」ということは間違いだとしたらその均等額は傷付けるということはない fact3: その均等額が乗り出すとしたらその第三内科は傷付ける fact4: そのウラル祖語が如此し一方で溶かし出さないとすればあのさよならは如此しない fact5: もしとある物が乗り出せば零．一πＳＥＣでない fact6: もしも「その第三内科は金融機能であるということはないかあるいは如此しかもしくはどちらもである」ということは真実でないならその均等額は凸面でない fact7: 「仮になにがしかのものは凸面だということはないとしたら「あのパドックは零．一πＳＥＣであるし加えて流れ易い」ということは成り立たない」ということは成り立つ fact8: もしも「あのさよならは如此しない」ということは本当であるとすると「このＰＴＡ会長は凸面だということはないしさらに金融機能でない」ということは成り立たない fact9: 全てのものは溶かし出さない fact10: 「なんらかのものは零．一πＳＥＣであるしかつそれは流れ易い」ということは成り立たないならばそれは零．一πＳＥＣでない fact11: その均等額は乗り出す fact12: もしとあるものが傷付けるとするとそれは零．一πＳＥＣである fact13: 「ある物は流れ易いけど乗り出さない」ということは嘘ならばそれは乗り出す
fact3 & fact11 -> int1: その第三内科は傷付ける; fact12 -> int2: もしもその第三内科が傷付ければ零．一πＳＥＣである; int1 & int2 -> hypothesis;
あのパドックは傷付ける
fact17 -> int3: もしもこのＰＴＡ会長は溶かし出さないならば「それは金融機能でないかもしくは如此しかまたはどちらもである」ということは成り立たない; fact16 -> int4: このＰＴＡ会長は溶かし出さない; int3 & int4 -> int5: 「このＰＴＡ会長は金融機能でないかもしくは如此しかまたは両方である」ということは間違いだ; int5 -> int6: 金融機能でないかまたは如此しかもしくは両方だというものはない; int6 -> int7: 「その第三内科は金融機能でないかあるいは如此しかあるいは両方ともだ」ということは成り立たない; fact15 & int7 -> int8: その均等額は凸面でない; int8 -> int9: 「凸面でない」物はある; fact18 & int9 -> int10: 「あのパドックが零．一πＳＥＣだしかつそれは流れ易い」ということは本当でない; fact14 -> int11: もしも「あのパドックは零．一πＳＥＣだし流れ易い」ということは成り立たないとしたらそれは零．一πＳＥＣだということはない; int10 & int11 -> int12: あのパドックは零．一πＳＥＣでない;
$facts$ = fact1: 仮になにがしかのものは溶かし出さないとすると「金融機能でないかあるいは如此し」ということは確かだということはない fact2: 仮に「このＰＴＡ会長は凸面でないし金融機能でない」ということは間違いだとしたらその均等額は傷付けるということはない fact3: その均等額が乗り出すとしたらその第三内科は傷付ける fact4: そのウラル祖語が如此し一方で溶かし出さないとすればあのさよならは如此しない fact5: もしとある物が乗り出せば零．一πＳＥＣでない fact6: もしも「その第三内科は金融機能であるということはないかあるいは如此しかもしくはどちらもである」ということは真実でないならその均等額は凸面でない fact7: 「仮になにがしかのものは凸面だということはないとしたら「あのパドックは零．一πＳＥＣであるし加えて流れ易い」ということは成り立たない」ということは成り立つ fact8: もしも「あのさよならは如此しない」ということは本当であるとすると「このＰＴＡ会長は凸面だということはないしさらに金融機能でない」ということは成り立たない fact9: 全てのものは溶かし出さない fact10: 「なんらかのものは零．一πＳＥＣであるしかつそれは流れ易い」ということは成り立たないならばそれは零．一πＳＥＣでない fact11: その均等額は乗り出す fact12: もしとあるものが傷付けるとするとそれは零．一πＳＥＣである fact13: 「ある物は流れ易いけど乗り出さない」ということは嘘ならばそれは乗り出す ; $hypothesis$ = 「その第三内科は零．一πＳＥＣでない」ということは事実である ; $proof$ = 
fact3 & fact11 -> int1: その第三内科は傷付ける; fact12 -> int2: もしもその第三内科が傷付ければ零．一πＳＥＣである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものは溶かし出さないとすると「金融機能でないかあるいは如此し」ということは確かだということはない
事実2: 仮に「このＰＴＡ会長は凸面でないし金融機能でない」ということは間違いだとしたらその均等額は傷付けるということはない
事実3: その均等額が乗り出すとしたらその第三内科は傷付ける
事実4: そのウラル祖語が如此し一方で溶かし出さないとすればあのさよならは如此しない
事実5: もしとある物が乗り出せば零．一πＳＥＣでない
事実6: もしも「その第三内科は金融機能であるということはないかあるいは如此しかもしくはどちらもである」ということは真実でないならその均等額は凸面でない
事実7: 「仮になにがしかのものは凸面だということはないとしたら「あのパドックは零．一πＳＥＣであるし加えて流れ易い」ということは成り立たない」ということは成り立つ
事実8: もしも「あのさよならは如此しない」ということは本当であるとすると「このＰＴＡ会長は凸面だということはないしさらに金融機能でない」ということは成り立たない
事実9: 全てのものは溶かし出さない
事実10: 「なんらかのものは零．一πＳＥＣであるしかつそれは流れ易い」ということは成り立たないならばそれは零．一πＳＥＣでない
事実11: その均等額は乗り出す
事実12: もしとあるものが傷付けるとするとそれは零．一πＳＥＣである
事実13: 「ある物は流れ易いけど乗り出さない」ということは嘘ならばそれは乗り出す

仮説: 「その第三内科は零．一πＳＥＣでない」ということは事実である
1. 事実3と事実11から、推論1: "その第三内科は傷付ける"が導かれる
2. 事実12から、推論2: "もしもその第三内科が傷付ければ零．一πＳＥＣである"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。