「「発売当初でないとしたら麗しくない」物はある」ということは成り立たない
fact1: 「もし仮に女の子らしくないならば見誤らない」物はある fact2: もしもとあるものが憎くないとしたらそれは改組すということはない fact3: もしなんらかのものが見比べるということはないとすれば上杉勢でない fact4: なにがしかの物は第二期科学技術基本計画でないなら実行し易いということはない fact5: 「発売当初は麗しくない」ということは嘘でない fact6: あの名無しが発売当初だとすると麗しくない fact7: 「もし仮にあの名無しは発売当初でないとすると「あの名無しは麗しい」ということは成り立つ」ということは成り立つ fact8: 「発売当初であるなら麗しくない」物はある fact9: 「仮に建国しないとしたら「薄れない」ということは事実である」ものはある fact10: 「「発売当初でないならば麗しい」ものはある」ということは真実だ fact11: 仮に何かは発売当初でないとしたら麗しくない fact12: もしも何らかの物は発売当初であるということはないならば麗しい fact13: 「もし座り易くないとすれば腹立たない」物はある fact14: もし仮にそのタイム計算用が人工腎臓だということはないならば麗しくない
fact11 -> int1: 仮にあの名無しは発売当初でないならそれは麗しくない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に女の子らしくないならば見誤らない」物はある fact2: もしもとあるものが憎くないとしたらそれは改組すということはない fact3: もしなんらかのものが見比べるということはないとすれば上杉勢でない fact4: なにがしかの物は第二期科学技術基本計画でないなら実行し易いということはない fact5: 「発売当初は麗しくない」ということは嘘でない fact6: あの名無しが発売当初だとすると麗しくない fact7: 「もし仮にあの名無しは発売当初でないとすると「あの名無しは麗しい」ということは成り立つ」ということは成り立つ fact8: 「発売当初であるなら麗しくない」物はある fact9: 「仮に建国しないとしたら「薄れない」ということは事実である」ものはある fact10: 「「発売当初でないならば麗しい」ものはある」ということは真実だ fact11: 仮に何かは発売当初でないとしたら麗しくない fact12: もしも何らかの物は発売当初であるということはないならば麗しい fact13: 「もし座り易くないとすれば腹立たない」物はある fact14: もし仮にそのタイム計算用が人工腎臓だということはないならば麗しくない ; $hypothesis$ = 「「発売当初でないとしたら麗しくない」物はある」ということは成り立たない ; $proof$ = 
fact11 -> int1: 仮にあの名無しは発売当初でないならそれは麗しくない; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に女の子らしくないならば見誤らない」物はある
事実2: もしもとあるものが憎くないとしたらそれは改組すということはない
事実3: もしなんらかのものが見比べるということはないとすれば上杉勢でない
事実4: なにがしかの物は第二期科学技術基本計画でないなら実行し易いということはない
事実5: 「発売当初は麗しくない」ということは嘘でない
事実6: あの名無しが発売当初だとすると麗しくない
事実7: 「もし仮にあの名無しは発売当初でないとすると「あの名無しは麗しい」ということは成り立つ」ということは成り立つ
事実8: 「発売当初であるなら麗しくない」物はある
事実9: 「仮に建国しないとしたら「薄れない」ということは事実である」ものはある
事実10: 「「発売当初でないならば麗しい」ものはある」ということは真実だ
事実11: 仮に何かは発売当初でないとしたら麗しくない
事実12: もしも何らかの物は発売当初であるということはないならば麗しい
事実13: 「もし座り易くないとすれば腹立たない」物はある
事実14: もし仮にそのタイム計算用が人工腎臓だということはないならば麗しくない

仮説: 「「発売当初でないとしたら麗しくない」物はある」ということは成り立たない
1. 事実11から、推論1: "仮にあの名無しは発売当初でないならそれは麗しくない"が導かれる
2. 推論1から、仮説が否定される

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