「あの護国はとろくないがしかしそれは重々しい」ということは成り立たない
fact1: 「その通りは三個分でないがしかし偏移する」ということは誤っている fact2: 「「あの護国はとろくないけれど重々しい」ということは嘘である」ということは成り立つ fact3: もしもとある物が吸い口ならば出版年月日だ fact4: なにかは手作りしないとすればそれは使用場所であるしそれに運悪い fact5: あるものが使用場所なら吸い口である fact6: 「その不動産投資は出版年月日でない」ということは正しいとするとあの護国はとろくないがしかし重々しい fact7: 「あの護国はとろいしそれに重々しい」ということは成り立たない fact8: もしもあの護国が使用場所ならあの凧は使用場所だ fact9: とある物が吸い口でないし更に使用場所でないならばあの護国は出版年月日である fact10: 何もかもは運悪い fact11: もしも何かは出版年月日だとすれば「それは重々しいということはないが信用する」ということは成り立たない fact12: もしも「あの護国は手作りするがそれは愚考しない」ということは間違いだとすれば手作りしない fact13: もし仮にこの中国史が吸い口でないとすればその中長期財政計画は吸い口だ fact14: 「あの護国は察しないけれど重々しい」ということは間違いだ
fact2 -> hypothesis;
fact2 -> hypothesis;
あの護国はとろくないけど重々しい
$facts$ = fact1: 「その通りは三個分でないがしかし偏移する」ということは誤っている fact2: 「「あの護国はとろくないけれど重々しい」ということは嘘である」ということは成り立つ fact3: もしもとある物が吸い口ならば出版年月日だ fact4: なにかは手作りしないとすればそれは使用場所であるしそれに運悪い fact5: あるものが使用場所なら吸い口である fact6: 「その不動産投資は出版年月日でない」ということは正しいとするとあの護国はとろくないがしかし重々しい fact7: 「あの護国はとろいしそれに重々しい」ということは成り立たない fact8: もしもあの護国が使用場所ならあの凧は使用場所だ fact9: とある物が吸い口でないし更に使用場所でないならばあの護国は出版年月日である fact10: 何もかもは運悪い fact11: もしも何かは出版年月日だとすれば「それは重々しいということはないが信用する」ということは成り立たない fact12: もしも「あの護国は手作りするがそれは愚考しない」ということは間違いだとすれば手作りしない fact13: もし仮にこの中国史が吸い口でないとすればその中長期財政計画は吸い口だ fact14: 「あの護国は察しないけれど重々しい」ということは間違いだ ; $hypothesis$ = 「あの護国はとろくないがしかしそれは重々しい」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「その通りは三個分でないがしかし偏移する」ということは誤っている
事実2: 「「あの護国はとろくないけれど重々しい」ということは嘘である」ということは成り立つ
事実3: もしもとある物が吸い口ならば出版年月日だ
事実4: なにかは手作りしないとすればそれは使用場所であるしそれに運悪い
事実5: あるものが使用場所なら吸い口である
事実6: 「その不動産投資は出版年月日でない」ということは正しいとするとあの護国はとろくないがしかし重々しい
事実7: 「あの護国はとろいしそれに重々しい」ということは成り立たない
事実8: もしもあの護国が使用場所ならあの凧は使用場所だ
事実9: とある物が吸い口でないし更に使用場所でないならばあの護国は出版年月日である
事実10: 何もかもは運悪い
事実11: もしも何かは出版年月日だとすれば「それは重々しいということはないが信用する」ということは成り立たない
事実12: もしも「あの護国は手作りするがそれは愚考しない」ということは間違いだとすれば手作りしない
事実13: もし仮にこの中国史が吸い口でないとすればその中長期財政計画は吸い口だ
事実14: 「あの護国は察しないけれど重々しい」ということは間違いだ

仮説: 「あの護国はとろくないがしかしそれは重々しい」ということは成り立たない
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。