そのステップアップは連邦取り引き委員会であるということはない
fact1: 「なんらかの物は見為され得ないがしかし手痛い」ということは誤りだとするとそれは見為され得る fact2: もし仮にそのステップアップは連邦取り引き委員会でないならば「「この経常費用は見為され得るということはないけど手痛い」ということは本当だ」ということは成り立たない fact3: そのステップアップは見為され得る fact4: もしその寄生虫はトーテムポールであるなら連邦取り引き委員会だ fact5: そのステップアップは御滝ちゃんであるならばそれは連邦取り引き委員会である fact6: トーテムポールは連邦取り引き委員会でない fact7: そのＰＴＳＤは御姉さん達でない fact8: もし何らかのものが捩じ曲げないとすると吹き易くておまけにそれは御姉さん達でない fact9: もし吹き易い物は御姉さん達だということはないとすれば「それはトーテムポールである」ということは本当である fact10: もし仮にそのステップアップが見為され得るとしたらそれは連邦取り引き委員会だ fact11: もしも何らかのものが手痛いということはないとすると見為され得るか連邦取り引き委員会でないかあるいは両方である fact12: もし仮にとある物は御姉さん達でないとすると「トーテムポールだということはないしその上吹き易いない」ということは間違いである
fact10 & fact3 -> hypothesis;
fact10 & fact3 -> hypothesis;
そのステップアップは連邦取り引き委員会でない
fact15 -> int1: 仮にそのステップアップが手痛くないならば見為され得るかまたは連邦取り引き委員会でないかまたは両方である; fact14 -> int2: もし仮にそのＰＴＳＤは御姉さん達だということはないならば「それはトーテムポールでないしその上吹き易くない」ということは間違っている; int2 & fact13 -> int3: 「そのＰＴＳＤはトーテムポールでないしその上それは吹き易くない」ということは本当でない; int3 -> int4: 「「トーテムポールであるということはないしその上吹き易いない」ということは成り立たない」物はある;
$facts$ = fact1: 「なんらかの物は見為され得ないがしかし手痛い」ということは誤りだとするとそれは見為され得る fact2: もし仮にそのステップアップは連邦取り引き委員会でないならば「「この経常費用は見為され得るということはないけど手痛い」ということは本当だ」ということは成り立たない fact3: そのステップアップは見為され得る fact4: もしその寄生虫はトーテムポールであるなら連邦取り引き委員会だ fact5: そのステップアップは御滝ちゃんであるならばそれは連邦取り引き委員会である fact6: トーテムポールは連邦取り引き委員会でない fact7: そのＰＴＳＤは御姉さん達でない fact8: もし何らかのものが捩じ曲げないとすると吹き易くておまけにそれは御姉さん達でない fact9: もし吹き易い物は御姉さん達だということはないとすれば「それはトーテムポールである」ということは本当である fact10: もし仮にそのステップアップが見為され得るとしたらそれは連邦取り引き委員会だ fact11: もしも何らかのものが手痛いということはないとすると見為され得るか連邦取り引き委員会でないかあるいは両方である fact12: もし仮にとある物は御姉さん達でないとすると「トーテムポールだということはないしその上吹き易いない」ということは間違いである ; $hypothesis$ = そのステップアップは連邦取り引き委員会であるということはない ; $proof$ = 
fact10 & fact3 -> hypothesis; __DISPROVED__
事実1: 「なんらかの物は見為され得ないがしかし手痛い」ということは誤りだとするとそれは見為され得る
事実2: もし仮にそのステップアップは連邦取り引き委員会でないならば「「この経常費用は見為され得るということはないけど手痛い」ということは本当だ」ということは成り立たない
事実3: そのステップアップは見為され得る
事実4: もしその寄生虫はトーテムポールであるなら連邦取り引き委員会だ
事実5: そのステップアップは御滝ちゃんであるならばそれは連邦取り引き委員会である
事実6: トーテムポールは連邦取り引き委員会でない
事実7: そのＰＴＳＤは御姉さん達でない
事実8: もし何らかのものが捩じ曲げないとすると吹き易くておまけにそれは御姉さん達でない
事実9: もし吹き易い物は御姉さん達だということはないとすれば「それはトーテムポールである」ということは本当である
事実10: もし仮にそのステップアップが見為され得るとしたらそれは連邦取り引き委員会だ
事実11: もしも何らかのものが手痛いということはないとすると見為され得るか連邦取り引き委員会でないかあるいは両方である
事実12: もし仮にとある物は御姉さん達でないとすると「トーテムポールだということはないしその上吹き易いない」ということは間違いである

仮説: そのステップアップは連邦取り引き委員会であるということはない
1. 事実10と事実3から、仮説が否定される

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