この国民保険は地域的範囲だ
fact1: この経審はびびらないがテンガ飛行場である fact2: もしもあの回収機が若いならそのアテトーゼは若い fact3: もしもこの経審はびびるということはない一方でテンガ飛行場であるとするとビルトインする fact4: もしあの開戦直前が加わるとするとこの国民保険は若い fact5: 「あの回収機は文化概念でないがそれは水臭い」ということは誤っている fact6: 「あの回収機は文化概念でないがしかし水臭い」ということは事実と異なるとするとあの開戦直前は加わる fact7: あの回収機は文化概念でない一方でビルトインする fact8: 仮にとある物は若いなら「それはビルトインしないが一変する」ということは成り立たない fact9: 「この国民保険が若いしその上地域的範囲だ」ということは事実と異ならないとすればこの経審はビルトインしない
fact6 & fact5 -> int1: あの開戦直前は加わる; int1 & fact4 -> int2: 「この国民保険は若い」ということは事実と異ならない; void -> assump1: 以下のように仮定する。この国民保険は地域的範囲である; int2 & assump1 -> int3: この国民保険は若いし更に地域的範囲である; int3 & fact9 -> int4: この経審はビルトインしない; fact1 & fact3 -> int5: この経審はビルトインする; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「そのアテトーゼはビルトインしない一方で一変する」ということは嘘だ
fact10 -> int7: もしそのアテトーゼは若いならば「それはビルトインしないがしかし一変する」ということは誤っている;
$facts$ = fact1: この経審はびびらないがテンガ飛行場である fact2: もしもあの回収機が若いならそのアテトーゼは若い fact3: もしもこの経審はびびるということはない一方でテンガ飛行場であるとするとビルトインする fact4: もしあの開戦直前が加わるとするとこの国民保険は若い fact5: 「あの回収機は文化概念でないがそれは水臭い」ということは誤っている fact6: 「あの回収機は文化概念でないがしかし水臭い」ということは事実と異なるとするとあの開戦直前は加わる fact7: あの回収機は文化概念でない一方でビルトインする fact8: 仮にとある物は若いなら「それはビルトインしないが一変する」ということは成り立たない fact9: 「この国民保険が若いしその上地域的範囲だ」ということは事実と異ならないとすればこの経審はビルトインしない ; $hypothesis$ = この国民保険は地域的範囲だ ; $proof$ = 
fact6 & fact5 -> int1: あの開戦直前は加わる; int1 & fact4 -> int2: 「この国民保険は若い」ということは事実と異ならない; void -> assump1: 以下のように仮定する。この国民保険は地域的範囲である; int2 & assump1 -> int3: この国民保険は若いし更に地域的範囲である; int3 & fact9 -> int4: この経審はビルトインしない; fact1 & fact3 -> int5: この経審はビルトインする; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: この経審はびびらないがテンガ飛行場である
事実2: もしもあの回収機が若いならそのアテトーゼは若い
事実3: もしもこの経審はびびるということはない一方でテンガ飛行場であるとするとビルトインする
事実4: もしあの開戦直前が加わるとするとこの国民保険は若い
事実5: 「あの回収機は文化概念でないがそれは水臭い」ということは誤っている
事実6: 「あの回収機は文化概念でないがしかし水臭い」ということは事実と異なるとするとあの開戦直前は加わる
事実7: あの回収機は文化概念でない一方でビルトインする
事実8: 仮にとある物は若いなら「それはビルトインしないが一変する」ということは成り立たない
事実9: 「この国民保険が若いしその上地域的範囲だ」ということは事実と異ならないとすればこの経審はビルトインしない

仮説: この国民保険は地域的範囲だ
1. 事実6と事実5から、推論1: "あの開戦直前は加わる"が導かれる
2. 推論1と事実4から、推論2: "「この国民保険は若い」ということは事実と異ならない"が導かれる
3. 仮定1: 以下のように仮定する。この国民保険は地域的範囲である
4. 推論2と仮定1から、推論3: "この国民保険は若いし更に地域的範囲である"が導かれる
5. 推論3と事実9から、推論4: "この経審はビルトインしない"が導かれる
6. 事実1と事実3から、推論5: "この経審はビルトインする"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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