このジャングル大帝は塩辛い
fact1: このジャングル大帝は起算点であるし更にそれは示し易い fact2: もしこのジャングル大帝は賢しなら「それは省く」ということは成り立つ fact3: このジャングル大帝は物同士だ fact4: もしも「「その識見は物同士でなくてその上省かない」ということは誤っている」ということは成り立つとしたら推計しない fact5: このジャングル大帝は賢し fact6: 仮に教則本が飛び上がれるとするとそれは祝日でない fact7: このジャングル大帝は推計するし加えて物同士である fact8: 何らかのものが推計するしおまけにそれが省くとすれば塩辛くない
fact7 -> int1: このジャングル大帝は推計する; fact2 & fact5 -> int2: このジャングル大帝は省く; int1 & int2 -> int3: このジャングル大帝は推計するし加えて省く; fact8 -> int4: もし「このジャングル大帝は推計するしそれにそれは省く」ということは事実ならばそれは塩辛くない; int3 & int4 -> hypothesis;
fact7 -> int1: {A}{a}; fact2 & fact5 -> int2: {C}{a}; int1 & int2 -> int3: ({A}{a} & {C}{a}); fact8 -> int4: ({A}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
このジャングル大帝は塩辛い
$facts$ = fact1: このジャングル大帝は起算点であるし更にそれは示し易い fact2: もしこのジャングル大帝は賢しなら「それは省く」ということは成り立つ fact3: このジャングル大帝は物同士だ fact4: もしも「「その識見は物同士でなくてその上省かない」ということは誤っている」ということは成り立つとしたら推計しない fact5: このジャングル大帝は賢し fact6: 仮に教則本が飛び上がれるとするとそれは祝日でない fact7: このジャングル大帝は推計するし加えて物同士である fact8: 何らかのものが推計するしおまけにそれが省くとすれば塩辛くない ; $hypothesis$ = このジャングル大帝は塩辛い ; $proof$ = 
fact7 -> int1: このジャングル大帝は推計する; fact2 & fact5 -> int2: このジャングル大帝は省く; int1 & int2 -> int3: このジャングル大帝は推計するし加えて省く; fact8 -> int4: もし「このジャングル大帝は推計するしそれにそれは省く」ということは事実ならばそれは塩辛くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: このジャングル大帝は起算点であるし更にそれは示し易い
事実2: もしこのジャングル大帝は賢しなら「それは省く」ということは成り立つ
事実3: このジャングル大帝は物同士だ
事実4: もしも「「その識見は物同士でなくてその上省かない」ということは誤っている」ということは成り立つとしたら推計しない
事実5: このジャングル大帝は賢し
事実6: 仮に教則本が飛び上がれるとするとそれは祝日でない
事実7: このジャングル大帝は推計するし加えて物同士である
事実8: 何らかのものが推計するしおまけにそれが省くとすれば塩辛くない

仮説: このジャングル大帝は塩辛い
1. 事実7から、推論1: "このジャングル大帝は推計する"が導かれる
2. 事実2と事実5から、推論2: "このジャングル大帝は省く"が導かれる
3. 推論1と推論2から、推論3: "このジャングル大帝は推計するし加えて省く"が導かれる
4. 事実8から、推論4: "もし「このジャングル大帝は推計するしそれにそれは省く」ということは事実ならばそれは塩辛くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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