「その租税原則は仮定するしそれにそれは区切る」ということは間違いだ
fact1: その租税原則は関係史だ fact2: その租税原則は仮定するしそれは関係史である fact3: この森田療法は餅鉄でない fact4: もし「仮定しない」ものはあれば「あの生物活動は区切る」ということは事実だ fact5: もしも「餅鉄でない」ものはあるとすれば「そのワイヤは古い」ということは間違っていない fact6: 仮にとある物は台頭し始めないとすると消化不良だしさらに関係史である fact7: その租税原則は台頭し始める fact8: もしもそのワイヤが古いなら蒸らす fact9: 「その租税原則は区切るししかも台頭し始める」ということは事実だ fact10: もし「蒸らす」ものはあるとしたら「あの生物活動は立ち寄れないが台頭し始める」ということは間違っている fact11: 「あの生物活動は立ち寄れないがしかし台頭し始める」ということは偽ならばそれは台頭し始めない
fact2 -> int1: その租税原則は仮定する; fact9 -> int2: その租税原則は区切る; int1 & int2 -> hypothesis;
あの生物活動は消化不良であるし区切る
fact17 -> int3: もしあの生物活動が台頭し始めないならそれは消化不良であるし関係史である; fact12 -> int4: 「餅鉄でない」ものはある; int4 & fact14 -> int5: そのワイヤは古い; fact18 & int5 -> int6: そのワイヤは蒸らす; int6 -> int7: 「「蒸らさない」ということは間違いな」ものはある; int7 & fact13 -> int8: 「あの生物活動は立ち寄れないけれど台頭し始める」ということは嘘だ; fact16 & int8 -> int9: あの生物活動は台頭し始めない; int3 & int9 -> int10: あの生物活動は消化不良だし更に関係史である; int10 -> int11: あの生物活動は消化不良である;
$facts$ = fact1: その租税原則は関係史だ fact2: その租税原則は仮定するしそれは関係史である fact3: この森田療法は餅鉄でない fact4: もし「仮定しない」ものはあれば「あの生物活動は区切る」ということは事実だ fact5: もしも「餅鉄でない」ものはあるとすれば「そのワイヤは古い」ということは間違っていない fact6: 仮にとある物は台頭し始めないとすると消化不良だしさらに関係史である fact7: その租税原則は台頭し始める fact8: もしもそのワイヤが古いなら蒸らす fact9: 「その租税原則は区切るししかも台頭し始める」ということは事実だ fact10: もし「蒸らす」ものはあるとしたら「あの生物活動は立ち寄れないが台頭し始める」ということは間違っている fact11: 「あの生物活動は立ち寄れないがしかし台頭し始める」ということは偽ならばそれは台頭し始めない ; $hypothesis$ = 「その租税原則は仮定するしそれにそれは区切る」ということは間違いだ ; $proof$ = 
fact2 -> int1: その租税原則は仮定する; fact9 -> int2: その租税原則は区切る; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その租税原則は関係史だ
事実2: その租税原則は仮定するしそれは関係史である
事実3: この森田療法は餅鉄でない
事実4: もし「仮定しない」ものはあれば「あの生物活動は区切る」ということは事実だ
事実5: もしも「餅鉄でない」ものはあるとすれば「そのワイヤは古い」ということは間違っていない
事実6: 仮にとある物は台頭し始めないとすると消化不良だしさらに関係史である
事実7: その租税原則は台頭し始める
事実8: もしもそのワイヤが古いなら蒸らす
事実9: 「その租税原則は区切るししかも台頭し始める」ということは事実だ
事実10: もし「蒸らす」ものはあるとしたら「あの生物活動は立ち寄れないが台頭し始める」ということは間違っている
事実11: 「あの生物活動は立ち寄れないがしかし台頭し始める」ということは偽ならばそれは台頭し始めない

仮説: 「その租税原則は仮定するしそれにそれは区切る」ということは間違いだ
1. 事実2から、推論1: "その租税原則は仮定する"が導かれる
2. 事実9から、推論2: "その租税原則は区切る"が導かれる
3. 推論1と推論2から、仮説が否定される

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