その政党結成は守り易い
fact1: もし仮になにかは献金しないとすればそれは守り易くてさらにプロピオン酸である fact2: 仮に「「何かは長ーいしそれは献金する」ということは成り立つ」ということは事実と異なるとしたらそれは献金しない fact3: 仮にこのアルゴリズムプランＥ‐ＳＷＥＥＰがプロピオン酸だとすればあの丹波国は献金する fact4: もし仮に「あの撮像画面サイズは長ーくないし避け難いということはない」ということは間違っていればその政党結成は守り易い fact5: このアルゴリズムプランＥ‐ＳＷＥＥＰはプロピオン酸である fact6: もし「このアルゴリズムプランＥ‐ＳＷＥＥＰは守り易くなくてまた長ーくない」ということは誤っているとすればあの撮像画面サイズはプロピオン酸である fact7: 「仮にとあるものは避け難いとすると「それは献金しなくてかつプロピオン酸でない」ということは誤っている」ということは真実だ fact8: もし仮にあの丹波国は献金すれば「あの撮像画面サイズは長ーくないし避け難くない」ということは成り立たない
fact3 & fact5 -> int1: あの丹波国は献金する; int1 & fact8 -> int2: 「あの撮像画面サイズは長ーくないしさらに避け難くない」ということは偽である; int2 & fact4 -> hypothesis;
fact3 & fact5 -> int1: {B}{b}; int1 & fact8 -> int2: ¬(¬{D}{c} & ¬{C}{c}); int2 & fact4 -> hypothesis;
その苗木は守り易い
fact9 -> int3: もし仮にその苗木が献金しないとするとそれは守り易いしそれにプロピオン酸だ; fact10 -> int4: もし仮に「その苗木は長ーいしそれに献金する」ということは偽であるなら献金するということはない;
$facts$ = fact1: もし仮になにかは献金しないとすればそれは守り易くてさらにプロピオン酸である fact2: 仮に「「何かは長ーいしそれは献金する」ということは成り立つ」ということは事実と異なるとしたらそれは献金しない fact3: 仮にこのアルゴリズムプランＥ‐ＳＷＥＥＰがプロピオン酸だとすればあの丹波国は献金する fact4: もし仮に「あの撮像画面サイズは長ーくないし避け難いということはない」ということは間違っていればその政党結成は守り易い fact5: このアルゴリズムプランＥ‐ＳＷＥＥＰはプロピオン酸である fact6: もし「このアルゴリズムプランＥ‐ＳＷＥＥＰは守り易くなくてまた長ーくない」ということは誤っているとすればあの撮像画面サイズはプロピオン酸である fact7: 「仮にとあるものは避け難いとすると「それは献金しなくてかつプロピオン酸でない」ということは誤っている」ということは真実だ fact8: もし仮にあの丹波国は献金すれば「あの撮像画面サイズは長ーくないし避け難くない」ということは成り立たない ; $hypothesis$ = その政党結成は守り易い ; $proof$ = 
fact3 & fact5 -> int1: あの丹波国は献金する; int1 & fact8 -> int2: 「あの撮像画面サイズは長ーくないしさらに避け難くない」ということは偽である; int2 & fact4 -> hypothesis; __PROVED__
事実1: もし仮になにかは献金しないとすればそれは守り易くてさらにプロピオン酸である
事実2: 仮に「「何かは長ーいしそれは献金する」ということは成り立つ」ということは事実と異なるとしたらそれは献金しない
事実3: 仮にこのアルゴリズムプランＥ‐ＳＷＥＥＰがプロピオン酸だとすればあの丹波国は献金する
事実4: もし仮に「あの撮像画面サイズは長ーくないし避け難いということはない」ということは間違っていればその政党結成は守り易い
事実5: このアルゴリズムプランＥ‐ＳＷＥＥＰはプロピオン酸である
事実6: もし「このアルゴリズムプランＥ‐ＳＷＥＥＰは守り易くなくてまた長ーくない」ということは誤っているとすればあの撮像画面サイズはプロピオン酸である
事実7: 「仮にとあるものは避け難いとすると「それは献金しなくてかつプロピオン酸でない」ということは誤っている」ということは真実だ
事実8: もし仮にあの丹波国は献金すれば「あの撮像画面サイズは長ーくないし避け難くない」ということは成り立たない

仮説: その政党結成は守り易い
1. 事実3と事実5から、推論1: "あの丹波国は献金する"が導かれる
2. 推論1と事実8から、推論2: "「あの撮像画面サイズは長ーくないしさらに避け難くない」ということは偽である"が導かれる
3. 推論2と事実4から、仮説が導かれる

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