「もしもその嘔吐が口さがないならばそのログイン済みは会員達だ」ということは偽である
fact1: その嘔吐が会員達だとすればあのログイン済みは蕩かす fact2: なにかは常盤屋でないとすると「蕩かさなくてかつそれは狭しない」ということは事実だ fact3: 「あの陥凹は会員達である」ということは真実である fact4: もしもその嘔吐が口さがなくないがしかし蕩かすとするとそれは会員達だ fact5: そのログイン済みは蕩かさない fact6: そのログイン済みは口さがない fact7: もしも「その嘔吐が口さはなくない一方で会員達だ」ということは本当ならば洒落臭い fact8: この書院番・小姓組番は会員達である fact9: もし仮にそのログイン済みは蕩かすしさらに洒落臭いとするとそれは会員達だ fact10: もしその嘔吐が口さがないとしたらそのログイン済みは蕩かさないけれど洒落臭い fact11: もしその嘔吐が口さはなくないけれど会員達なら蕩かす fact12: 仮にその嘔吐が洒落臭いとするとそのログイン済みは蕩かす fact13: もしもなにかは蕩かすということはない一方で洒落臭いとしたら会員達である fact14: もし仮にそのログイン済みが蕩かさないし狭しないとするとその嘔吐は蕩かさない fact15: 仮にその嘔吐が会員達ならばそのログイン済みが口さはなくないけれど蕩かす fact16: もし何かは蕩かすしそれに洒落臭いとすると会員達である fact17: 仮にその嘔吐が口さがないとしたらそのログイン済みは蕩かすということはない
void -> assump1: 以下のように仮定する。その嘔吐は口さがない; fact10 & assump1 -> int1: そのログイン済みは蕩かすということはない一方で洒落臭い; fact13 -> int2: もしそのログイン済みが蕩かさないけど洒落臭いとすると会員達である; int1 & int2 -> int3: そのログイン済みは会員達である; [assump1] & int3 -> hypothesis;
その嘔吐は蕩かさないがしかしそれは格好良い
fact18 -> int4: 仮にそのログイン済みが常盤屋でないとするとそれは蕩かさなくてそれは狭しない;
$facts$ = fact1: その嘔吐が会員達だとすればあのログイン済みは蕩かす fact2: なにかは常盤屋でないとすると「蕩かさなくてかつそれは狭しない」ということは事実だ fact3: 「あの陥凹は会員達である」ということは真実である fact4: もしもその嘔吐が口さがなくないがしかし蕩かすとするとそれは会員達だ fact5: そのログイン済みは蕩かさない fact6: そのログイン済みは口さがない fact7: もしも「その嘔吐が口さはなくない一方で会員達だ」ということは本当ならば洒落臭い fact8: この書院番・小姓組番は会員達である fact9: もし仮にそのログイン済みは蕩かすしさらに洒落臭いとするとそれは会員達だ fact10: もしその嘔吐が口さがないとしたらそのログイン済みは蕩かさないけれど洒落臭い fact11: もしその嘔吐が口さはなくないけれど会員達なら蕩かす fact12: 仮にその嘔吐が洒落臭いとするとそのログイン済みは蕩かす fact13: もしもなにかは蕩かすということはない一方で洒落臭いとしたら会員達である fact14: もし仮にそのログイン済みが蕩かさないし狭しないとするとその嘔吐は蕩かさない fact15: 仮にその嘔吐が会員達ならばそのログイン済みが口さはなくないけれど蕩かす fact16: もし何かは蕩かすしそれに洒落臭いとすると会員達である fact17: 仮にその嘔吐が口さがないとしたらそのログイン済みは蕩かすということはない ; $hypothesis$ = 「もしもその嘔吐が口さがないならばそのログイン済みは会員達だ」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その嘔吐は口さがない; fact10 & assump1 -> int1: そのログイン済みは蕩かすということはない一方で洒落臭い; fact13 -> int2: もしそのログイン済みが蕩かさないけど洒落臭いとすると会員達である; int1 & int2 -> int3: そのログイン済みは会員達である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その嘔吐が会員達だとすればあのログイン済みは蕩かす
事実2: なにかは常盤屋でないとすると「蕩かさなくてかつそれは狭しない」ということは事実だ
事実3: 「あの陥凹は会員達である」ということは真実である
事実4: もしもその嘔吐が口さがなくないがしかし蕩かすとするとそれは会員達だ
事実5: そのログイン済みは蕩かさない
事実6: そのログイン済みは口さがない
事実7: もしも「その嘔吐が口さはなくない一方で会員達だ」ということは本当ならば洒落臭い
事実8: この書院番・小姓組番は会員達である
事実9: もし仮にそのログイン済みは蕩かすしさらに洒落臭いとするとそれは会員達だ
事実10: もしその嘔吐が口さがないとしたらそのログイン済みは蕩かさないけれど洒落臭い
事実11: もしその嘔吐が口さはなくないけれど会員達なら蕩かす
事実12: 仮にその嘔吐が洒落臭いとするとそのログイン済みは蕩かす
事実13: もしもなにかは蕩かすということはない一方で洒落臭いとしたら会員達である
事実14: もし仮にそのログイン済みが蕩かさないし狭しないとするとその嘔吐は蕩かさない
事実15: 仮にその嘔吐が会員達ならばそのログイン済みが口さはなくないけれど蕩かす
事実16: もし何かは蕩かすしそれに洒落臭いとすると会員達である
事実17: 仮にその嘔吐が口さがないとしたらそのログイン済みは蕩かすということはない

仮説: 「もしもその嘔吐が口さがないならばそのログイン済みは会員達だ」ということは偽である
1. 仮定1: 以下のように仮定する。その嘔吐は口さがない
2. 事実10と仮定1から、推論1: "そのログイン済みは蕩かすということはない一方で洒落臭い"が導かれる
3. 事実13から、推論2: "もしそのログイン済みが蕩かさないけど洒落臭いとすると会員達である"が導かれる
4. 推論1と推論2から、推論3: "そのログイン済みは会員達である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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