この共産党宣言はとろ臭い
fact1: 仮にこの頸髄損傷者は眠芽でないならば「掛け離れないがしかしブランドらしい」ということは誤っている fact2: 「もしもこの頸髄損傷者が火の見櫓でないとすればこの頸髄損傷者は掛け離れないがブランドらしい」ということは事実である fact3: この頸髄損傷者は掛け離れない fact4: 仮にこの頸髄損傷者は火の見櫓でないならば「それは掛け離れない」ということは成り立つ fact5: この頸髄損傷者は溜め込まない fact6: もし仮にこの頸髄損傷者が眠芽だとしたらその過労は若やぐ fact7: この頸髄損傷者はとろ臭い fact8: 仮に「その過労は若やがないかまたは太り易いかまたは両方だ」ということは間違いだとしたらこの共産党宣言はとろ臭くない fact9: もし仮にこの頸髄損傷者が掛け離れるとすればこの共産党宣言はブランドらしくない fact10: 「この頸髄損傷者は掛け離れるしそれはブランドらしい」ということは嘘である fact11: 「仮に「その過労は若やぐかまたは太り易いか両方である」ということは成り立たないとすればこの共産党宣言はとろ臭いということはない」ということは本当である fact12: もしもなんらかの物が拝観しないとしたらそれは絵図でなくて加えてそれは傾く fact13: この頸髄損傷者は火の見櫓でない fact14: もしもこの頸髄損傷者は眠芽であるとすると「その過労は若やぐということはないかもしくは太り易い」ということは誤りだ
void -> assump1: 以下のように仮定する。この頸髄損傷者は眠芽でない; fact1 & assump1 -> int1: 「この頸髄損傷者は掛け離れるということはないけれどブランドらしい」ということは確かでない; fact2 & fact13 -> int2: この頸髄損傷者は掛け離れないがしかしブランドらしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この頸髄損傷者は眠芽だ; int4 & fact14 -> int5: 「その過労は若やがないかそれは太り易いか両方ともだ」ということは確かでない; int5 & fact8 -> hypothesis;
もし仮にこの共産党宣言が拝観しないとすれば絵図でなくてそれにそれは傾く
fact15 -> hypothesis;
$facts$ = fact1: 仮にこの頸髄損傷者は眠芽でないならば「掛け離れないがしかしブランドらしい」ということは誤っている fact2: 「もしもこの頸髄損傷者が火の見櫓でないとすればこの頸髄損傷者は掛け離れないがブランドらしい」ということは事実である fact3: この頸髄損傷者は掛け離れない fact4: 仮にこの頸髄損傷者は火の見櫓でないならば「それは掛け離れない」ということは成り立つ fact5: この頸髄損傷者は溜め込まない fact6: もし仮にこの頸髄損傷者が眠芽だとしたらその過労は若やぐ fact7: この頸髄損傷者はとろ臭い fact8: 仮に「その過労は若やがないかまたは太り易いかまたは両方だ」ということは間違いだとしたらこの共産党宣言はとろ臭くない fact9: もし仮にこの頸髄損傷者が掛け離れるとすればこの共産党宣言はブランドらしくない fact10: 「この頸髄損傷者は掛け離れるしそれはブランドらしい」ということは嘘である fact11: 「仮に「その過労は若やぐかまたは太り易いか両方である」ということは成り立たないとすればこの共産党宣言はとろ臭いということはない」ということは本当である fact12: もしもなんらかの物が拝観しないとしたらそれは絵図でなくて加えてそれは傾く fact13: この頸髄損傷者は火の見櫓でない fact14: もしもこの頸髄損傷者は眠芽であるとすると「その過労は若やぐということはないかもしくは太り易い」ということは誤りだ ; $hypothesis$ = この共産党宣言はとろ臭い ; $proof$ = 
void -> assump1: 以下のように仮定する。この頸髄損傷者は眠芽でない; fact1 & assump1 -> int1: 「この頸髄損傷者は掛け離れるということはないけれどブランドらしい」ということは確かでない; fact2 & fact13 -> int2: この頸髄損傷者は掛け離れないがしかしブランドらしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この頸髄損傷者は眠芽だ; int4 & fact14 -> int5: 「その過労は若やがないかそれは太り易いか両方ともだ」ということは確かでない; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にこの頸髄損傷者は眠芽でないならば「掛け離れないがしかしブランドらしい」ということは誤っている
事実2: 「もしもこの頸髄損傷者が火の見櫓でないとすればこの頸髄損傷者は掛け離れないがブランドらしい」ということは事実である
事実3: この頸髄損傷者は掛け離れない
事実4: 仮にこの頸髄損傷者は火の見櫓でないならば「それは掛け離れない」ということは成り立つ
事実5: この頸髄損傷者は溜め込まない
事実6: もし仮にこの頸髄損傷者が眠芽だとしたらその過労は若やぐ
事実7: この頸髄損傷者はとろ臭い
事実8: 仮に「その過労は若やがないかまたは太り易いかまたは両方だ」ということは間違いだとしたらこの共産党宣言はとろ臭くない
事実9: もし仮にこの頸髄損傷者が掛け離れるとすればこの共産党宣言はブランドらしくない
事実10: 「この頸髄損傷者は掛け離れるしそれはブランドらしい」ということは嘘である
事実11: 「仮に「その過労は若やぐかまたは太り易いか両方である」ということは成り立たないとすればこの共産党宣言はとろ臭いということはない」ということは本当である
事実12: もしもなんらかの物が拝観しないとしたらそれは絵図でなくて加えてそれは傾く
事実13: この頸髄損傷者は火の見櫓でない
事実14: もしもこの頸髄損傷者は眠芽であるとすると「その過労は若やぐということはないかもしくは太り易い」ということは誤りだ

仮説: この共産党宣言はとろ臭い
1. 仮定1: 以下のように仮定する。この頸髄損傷者は眠芽でない
2. 事実1と仮定1から、推論1: "「この頸髄損傷者は掛け離れるということはないけれどブランドらしい」ということは確かでない"が導かれる
3. 事実2と事実13から、推論2: "この頸髄損傷者は掛け離れないがしかしブランドらしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この頸髄損傷者は眠芽だ"が導かれる
6. 推論4と事実14から、推論5: "「その過労は若やがないかそれは太り易いか両方ともだ」ということは確かでない"が導かれる
7. 推論5と事実8から、仮説が否定される

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