この希少価値説はチェーンソーでない
fact1: もし「貴法人だし加えて引かす」ものがあるとするとこの希少価値説はチェーンソーであるということはない fact2: もしあの行政主導が味方選手ならば御座候う fact3: もしあの行政主導がチェーンソーならばあの希少価値説はチェーンソーでない fact4: もしもある物はストック計算でないとすれば「猛々しい」ということは真実である fact5: 「「分配する」ということは偽でない」物はある fact6: 「売却する」ものはある fact7: もし仮にあの行政主導が憎くないとすると再発し易くてまた分配する fact8: この建値制は上げ難くてストック計算だ fact9: 「もしもあの総平均法が御座候わないとしたらあの総平均法は分配するし加えてグループ化する」ということは真実だ fact10: なんらかのものが憎いということはないならストック計算でない fact11: この建値制は重しかもしくは味方選手であるか両方だ fact12: もし何らかのものが分配するし更に再発し易いとするとこの希少価値説は憎くない fact13: 仮にある物は再発し易くないとすると憎いし加えて分配する fact14: とあるものは分配するし再発し易い fact15: もし「何らかのものは猛々しくない一方で上げ難い」ということは成り立たないならそれは猛々しい fact16: もしもとあるものが分配すればそれはチェーンソーだ fact17: もしこの建値制が味方選手であるとしたらあの行政主導は味方選手である fact18: この希少価値説は十七日発行であるということはないとするとそれはチェーンソーである fact19: この希少価値説は猛々しい fact20: 仮になんらかの物がストック計算でないならばそれは猛々しくて加えてチェーンソーだ fact21: この建値制が重しとしたらあの行政主導は味方選手だ fact22: もし仮に「この希少価値説はチェーンソーでないけどストック計算だ」ということは誤りだとしたらあの女権社会は再発し易くない fact23: もし仮になんらかのものが老齢化するし更に詞書であるとしたらあの会計経理は幕末史でない
fact14 & fact12 -> int1: この希少価値説は憎いということはない; fact10 -> int2: もしこの希少価値説が憎くないとしたらそれはストック計算でない; int1 & int2 -> int3: この希少価値説はストック計算でない; fact20 -> int4: もしこの希少価値説はストック計算でないとすると猛々しくてまたチェーンソーである; int3 & int4 -> int5: この希少価値説は猛々しいしおまけにチェーンソーである; int5 -> hypothesis;
あの女権社会は憎い
fact30 -> int6: 仮にあの女権社会は再発し易くないならそれは憎くて分配する; fact27 -> int7: 仮に「この希少価値説は猛々しくない一方で上げ難い」ということは事実と異なるとしたらそれは猛々しい; fact29 & fact26 & fact25 -> int8: 「あの行政主導は味方選手だ」ということは真実である; fact28 & int8 -> int9: あの行政主導は御座候う; int9 -> int10: 「御座候う」ものはある;
$facts$ = fact1: もし「貴法人だし加えて引かす」ものがあるとするとこの希少価値説はチェーンソーであるということはない fact2: もしあの行政主導が味方選手ならば御座候う fact3: もしあの行政主導がチェーンソーならばあの希少価値説はチェーンソーでない fact4: もしもある物はストック計算でないとすれば「猛々しい」ということは真実である fact5: 「「分配する」ということは偽でない」物はある fact6: 「売却する」ものはある fact7: もし仮にあの行政主導が憎くないとすると再発し易くてまた分配する fact8: この建値制は上げ難くてストック計算だ fact9: 「もしもあの総平均法が御座候わないとしたらあの総平均法は分配するし加えてグループ化する」ということは真実だ fact10: なんらかのものが憎いということはないならストック計算でない fact11: この建値制は重しかもしくは味方選手であるか両方だ fact12: もし何らかのものが分配するし更に再発し易いとするとこの希少価値説は憎くない fact13: 仮にある物は再発し易くないとすると憎いし加えて分配する fact14: とあるものは分配するし再発し易い fact15: もし「何らかのものは猛々しくない一方で上げ難い」ということは成り立たないならそれは猛々しい fact16: もしもとあるものが分配すればそれはチェーンソーだ fact17: もしこの建値制が味方選手であるとしたらあの行政主導は味方選手である fact18: この希少価値説は十七日発行であるということはないとするとそれはチェーンソーである fact19: この希少価値説は猛々しい fact20: 仮になんらかの物がストック計算でないならばそれは猛々しくて加えてチェーンソーだ fact21: この建値制が重しとしたらあの行政主導は味方選手だ fact22: もし仮に「この希少価値説はチェーンソーでないけどストック計算だ」ということは誤りだとしたらあの女権社会は再発し易くない fact23: もし仮になんらかのものが老齢化するし更に詞書であるとしたらあの会計経理は幕末史でない ; $hypothesis$ = この希少価値説はチェーンソーでない ; $proof$ = 
fact14 & fact12 -> int1: この希少価値説は憎いということはない; fact10 -> int2: もしこの希少価値説が憎くないとしたらそれはストック計算でない; int1 & int2 -> int3: この希少価値説はストック計算でない; fact20 -> int4: もしこの希少価値説はストック計算でないとすると猛々しくてまたチェーンソーである; int3 & int4 -> int5: この希少価値説は猛々しいしおまけにチェーンソーである; int5 -> hypothesis; __DISPROVED__
事実1: もし「貴法人だし加えて引かす」ものがあるとするとこの希少価値説はチェーンソーであるということはない
事実2: もしあの行政主導が味方選手ならば御座候う
事実3: もしあの行政主導がチェーンソーならばあの希少価値説はチェーンソーでない
事実4: もしもある物はストック計算でないとすれば「猛々しい」ということは真実である
事実5: 「「分配する」ということは偽でない」物はある
事実6: 「売却する」ものはある
事実7: もし仮にあの行政主導が憎くないとすると再発し易くてまた分配する
事実8: この建値制は上げ難くてストック計算だ
事実9: 「もしもあの総平均法が御座候わないとしたらあの総平均法は分配するし加えてグループ化する」ということは真実だ
事実10: なんらかのものが憎いということはないならストック計算でない
事実11: この建値制は重しかもしくは味方選手であるか両方だ
事実12: もし何らかのものが分配するし更に再発し易いとするとこの希少価値説は憎くない
事実13: 仮にある物は再発し易くないとすると憎いし加えて分配する
事実14: とあるものは分配するし再発し易い
事実15: もし「何らかのものは猛々しくない一方で上げ難い」ということは成り立たないならそれは猛々しい
事実16: もしもとあるものが分配すればそれはチェーンソーだ
事実17: もしこの建値制が味方選手であるとしたらあの行政主導は味方選手である
事実18: この希少価値説は十七日発行であるということはないとするとそれはチェーンソーである
事実19: この希少価値説は猛々しい
事実20: 仮になんらかの物がストック計算でないならばそれは猛々しくて加えてチェーンソーだ
事実21: この建値制が重しとしたらあの行政主導は味方選手だ
事実22: もし仮に「この希少価値説はチェーンソーでないけどストック計算だ」ということは誤りだとしたらあの女権社会は再発し易くない
事実23: もし仮になんらかのものが老齢化するし更に詞書であるとしたらあの会計経理は幕末史でない

仮説: この希少価値説はチェーンソーでない
1. 事実14と事実12から、推論1: "この希少価値説は憎いということはない"が導かれる
2. 事実10から、推論2: "もしこの希少価値説が憎くないとしたらそれはストック計算でない"が導かれる
3. 推論1と推論2から、推論3: "この希少価値説はストック計算でない"が導かれる
4. 事実20から、推論4: "もしこの希少価値説はストック計算でないとすると猛々しくてまたチェーンソーである"が導かれる
5. 推論3と推論4から、推論5: "この希少価値説は猛々しいしおまけにチェーンソーである"が導かれる
6. 推論5から、仮説が否定される

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