あの大型甑は忘れ掛ける
fact1: その銅メダルは日本円だ fact2: 「もしも「その銅メダルはファセット・デザインであるがしかし清々しくない」ということは本当でないとするとこの人全ては瞑想しない」ということは本当である fact3: あの表ビデオは洒落臭い fact4: 清々しいかもしくはすばしっこいかもしくは両方なものは忘れ掛けない fact5: もし仮に「なんらかのものは瞑想するけれどファセット・デザインでない」ということは誤りならば誇り得ない fact6: 「「同期化する」ということは確かである」物はある fact7: もしその銅メダルが日本円ならこの人全てはすばしっこくない一方で清々しい fact8: もし「誇り得る」ものがあるとしたらあの大型甑は瞑想する fact9: 「あの大型甑は後天である」ということは成り立つ fact10: もし「なにかは狂おしいということはないかそれは注意欠陥障害である」ということは偽であるならファセット・デザインだ fact11: あの大型甑は瞑想する fact12: もし仮に「あの大型甑は瞑想するかもしくはそれはファセット・デザインであるかあるいはどちらもだ」ということは成り立たないとするとそれは清々しい fact13: もし仮に「何らかのものは瞑想するかまたはファセット・デザインであるか両方ともである」ということは誤りならそれは清々しい fact14: すばしっこい物は忘れ掛けない fact15: 「誇り得る」ものはある fact16: あの大型甑は稜線であるかもしくはそれは忘れ掛ける fact17: もしも「なにかは瞑想しないかファセット・デザインであるかもしくはどちらもである」ということは成り立たないとすると「清々しい」ということは成り立つ fact18: 仮にあの大型甑がすばしっこいとすればそれは忘れ掛けない fact19: もしもとあるものが女っぽいならあの大型甑は清々しい fact20: もしある物は誇り得るなら「あの大型甑は瞑想しないかあるいはファセット・デザインであるかもしくは両方ともだ」ということは成り立たない
fact15 & fact20 -> int1: 「あの大型甑は瞑想しないかもしくはファセット・デザインであるかあるいはどちらもだ」ということは誤っている; fact17 -> int2: もし「あの大型甑は瞑想しないかもしくはそれはファセット・デザインであるかあるいは両方である」ということは成り立たないなら清々しい; int1 & int2 -> int3: あの大型甑は清々しい; int3 -> int4: あの大型甑は清々しいかすばしっこいかまたは両方である; fact4 -> int5: もしあの大型甑が清々しいかあるいはすばしっこいとすればそれは忘れ掛けない; int4 & int5 -> hypothesis;
あの大型甑は忘れ掛ける
fact21 -> int6: 「この人全ては瞑想するがしかしファセット・デザインでない」ということは成り立つということはないとすると誇り得ない; fact23 & fact22 -> int7: この人全てはすばしっこくないけど清々しい; int7 -> int8: この人全ては清々しい;
$facts$ = fact1: その銅メダルは日本円だ fact2: 「もしも「その銅メダルはファセット・デザインであるがしかし清々しくない」ということは本当でないとするとこの人全ては瞑想しない」ということは本当である fact3: あの表ビデオは洒落臭い fact4: 清々しいかもしくはすばしっこいかもしくは両方なものは忘れ掛けない fact5: もし仮に「なんらかのものは瞑想するけれどファセット・デザインでない」ということは誤りならば誇り得ない fact6: 「「同期化する」ということは確かである」物はある fact7: もしその銅メダルが日本円ならこの人全てはすばしっこくない一方で清々しい fact8: もし「誇り得る」ものがあるとしたらあの大型甑は瞑想する fact9: 「あの大型甑は後天である」ということは成り立つ fact10: もし「なにかは狂おしいということはないかそれは注意欠陥障害である」ということは偽であるならファセット・デザインだ fact11: あの大型甑は瞑想する fact12: もし仮に「あの大型甑は瞑想するかもしくはそれはファセット・デザインであるかあるいはどちらもだ」ということは成り立たないとするとそれは清々しい fact13: もし仮に「何らかのものは瞑想するかまたはファセット・デザインであるか両方ともである」ということは誤りならそれは清々しい fact14: すばしっこい物は忘れ掛けない fact15: 「誇り得る」ものはある fact16: あの大型甑は稜線であるかもしくはそれは忘れ掛ける fact17: もしも「なにかは瞑想しないかファセット・デザインであるかもしくはどちらもである」ということは成り立たないとすると「清々しい」ということは成り立つ fact18: 仮にあの大型甑がすばしっこいとすればそれは忘れ掛けない fact19: もしもとあるものが女っぽいならあの大型甑は清々しい fact20: もしある物は誇り得るなら「あの大型甑は瞑想しないかあるいはファセット・デザインであるかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = あの大型甑は忘れ掛ける ; $proof$ = 
fact15 & fact20 -> int1: 「あの大型甑は瞑想しないかもしくはファセット・デザインであるかあるいはどちらもだ」ということは誤っている; fact17 -> int2: もし「あの大型甑は瞑想しないかもしくはそれはファセット・デザインであるかあるいは両方である」ということは成り立たないなら清々しい; int1 & int2 -> int3: あの大型甑は清々しい; int3 -> int4: あの大型甑は清々しいかすばしっこいかまたは両方である; fact4 -> int5: もしあの大型甑が清々しいかあるいはすばしっこいとすればそれは忘れ掛けない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: その銅メダルは日本円だ
事実2: 「もしも「その銅メダルはファセット・デザインであるがしかし清々しくない」ということは本当でないとするとこの人全ては瞑想しない」ということは本当である
事実3: あの表ビデオは洒落臭い
事実4: 清々しいかもしくはすばしっこいかもしくは両方なものは忘れ掛けない
事実5: もし仮に「なんらかのものは瞑想するけれどファセット・デザインでない」ということは誤りならば誇り得ない
事実6: 「「同期化する」ということは確かである」物はある
事実7: もしその銅メダルが日本円ならこの人全てはすばしっこくない一方で清々しい
事実8: もし「誇り得る」ものがあるとしたらあの大型甑は瞑想する
事実9: 「あの大型甑は後天である」ということは成り立つ
事実10: もし「なにかは狂おしいということはないかそれは注意欠陥障害である」ということは偽であるならファセット・デザインだ
事実11: あの大型甑は瞑想する
事実12: もし仮に「あの大型甑は瞑想するかもしくはそれはファセット・デザインであるかあるいはどちらもだ」ということは成り立たないとするとそれは清々しい
事実13: もし仮に「何らかのものは瞑想するかまたはファセット・デザインであるか両方ともである」ということは誤りならそれは清々しい
事実14: すばしっこい物は忘れ掛けない
事実15: 「誇り得る」ものはある
事実16: あの大型甑は稜線であるかもしくはそれは忘れ掛ける
事実17: もしも「なにかは瞑想しないかファセット・デザインであるかもしくはどちらもである」ということは成り立たないとすると「清々しい」ということは成り立つ
事実18: 仮にあの大型甑がすばしっこいとすればそれは忘れ掛けない
事実19: もしもとあるものが女っぽいならあの大型甑は清々しい
事実20: もしある物は誇り得るなら「あの大型甑は瞑想しないかあるいはファセット・デザインであるかもしくは両方ともだ」ということは成り立たない

仮説: あの大型甑は忘れ掛ける
1. 事実15と事実20から、推論1: "「あの大型甑は瞑想しないかもしくはファセット・デザインであるかあるいはどちらもだ」ということは誤っている"が導かれる
2. 事実17から、推論2: "もし「あの大型甑は瞑想しないかもしくはそれはファセット・デザインであるかあるいは両方である」ということは成り立たないなら清々しい"が導かれる
3. 推論1と推論2から、推論3: "あの大型甑は清々しい"が導かれる
4. 推論3から、推論4: "あの大型甑は清々しいかすばしっこいかまたは両方である"が導かれる
5. 事実4から、推論5: "もしあの大型甑が清々しいかあるいはすばしっこいとすればそれは忘れ掛けない"が導かれる
6. 推論4と推論5から、仮説が否定される

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