「その日本共産党員は商品表示性であるかもしくは労わり合う」ということは成り立たない
fact1: 仮にとあるものが波及すればそれは労わり合う fact2: もし仮に「「少なししそれに未既婚だ」ということは誤っている」ものがあるならあの初回は未既婚でない fact3: もしこの藪椿は懸濁するということはないならば「「それは少なししそれにそれは未既婚だ」ということは成り立つ」ということは確かでない fact4: 「もしその日本共産党員が文句無しでないならばその日本共産党員はおっかなくない一方で波及する」ということは本当である fact5: 仮にその決定打が商品表示性であるとすれば文句無しでなくて加えてそれは労わり合わない fact6: この藪椿は懸濁しない fact7: その日本共産党員は文句無しでない fact8: もし仮にこの支払い命令が暗室外部であるし住めるならこのダブルスは住めない fact9: その日本共産党員はおっかなくない fact10: なにがしかのものが住めるということはないならばＮＣＲである一方で文句無しだということはない fact11: もし仮にその日本共産党員は文句無しでないとしたらおっかなくない fact12: 「未既婚でない」物があるならばあの支払い命令は暗室外部であるしそれに住める
fact4 & fact7 -> int1: その日本共産党員はおっかなくないがしかし波及する; int1 -> int2: その日本共産党員は波及する; fact1 -> int3: もしその日本共産党員が波及するなら労わり合う; int2 & int3 -> int4: その日本共産党員は労わり合う; int4 -> hypothesis;
その決定打は訪ねない一方でおっかない
$facts$ = fact1: 仮にとあるものが波及すればそれは労わり合う fact2: もし仮に「「少なししそれに未既婚だ」ということは誤っている」ものがあるならあの初回は未既婚でない fact3: もしこの藪椿は懸濁するということはないならば「「それは少なししそれにそれは未既婚だ」ということは成り立つ」ということは確かでない fact4: 「もしその日本共産党員が文句無しでないならばその日本共産党員はおっかなくない一方で波及する」ということは本当である fact5: 仮にその決定打が商品表示性であるとすれば文句無しでなくて加えてそれは労わり合わない fact6: この藪椿は懸濁しない fact7: その日本共産党員は文句無しでない fact8: もし仮にこの支払い命令が暗室外部であるし住めるならこのダブルスは住めない fact9: その日本共産党員はおっかなくない fact10: なにがしかのものが住めるということはないならばＮＣＲである一方で文句無しだということはない fact11: もし仮にその日本共産党員は文句無しでないとしたらおっかなくない fact12: 「未既婚でない」物があるならばあの支払い命令は暗室外部であるしそれに住める ; $hypothesis$ = 「その日本共産党員は商品表示性であるかもしくは労わり合う」ということは成り立たない ; $proof$ = 
fact4 & fact7 -> int1: その日本共産党員はおっかなくないがしかし波及する; int1 -> int2: その日本共産党員は波及する; fact1 -> int3: もしその日本共産党員が波及するなら労わり合う; int2 & int3 -> int4: その日本共産党員は労わり合う; int4 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものが波及すればそれは労わり合う
事実2: もし仮に「「少なししそれに未既婚だ」ということは誤っている」ものがあるならあの初回は未既婚でない
事実3: もしこの藪椿は懸濁するということはないならば「「それは少なししそれにそれは未既婚だ」ということは成り立つ」ということは確かでない
事実4: 「もしその日本共産党員が文句無しでないならばその日本共産党員はおっかなくない一方で波及する」ということは本当である
事実5: 仮にその決定打が商品表示性であるとすれば文句無しでなくて加えてそれは労わり合わない
事実6: この藪椿は懸濁しない
事実7: その日本共産党員は文句無しでない
事実8: もし仮にこの支払い命令が暗室外部であるし住めるならこのダブルスは住めない
事実9: その日本共産党員はおっかなくない
事実10: なにがしかのものが住めるということはないならばＮＣＲである一方で文句無しだということはない
事実11: もし仮にその日本共産党員は文句無しでないとしたらおっかなくない
事実12: 「未既婚でない」物があるならばあの支払い命令は暗室外部であるしそれに住める

仮説: 「その日本共産党員は商品表示性であるかもしくは労わり合う」ということは成り立たない
1. 事実4と事実7から、推論1: "その日本共産党員はおっかなくないがしかし波及する"が導かれる
2. 推論1から、推論2: "その日本共産党員は波及する"が導かれる
3. 事実1から、推論3: "もしその日本共産党員が波及するなら労わり合う"が導かれる
4. 推論2と推論3から、推論4: "その日本共産党員は労わり合う"が導かれる
5. 推論4から、仮説が否定される

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