この歩行状態は膨れ上がる一方でパラノイアでない
fact1: 膨れ上がるしパラノイアでないというものはない fact2: それは親しみ易くて乗り難いというものはない fact3: もしもこの断崖絶壁が脱出しないとすればあの攻勢は坂本一家だけど狡賢くない fact4: 望ましいが作図しないという物はない fact5: もし「この歩行状態は長たらしいということはないしさらに坂本一家でない」ということは間違いならばそれはパラノイアでない fact6: 仮にある物は長たらしくないとすれば「それはパラノイアであるけど振り付けでない」ということは成り立たない fact7: この歩行状態は膨れ上がる
fact1 -> hypothesis;
この歩行状態は膨れ上がるけどパラノイアでない
$facts$ = fact1: 膨れ上がるしパラノイアでないというものはない fact2: それは親しみ易くて乗り難いというものはない fact3: もしもこの断崖絶壁が脱出しないとすればあの攻勢は坂本一家だけど狡賢くない fact4: 望ましいが作図しないという物はない fact5: もし「この歩行状態は長たらしいということはないしさらに坂本一家でない」ということは間違いならばそれはパラノイアでない fact6: 仮にある物は長たらしくないとすれば「それはパラノイアであるけど振り付けでない」ということは成り立たない fact7: この歩行状態は膨れ上がる ; $hypothesis$ = この歩行状態は膨れ上がる一方でパラノイアでない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 膨れ上がるしパラノイアでないというものはない
事実2: それは親しみ易くて乗り難いというものはない
事実3: もしもこの断崖絶壁が脱出しないとすればあの攻勢は坂本一家だけど狡賢くない
事実4: 望ましいが作図しないという物はない
事実5: もし「この歩行状態は長たらしいということはないしさらに坂本一家でない」ということは間違いならばそれはパラノイアでない
事実6: 仮にある物は長たらしくないとすれば「それはパラノイアであるけど振り付けでない」ということは成り立たない
事実7: この歩行状態は膨れ上がる

仮説: この歩行状態は膨れ上がる一方でパラノイアでない
1. 事実1から、仮説が否定される

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