「「もし「ほっそりするがしかしアーカイブしない」ということは成り立つということはないとしたら今目な」物はある」ということは偽である
fact1: 「あの上毛はほっそりするしアーカイブする」ということは成り立たないとすればそれは今目である fact2: もし仮に何らかのものがほっそりしないならばそれは今目である fact3: 「仮にほっそりしないならば今目な」ものはある fact4: 「もしも「言い辛い一方で逃れ難くない」ということは正しいということはないとしたら着手す」物はある fact5: 仮に「とあるものはほっそりするしアーカイブする」ということは偽であるとすれば今目だ fact6: もし仮に「何らかのものはほっそりするがアーカイブしない」ということは事実と異なるとすると「それは今目だ」ということは事実である fact7: 「もしも抜け易いし麗しないなら入り交じる」物はある fact8: 「もし仮に「胃腸症状であるし飢えない」ということは間違いだとすれば縦横学な」ものはある
fact6 -> int1: もしも「あの上毛はほっそりするがアーカイブするということはない」ということは成り立たないなら「それは今目でない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「あの上毛はほっそりするしアーカイブする」ということは成り立たないとすればそれは今目である fact2: もし仮に何らかのものがほっそりしないならばそれは今目である fact3: 「仮にほっそりしないならば今目な」ものはある fact4: 「もしも「言い辛い一方で逃れ難くない」ということは正しいということはないとしたら着手す」物はある fact5: 仮に「とあるものはほっそりするしアーカイブする」ということは偽であるとすれば今目だ fact6: もし仮に「何らかのものはほっそりするがアーカイブしない」ということは事実と異なるとすると「それは今目だ」ということは事実である fact7: 「もしも抜け易いし麗しないなら入り交じる」物はある fact8: 「もし仮に「胃腸症状であるし飢えない」ということは間違いだとすれば縦横学な」ものはある ; $hypothesis$ = 「「もし「ほっそりするがしかしアーカイブしない」ということは成り立つということはないとしたら今目な」物はある」ということは偽である ; $proof$ = 
fact6 -> int1: もしも「あの上毛はほっそりするがアーカイブするということはない」ということは成り立たないなら「それは今目でない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 「あの上毛はほっそりするしアーカイブする」ということは成り立たないとすればそれは今目である
事実2: もし仮に何らかのものがほっそりしないならばそれは今目である
事実3: 「仮にほっそりしないならば今目な」ものはある
事実4: 「もしも「言い辛い一方で逃れ難くない」ということは正しいということはないとしたら着手す」物はある
事実5: 仮に「とあるものはほっそりするしアーカイブする」ということは偽であるとすれば今目だ
事実6: もし仮に「何らかのものはほっそりするがアーカイブしない」ということは事実と異なるとすると「それは今目だ」ということは事実である
事実7: 「もしも抜け易いし麗しないなら入り交じる」物はある
事実8: 「もし仮に「胃腸症状であるし飢えない」ということは間違いだとすれば縦横学な」ものはある

仮説: 「「もし「ほっそりするがしかしアーカイブしない」ということは成り立つということはないとしたら今目な」物はある」ということは偽である
1. 事実6から、推論1: "もしも「あの上毛はほっそりするがアーカイブするということはない」ということは成り立たないなら「それは今目でない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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