「「笄なら汚らしくない」ものはある」ということは成り立たない
fact1: 「最小化ボタンであるとすると「ぞっとする」ということは事実な」ものはある fact2: 「仮に言い替えるとすると犯し得る」物はある fact3: もし仮にその多剤耐性結核対策は狡賢いとすると「それは悲しい」ということは確かだ fact4: 「救い難いものは予約相場である」ということは事実だ fact5: もしもなんらかの物は父母兄弟であるならばそれは叙情性だということはない fact6: 「この民主的政府は失文法だ」ということは誤りでないとすればそれは小口融資だ fact7: もしある物が笄ならば汚らしくない fact8: もしあの購買サイクルが汚らしいならば時間枠でない fact9: もしもその多剤耐性結核対策は笄であるならば汚らしい fact10: 「もし仮に笄であるとしたら汚らしい」物はある fact11: あの作戦会議が汚らしいならそれは悔しい fact12: 小汚い物は整骨法でない fact13: もし仮にこのアームが悔しいならば汚らしくない fact14: 「もしも社員像だとすると復員しない」ものはある fact15: 笄は汚らしい fact16: もし何かは選定するとしたらそれは狭小化しない fact17: もしもその多剤耐性結核対策は汚らしいならば「人類史である」ということは成り立つ fact18: 仮にその多剤耐性結核対策が慈しみ育てればそれは汚らしくない fact19: 太いものはレイヤー名でない fact20: もしその多剤耐性結核対策が使用し難いとすると汚らしい fact21: 仮に何らかのものが狭いなら規則正しい
fact7 -> int1: もしもその多剤耐性結核対策は笄であるとすればそれは汚らしいということはない; int1 -> hypothesis;
fact7 -> int1: {A}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「最小化ボタンであるとすると「ぞっとする」ということは事実な」ものはある fact2: 「仮に言い替えるとすると犯し得る」物はある fact3: もし仮にその多剤耐性結核対策は狡賢いとすると「それは悲しい」ということは確かだ fact4: 「救い難いものは予約相場である」ということは事実だ fact5: もしもなんらかの物は父母兄弟であるならばそれは叙情性だということはない fact6: 「この民主的政府は失文法だ」ということは誤りでないとすればそれは小口融資だ fact7: もしある物が笄ならば汚らしくない fact8: もしあの購買サイクルが汚らしいならば時間枠でない fact9: もしもその多剤耐性結核対策は笄であるならば汚らしい fact10: 「もし仮に笄であるとしたら汚らしい」物はある fact11: あの作戦会議が汚らしいならそれは悔しい fact12: 小汚い物は整骨法でない fact13: もし仮にこのアームが悔しいならば汚らしくない fact14: 「もしも社員像だとすると復員しない」ものはある fact15: 笄は汚らしい fact16: もし何かは選定するとしたらそれは狭小化しない fact17: もしもその多剤耐性結核対策は汚らしいならば「人類史である」ということは成り立つ fact18: 仮にその多剤耐性結核対策が慈しみ育てればそれは汚らしくない fact19: 太いものはレイヤー名でない fact20: もしその多剤耐性結核対策が使用し難いとすると汚らしい fact21: 仮に何らかのものが狭いなら規則正しい ; $hypothesis$ = 「「笄なら汚らしくない」ものはある」ということは成り立たない ; $proof$ = 
fact7 -> int1: もしもその多剤耐性結核対策は笄であるとすればそれは汚らしいということはない; int1 -> hypothesis; __DISPROVED__
事実1: 「最小化ボタンであるとすると「ぞっとする」ということは事実な」ものはある
事実2: 「仮に言い替えるとすると犯し得る」物はある
事実3: もし仮にその多剤耐性結核対策は狡賢いとすると「それは悲しい」ということは確かだ
事実4: 「救い難いものは予約相場である」ということは事実だ
事実5: もしもなんらかの物は父母兄弟であるならばそれは叙情性だということはない
事実6: 「この民主的政府は失文法だ」ということは誤りでないとすればそれは小口融資だ
事実7: もしある物が笄ならば汚らしくない
事実8: もしあの購買サイクルが汚らしいならば時間枠でない
事実9: もしもその多剤耐性結核対策は笄であるならば汚らしい
事実10: 「もし仮に笄であるとしたら汚らしい」物はある
事実11: あの作戦会議が汚らしいならそれは悔しい
事実12: 小汚い物は整骨法でない
事実13: もし仮にこのアームが悔しいならば汚らしくない
事実14: 「もしも社員像だとすると復員しない」ものはある
事実15: 笄は汚らしい
事実16: もし何かは選定するとしたらそれは狭小化しない
事実17: もしもその多剤耐性結核対策は汚らしいならば「人類史である」ということは成り立つ
事実18: 仮にその多剤耐性結核対策が慈しみ育てればそれは汚らしくない
事実19: 太いものはレイヤー名でない
事実20: もしその多剤耐性結核対策が使用し難いとすると汚らしい
事実21: 仮に何らかのものが狭いなら規則正しい

仮説: 「「笄なら汚らしくない」ものはある」ということは成り立たない
1. 事実7から、推論1: "もしもその多剤耐性結核対策は笄であるとすればそれは汚らしいということはない"が導かれる
2. 推論1から、仮説が否定される

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