その遊園地は大別する
fact1: もし仮になにがしかの物は見分け難いとすれば「慈悲深いけど発生し易くない」ということは成り立つということはない fact2: 「その遊園地は陸軍予備士官学校でないがしかし大別する」ということは成り立つということはない fact3: もしもその遊園地が公式参拝するかあるいは脅すか両方ともならそれは陸軍予備士官学校でない fact4: もしもなにかは見分け難いということはないとするとそれは大別する fact5: 「見分け難い」物はある fact6: 仮にその用碑が脅すとするとあの橋口組は公式参拝する fact7: 「その八年後は香しいけどサンフランシスコ平和条約だということはない」ということは成り立たないならその遊園地は公式参拝する fact8: 「見分け難い」物はあるとしたら「「その八年後は香しいがサンフランシスコ平和条約でない」ということは成り立たない」ということは確かだ
fact5 & fact8 -> int1: 「その八年後は香しいがそれはサンフランシスコ平和条約でない」ということは誤りである; int1 & fact7 -> int2: その遊園地は公式参拝する; int2 -> int3: その遊園地は公式参拝するかもしくは脅すかまたは両方ともだ; int3 & fact3 -> int4: 「その遊園地は陸軍予備士官学校でない」ということは真実だ; void -> assump1: 以下のように仮定する。その遊園地は大別する; int4 & assump1 -> int5: その遊園地は陸軍予備士官学校でないがしかし大別する; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その八年後は慈悲深いがしかし発生し易いということはない」ということは事実と異なる
fact9 -> int7: もしその八年後は見分け難いとすると「それは慈悲深くて加えてそれは発生し易くない」ということは成り立たない;
$facts$ = fact1: もし仮になにがしかの物は見分け難いとすれば「慈悲深いけど発生し易くない」ということは成り立つということはない fact2: 「その遊園地は陸軍予備士官学校でないがしかし大別する」ということは成り立つということはない fact3: もしもその遊園地が公式参拝するかあるいは脅すか両方ともならそれは陸軍予備士官学校でない fact4: もしもなにかは見分け難いということはないとするとそれは大別する fact5: 「見分け難い」物はある fact6: 仮にその用碑が脅すとするとあの橋口組は公式参拝する fact7: 「その八年後は香しいけどサンフランシスコ平和条約だということはない」ということは成り立たないならその遊園地は公式参拝する fact8: 「見分け難い」物はあるとしたら「「その八年後は香しいがサンフランシスコ平和条約でない」ということは成り立たない」ということは確かだ ; $hypothesis$ = その遊園地は大別する ; $proof$ = 
fact5 & fact8 -> int1: 「その八年後は香しいがそれはサンフランシスコ平和条約でない」ということは誤りである; int1 & fact7 -> int2: その遊園地は公式参拝する; int2 -> int3: その遊園地は公式参拝するかもしくは脅すかまたは両方ともだ; int3 & fact3 -> int4: 「その遊園地は陸軍予備士官学校でない」ということは真実だ; void -> assump1: 以下のように仮定する。その遊園地は大別する; int4 & assump1 -> int5: その遊園地は陸軍予備士官学校でないがしかし大別する; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物は見分け難いとすれば「慈悲深いけど発生し易くない」ということは成り立つということはない
事実2: 「その遊園地は陸軍予備士官学校でないがしかし大別する」ということは成り立つということはない
事実3: もしもその遊園地が公式参拝するかあるいは脅すか両方ともならそれは陸軍予備士官学校でない
事実4: もしもなにかは見分け難いということはないとするとそれは大別する
事実5: 「見分け難い」物はある
事実6: 仮にその用碑が脅すとするとあの橋口組は公式参拝する
事実7: 「その八年後は香しいけどサンフランシスコ平和条約だということはない」ということは成り立たないならその遊園地は公式参拝する
事実8: 「見分け難い」物はあるとしたら「「その八年後は香しいがサンフランシスコ平和条約でない」ということは成り立たない」ということは確かだ

仮説: その遊園地は大別する
1. 事実5と事実8から、推論1: "「その八年後は香しいがそれはサンフランシスコ平和条約でない」ということは誤りである"が導かれる
2. 推論1と事実7から、推論2: "その遊園地は公式参拝する"が導かれる
3. 推論2から、推論3: "その遊園地は公式参拝するかもしくは脅すかまたは両方ともだ"が導かれる
4. 推論3と事実3から、推論4: "「その遊園地は陸軍予備士官学校でない」ということは真実だ"が導かれる
5. 仮定1: 以下のように仮定する。その遊園地は大別する
6. 推論4と仮定1から、推論5: "その遊園地は陸軍予備士官学校でないがしかし大別する"が導かれる
7. 推論5と事実2から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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