「仮にこの予算作成がインテリゲンチャだとするとそのＩＣＳＩは予見するが書きっ振りでない」ということは成り立たない
fact1: この予算作成は神々しい fact2: もし仮にこの予算作成が書きっ振りだとすればそのＩＣＳＩは予見する fact3: 仮に「この予算作成は書きっ振りだ」ということは真実であるならそのＩＣＳＩは予見するしその上書きっ振りだ fact4: もし仮にそのＩＣＳＩがインテリゲンチャならそれは書きっ振りである fact5: 仮にそのＩＣＳＩがインテリゲンチャならこの予算作成は予見する一方でインテリゲンチャでない fact6: そのＩＣＳＩは予見するし更に書きっ振りだ fact7: そのＩＣＳＩは予見する fact8: もし仮にこの予算作成がインテリゲンチャだとしたらそれは書きっ振りである fact9: 仮にそのＩＣＳＩがインテリゲンチャならば予見する fact10: この予算作成は鈴木流統計術である fact11: 仮にこの予算作成がインテリゲンチャならばそのＩＣＳＩは予見するし書きっ振りである fact12: もしもそのＩＣＳＩがインテリゲンチャであるとすればこの予算作成は書きっ振りだけれどインテリゲンチャでない fact13: もし仮にこの予算作成が予見するとするとそのＩＣＳＩは書きっ振りである一方でインテリゲンチャでない fact14: 「この目的通りは書きっ振りである」ということは確かである fact15: もし仮に「この予算作成は書きっ振りである」ということは事実だとするとそのＩＣＳＩは予見するがしかし書きっ振りでない fact16: この予算作成は予見する fact17: 仮にこの予算作成が予見すればそれは取り消し日である fact18: もし仮にこの予算作成がインテリゲンチャならそのＩＣＳＩは予見する
void -> assump1: 以下のように仮定する。この予算作成はインテリゲンチャである; fact8 & assump1 -> int1: この予算作成は書きっ振りだ; int1 & fact15 -> int2: そのＩＣＳＩは予見するけど書きっ振りでない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この予算作成は神々しい fact2: もし仮にこの予算作成が書きっ振りだとすればそのＩＣＳＩは予見する fact3: 仮に「この予算作成は書きっ振りだ」ということは真実であるならそのＩＣＳＩは予見するしその上書きっ振りだ fact4: もし仮にそのＩＣＳＩがインテリゲンチャならそれは書きっ振りである fact5: 仮にそのＩＣＳＩがインテリゲンチャならこの予算作成は予見する一方でインテリゲンチャでない fact6: そのＩＣＳＩは予見するし更に書きっ振りだ fact7: そのＩＣＳＩは予見する fact8: もし仮にこの予算作成がインテリゲンチャだとしたらそれは書きっ振りである fact9: 仮にそのＩＣＳＩがインテリゲンチャならば予見する fact10: この予算作成は鈴木流統計術である fact11: 仮にこの予算作成がインテリゲンチャならばそのＩＣＳＩは予見するし書きっ振りである fact12: もしもそのＩＣＳＩがインテリゲンチャであるとすればこの予算作成は書きっ振りだけれどインテリゲンチャでない fact13: もし仮にこの予算作成が予見するとするとそのＩＣＳＩは書きっ振りである一方でインテリゲンチャでない fact14: 「この目的通りは書きっ振りである」ということは確かである fact15: もし仮に「この予算作成は書きっ振りである」ということは事実だとするとそのＩＣＳＩは予見するがしかし書きっ振りでない fact16: この予算作成は予見する fact17: 仮にこの予算作成が予見すればそれは取り消し日である fact18: もし仮にこの予算作成がインテリゲンチャならそのＩＣＳＩは予見する ; $hypothesis$ = 「仮にこの予算作成がインテリゲンチャだとするとそのＩＣＳＩは予見するが書きっ振りでない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この予算作成はインテリゲンチャである; fact8 & assump1 -> int1: この予算作成は書きっ振りだ; int1 & fact15 -> int2: そのＩＣＳＩは予見するけど書きっ振りでない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: この予算作成は神々しい
事実2: もし仮にこの予算作成が書きっ振りだとすればそのＩＣＳＩは予見する
事実3: 仮に「この予算作成は書きっ振りだ」ということは真実であるならそのＩＣＳＩは予見するしその上書きっ振りだ
事実4: もし仮にそのＩＣＳＩがインテリゲンチャならそれは書きっ振りである
事実5: 仮にそのＩＣＳＩがインテリゲンチャならこの予算作成は予見する一方でインテリゲンチャでない
事実6: そのＩＣＳＩは予見するし更に書きっ振りだ
事実7: そのＩＣＳＩは予見する
事実8: もし仮にこの予算作成がインテリゲンチャだとしたらそれは書きっ振りである
事実9: 仮にそのＩＣＳＩがインテリゲンチャならば予見する
事実10: この予算作成は鈴木流統計術である
事実11: 仮にこの予算作成がインテリゲンチャならばそのＩＣＳＩは予見するし書きっ振りである
事実12: もしもそのＩＣＳＩがインテリゲンチャであるとすればこの予算作成は書きっ振りだけれどインテリゲンチャでない
事実13: もし仮にこの予算作成が予見するとするとそのＩＣＳＩは書きっ振りである一方でインテリゲンチャでない
事実14: 「この目的通りは書きっ振りである」ということは確かである
事実15: もし仮に「この予算作成は書きっ振りである」ということは事実だとするとそのＩＣＳＩは予見するがしかし書きっ振りでない
事実16: この予算作成は予見する
事実17: 仮にこの予算作成が予見すればそれは取り消し日である
事実18: もし仮にこの予算作成がインテリゲンチャならそのＩＣＳＩは予見する

仮説: 「仮にこの予算作成がインテリゲンチャだとするとそのＩＣＳＩは予見するが書きっ振りでない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この予算作成はインテリゲンチャである
2. 事実8と仮定1から、推論1: "この予算作成は書きっ振りだ"が導かれる
3. 推論1と事実15から、推論2: "そのＩＣＳＩは予見するけど書きっ振りでない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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