「このプレミアムは流し送らないがしかし苦闘だ」ということは成り立たない
fact1: この悪霊達は苦闘でない fact2: 「「このプレミアムは苦闘でそれに落着する」ということは成り立つ」ということは偽である fact3: この悪霊達が献呈しないならばあのプレミアムは落着するしさらにおっかない fact4: もしこのプレミアムは落着しないとしたら「この悪霊達は苦闘でないがしかし流し送る」ということは成り立たない fact5: 仮にこのプレミアムは苦闘でないとすれば「この悪霊達は落着するし加えて流し送る」ということは誤っている fact6: 「この悪霊達は流し送るしかつそれは落着する」ということは間違いだ fact7: その散布図は娘らしくない fact8: この保険契約者は落着するということはない fact9: 「その自然流呼吸法は毀損しないがしかし取り過ぎる」ということは間違いならこの悪霊達は献呈しない fact10: 「この悪霊達が苦闘だしまた意味上だ」ということは嘘である fact11: あの庚申塔は苦闘でない fact12: 「この悪霊達は落着しない」ということは確かだとすれば「このプレミアムは流し送らないがしかし苦闘だ」ということは事実と異なる fact13: 「この悪霊達は流し送らないけれど殉教する」ということは嘘だ fact14: その散布図が娘らしくないとしたら受け難いしその上それはカフェテラスだ fact15: 「このプレミアムは苦闘でない」ということは成り立つとすれば「この悪霊達は落着しない一方で流し送る」ということは成り立たない fact16: この悪霊達は落着しない fact17: もしこのプレミアムは落着しないとすると「この悪霊達は流し送るし苦闘である」ということは偽だ fact18: 「このプレミアムは流し送るしさらに落着する」ということは成り立たない fact19: この新政府は落着しない
fact12 & fact16 -> hypothesis;
fact12 & fact16 -> hypothesis;
このプレミアムは流し送らないけれど苦闘だ
fact21 & fact20 -> int1: その散布図は受け難くてさらにカフェテラスだ; int1 -> int2: その散布図は受け難い; int2 -> int3: 「受け難い」物はある;
$facts$ = fact1: この悪霊達は苦闘でない fact2: 「「このプレミアムは苦闘でそれに落着する」ということは成り立つ」ということは偽である fact3: この悪霊達が献呈しないならばあのプレミアムは落着するしさらにおっかない fact4: もしこのプレミアムは落着しないとしたら「この悪霊達は苦闘でないがしかし流し送る」ということは成り立たない fact5: 仮にこのプレミアムは苦闘でないとすれば「この悪霊達は落着するし加えて流し送る」ということは誤っている fact6: 「この悪霊達は流し送るしかつそれは落着する」ということは間違いだ fact7: その散布図は娘らしくない fact8: この保険契約者は落着するということはない fact9: 「その自然流呼吸法は毀損しないがしかし取り過ぎる」ということは間違いならこの悪霊達は献呈しない fact10: 「この悪霊達が苦闘だしまた意味上だ」ということは嘘である fact11: あの庚申塔は苦闘でない fact12: 「この悪霊達は落着しない」ということは確かだとすれば「このプレミアムは流し送らないがしかし苦闘だ」ということは事実と異なる fact13: 「この悪霊達は流し送らないけれど殉教する」ということは嘘だ fact14: その散布図が娘らしくないとしたら受け難いしその上それはカフェテラスだ fact15: 「このプレミアムは苦闘でない」ということは成り立つとすれば「この悪霊達は落着しない一方で流し送る」ということは成り立たない fact16: この悪霊達は落着しない fact17: もしこのプレミアムは落着しないとすると「この悪霊達は流し送るし苦闘である」ということは偽だ fact18: 「このプレミアムは流し送るしさらに落着する」ということは成り立たない fact19: この新政府は落着しない ; $hypothesis$ = 「このプレミアムは流し送らないがしかし苦闘だ」ということは成り立たない ; $proof$ = 
fact12 & fact16 -> hypothesis; __PROVED__
事実1: この悪霊達は苦闘でない
事実2: 「「このプレミアムは苦闘でそれに落着する」ということは成り立つ」ということは偽である
事実3: この悪霊達が献呈しないならばあのプレミアムは落着するしさらにおっかない
事実4: もしこのプレミアムは落着しないとしたら「この悪霊達は苦闘でないがしかし流し送る」ということは成り立たない
事実5: 仮にこのプレミアムは苦闘でないとすれば「この悪霊達は落着するし加えて流し送る」ということは誤っている
事実6: 「この悪霊達は流し送るしかつそれは落着する」ということは間違いだ
事実7: その散布図は娘らしくない
事実8: この保険契約者は落着するということはない
事実9: 「その自然流呼吸法は毀損しないがしかし取り過ぎる」ということは間違いならこの悪霊達は献呈しない
事実10: 「この悪霊達が苦闘だしまた意味上だ」ということは嘘である
事実11: あの庚申塔は苦闘でない
事実12: 「この悪霊達は落着しない」ということは確かだとすれば「このプレミアムは流し送らないがしかし苦闘だ」ということは事実と異なる
事実13: 「この悪霊達は流し送らないけれど殉教する」ということは嘘だ
事実14: その散布図が娘らしくないとしたら受け難いしその上それはカフェテラスだ
事実15: 「このプレミアムは苦闘でない」ということは成り立つとすれば「この悪霊達は落着しない一方で流し送る」ということは成り立たない
事実16: この悪霊達は落着しない
事実17: もしこのプレミアムは落着しないとすると「この悪霊達は流し送るし苦闘である」ということは偽だ
事実18: 「このプレミアムは流し送るしさらに落着する」ということは成り立たない
事実19: この新政府は落着しない

仮説: 「このプレミアムは流し送らないがしかし苦闘だ」ということは成り立たない
1. 事実12と事実16から、仮説が導かれる

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