あの総監部は新しない
fact1: その美術館建築は偏しない fact2: もし仮にその美術館建築がＧＦＰでないとするとあの総監部は新しということはない fact3: 「その美術館建築はＧＦＰでない」ということは真実だ fact4: もし仮にある物が絶やさないならば例外無いし更にＧＦＰだ fact5: その美術館建築がＧＦＰでないか例外無くないかまたは両方ともだとすればあの実物資産はＧＦＰでない fact6: 「あの総監部はＧＦＰであるということはない」ということは成り立つ fact7: もし仮にあの総監部がＧＦＰでないならその美術館建築は新しない fact8: その美術館建築は新しない fact9: もしその美術館建築がＧＦＰならあの総監部は新し fact10: 「このＷヒア句は新しない」ということは成り立つ fact11: 「その美術館建築は枸杞子であるということはない」ということは本当である
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
あの総監部は新し
fact13 -> int1: もしその美術館建築が絶やさないとするとそれは例外無いしおまけにＧＦＰだ;
$facts$ = fact1: その美術館建築は偏しない fact2: もし仮にその美術館建築がＧＦＰでないとするとあの総監部は新しということはない fact3: 「その美術館建築はＧＦＰでない」ということは真実だ fact4: もし仮にある物が絶やさないならば例外無いし更にＧＦＰだ fact5: その美術館建築がＧＦＰでないか例外無くないかまたは両方ともだとすればあの実物資産はＧＦＰでない fact6: 「あの総監部はＧＦＰであるということはない」ということは成り立つ fact7: もし仮にあの総監部がＧＦＰでないならその美術館建築は新しない fact8: その美術館建築は新しない fact9: もしその美術館建築がＧＦＰならあの総監部は新し fact10: 「このＷヒア句は新しない」ということは成り立つ fact11: 「その美術館建築は枸杞子であるということはない」ということは本当である ; $hypothesis$ = あの総監部は新しない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: その美術館建築は偏しない
事実2: もし仮にその美術館建築がＧＦＰでないとするとあの総監部は新しということはない
事実3: 「その美術館建築はＧＦＰでない」ということは真実だ
事実4: もし仮にある物が絶やさないならば例外無いし更にＧＦＰだ
事実5: その美術館建築がＧＦＰでないか例外無くないかまたは両方ともだとすればあの実物資産はＧＦＰでない
事実6: 「あの総監部はＧＦＰであるということはない」ということは成り立つ
事実7: もし仮にあの総監部がＧＦＰでないならその美術館建築は新しない
事実8: その美術館建築は新しない
事実9: もしその美術館建築がＧＦＰならあの総監部は新し
事実10: 「このＷヒア句は新しない」ということは成り立つ
事実11: 「その美術館建築は枸杞子であるということはない」ということは本当である

仮説: あの総監部は新しない
1. 事実2と事実3から、仮説が導かれる

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