そのたかりは三角不等式でない
fact1: もし仮に「「その足取りは張るか父親らしくないかまたはどちらもである」ということは誤っている」ということは成り立つとしたら「分泌細胞である」ということは間違いでない fact2: そのたかりが感染性だとすればそれは作曲家達だ fact3: その足取りはトラバースする fact4: 仮に「「その足取りは父親らしいかあるいはトラバースする」ということは嘘である」ということは事実であるとしたらそれは張る fact5: そのたかりが父親らしいとすればその足取りはトラバースする fact6: 「その足取りは張るかあるいは父親らしくないかもしくはどちらもだ」ということは成り立たない fact7: そのたかりは父親らしい fact8: もし仮になにかは墓石でないとしたらそれは分泌細胞でしかもトラバースする fact9: 仮に「そのたかりは三角不等式であるかまたは父親らしいということはないか両方である」ということは誤っていれば分泌細胞である fact10: そのたかりは分泌細胞だ fact11: もし何かはトラバースすればそれは三角不等式だ fact12: もしその足取りが分泌細胞だとするとそのたかりはトラバースする
fact1 & fact6 -> int1: その足取りは分泌細胞である; int1 & fact12 -> int2: そのたかりはトラバースする; fact11 -> int3: そのたかりはトラバースするとしたら「それは三角不等式だ」ということは確かだ; int2 & int3 -> hypothesis;
そのたかりは三角不等式でない
fact13 -> int4: その足取りは墓石でないとしたら分泌細胞であるしトラバースする;
$facts$ = fact1: もし仮に「「その足取りは張るか父親らしくないかまたはどちらもである」ということは誤っている」ということは成り立つとしたら「分泌細胞である」ということは間違いでない fact2: そのたかりが感染性だとすればそれは作曲家達だ fact3: その足取りはトラバースする fact4: 仮に「「その足取りは父親らしいかあるいはトラバースする」ということは嘘である」ということは事実であるとしたらそれは張る fact5: そのたかりが父親らしいとすればその足取りはトラバースする fact6: 「その足取りは張るかあるいは父親らしくないかもしくはどちらもだ」ということは成り立たない fact7: そのたかりは父親らしい fact8: もし仮になにかは墓石でないとしたらそれは分泌細胞でしかもトラバースする fact9: 仮に「そのたかりは三角不等式であるかまたは父親らしいということはないか両方である」ということは誤っていれば分泌細胞である fact10: そのたかりは分泌細胞だ fact11: もし何かはトラバースすればそれは三角不等式だ fact12: もしその足取りが分泌細胞だとするとそのたかりはトラバースする ; $hypothesis$ = そのたかりは三角不等式でない ; $proof$ = 
fact1 & fact6 -> int1: その足取りは分泌細胞である; int1 & fact12 -> int2: そのたかりはトラバースする; fact11 -> int3: そのたかりはトラバースするとしたら「それは三角不等式だ」ということは確かだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に「「その足取りは張るか父親らしくないかまたはどちらもである」ということは誤っている」ということは成り立つとしたら「分泌細胞である」ということは間違いでない
事実2: そのたかりが感染性だとすればそれは作曲家達だ
事実3: その足取りはトラバースする
事実4: 仮に「「その足取りは父親らしいかあるいはトラバースする」ということは嘘である」ということは事実であるとしたらそれは張る
事実5: そのたかりが父親らしいとすればその足取りはトラバースする
事実6: 「その足取りは張るかあるいは父親らしくないかもしくはどちらもだ」ということは成り立たない
事実7: そのたかりは父親らしい
事実8: もし仮になにかは墓石でないとしたらそれは分泌細胞でしかもトラバースする
事実9: 仮に「そのたかりは三角不等式であるかまたは父親らしいということはないか両方である」ということは誤っていれば分泌細胞である
事実10: そのたかりは分泌細胞だ
事実11: もし何かはトラバースすればそれは三角不等式だ
事実12: もしその足取りが分泌細胞だとするとそのたかりはトラバースする

仮説: そのたかりは三角不等式でない
1. 事実1と事実6から、推論1: "その足取りは分泌細胞である"が導かれる
2. 推論1と事実12から、推論2: "そのたかりはトラバースする"が導かれる
3. 事実11から、推論3: "そのたかりはトラバースするとしたら「それは三角不等式だ」ということは確かだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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