この住宅改良運動は百姓らしくない
fact1: もし仮にあの松花堂流はしょぼくないとすれば「この住宅改良運動は水素エネルギーだし加えて細かい」ということは成り立つということはない fact2: もしも「水素エネルギーである」物があるとしたらあの松花堂流は細かいかしょぼくないかもしくはどちらもである fact3: とある物はしょぼいか百姓らしいかあるいは両方である fact4: あの松花堂流は百姓らしいかもしくは細かいかまたは両方ともだ fact5: 「あの原子量は担ぎ上げるし踏み締める」ということは誤りだ fact6: 仮に「なんらかの物はしょぼくないかもしくはそれは細かくないかもしくは両方である」ということは誤りであるなら水素エネルギーである fact7: もしも何らかのものはカテコールアミンでないかあるいは概算要求であるかまたは両方ともであるとすればそれはしょぼいということはない fact8: この優勝旗は連用しない fact9: もしこの優勝旗が連用しないならそれはカテコールアミンであるしその上それは百姓らしい fact10: あの松花堂流は演習中である fact11: もし仮になんらかのものが探知しないが憎らしいとすると洒落臭くない fact12: もしもあの原子量が連用しないかあるいはしょぼくないかあるいはどちらもであるならばあの松花堂流はしょぼくない fact13: もしも「しょぼい」物があるとすればあの住宅改良運動は百姓らしいかあるいは細かくない fact14: もしもこの住宅改良運動は水素エネルギーであるとすれば「あの松花堂流は再登場する」ということは成り立つ fact15: 洒落臭くない物はカテコールアミンでないかもしくは概算要求であるかもしくは両方だ fact16: とある物は水素エネルギーである fact17: もし仮に「あの原子量は水素エネルギーである」ということは成り立つとすればこの住宅改良運動は水素エネルギーだ fact18: 「細かいかもしくはしょぼくないか両方ともな」物があるとすればこの住宅改良運動は百姓らしい fact19: 「なんらかのものは担ぎ上げるし踏み締める」ということは嘘だとすればそれは探知しない
fact16 & fact2 -> int1: あの松花堂流は細かいかあるいはそれはしょぼくないかまたは両方である; int1 -> int2: なにがしかの物は細かいかもしくはしょぼくない; int2 & fact18 -> hypothesis;
この住宅改良運動は百姓らしくない
fact25 -> int3: もしあの原子量がカテコールアミンでないかまたはそれは概算要求であるかあるいは両方であるならそれはしょぼくない; fact24 -> int4: もし仮にあの原子量が洒落臭くないならばそれはカテコールアミンだということはないかあるいは概算要求であるかもしくは両方ともだ; fact21 -> int5: もしあの原子量が探知しない一方で憎らしいとするとそれは洒落臭いということはない; fact20 -> int6: 仮に「あの原子量は担ぎ上げるししかも踏み締める」ということは誤りだとするとそれは探知しない; int6 & fact23 -> int7: あの原子量は探知しない;
$facts$ = fact1: もし仮にあの松花堂流はしょぼくないとすれば「この住宅改良運動は水素エネルギーだし加えて細かい」ということは成り立つということはない fact2: もしも「水素エネルギーである」物があるとしたらあの松花堂流は細かいかしょぼくないかもしくはどちらもである fact3: とある物はしょぼいか百姓らしいかあるいは両方である fact4: あの松花堂流は百姓らしいかもしくは細かいかまたは両方ともだ fact5: 「あの原子量は担ぎ上げるし踏み締める」ということは誤りだ fact6: 仮に「なんらかの物はしょぼくないかもしくはそれは細かくないかもしくは両方である」ということは誤りであるなら水素エネルギーである fact7: もしも何らかのものはカテコールアミンでないかあるいは概算要求であるかまたは両方ともであるとすればそれはしょぼいということはない fact8: この優勝旗は連用しない fact9: もしこの優勝旗が連用しないならそれはカテコールアミンであるしその上それは百姓らしい fact10: あの松花堂流は演習中である fact11: もし仮になんらかのものが探知しないが憎らしいとすると洒落臭くない fact12: もしもあの原子量が連用しないかあるいはしょぼくないかあるいはどちらもであるならばあの松花堂流はしょぼくない fact13: もしも「しょぼい」物があるとすればあの住宅改良運動は百姓らしいかあるいは細かくない fact14: もしもこの住宅改良運動は水素エネルギーであるとすれば「あの松花堂流は再登場する」ということは成り立つ fact15: 洒落臭くない物はカテコールアミンでないかもしくは概算要求であるかもしくは両方だ fact16: とある物は水素エネルギーである fact17: もし仮に「あの原子量は水素エネルギーである」ということは成り立つとすればこの住宅改良運動は水素エネルギーだ fact18: 「細かいかもしくはしょぼくないか両方ともな」物があるとすればこの住宅改良運動は百姓らしい fact19: 「なんらかのものは担ぎ上げるし踏み締める」ということは嘘だとすればそれは探知しない ; $hypothesis$ = この住宅改良運動は百姓らしくない ; $proof$ = 
fact16 & fact2 -> int1: あの松花堂流は細かいかあるいはそれはしょぼくないかまたは両方である; int1 -> int2: なにがしかの物は細かいかもしくはしょぼくない; int2 & fact18 -> hypothesis; __DISPROVED__
事実1: もし仮にあの松花堂流はしょぼくないとすれば「この住宅改良運動は水素エネルギーだし加えて細かい」ということは成り立つということはない
事実2: もしも「水素エネルギーである」物があるとしたらあの松花堂流は細かいかしょぼくないかもしくはどちらもである
事実3: とある物はしょぼいか百姓らしいかあるいは両方である
事実4: あの松花堂流は百姓らしいかもしくは細かいかまたは両方ともだ
事実5: 「あの原子量は担ぎ上げるし踏み締める」ということは誤りだ
事実6: 仮に「なんらかの物はしょぼくないかもしくはそれは細かくないかもしくは両方である」ということは誤りであるなら水素エネルギーである
事実7: もしも何らかのものはカテコールアミンでないかあるいは概算要求であるかまたは両方ともであるとすればそれはしょぼいということはない
事実8: この優勝旗は連用しない
事実9: もしこの優勝旗が連用しないならそれはカテコールアミンであるしその上それは百姓らしい
事実10: あの松花堂流は演習中である
事実11: もし仮になんらかのものが探知しないが憎らしいとすると洒落臭くない
事実12: もしもあの原子量が連用しないかあるいはしょぼくないかあるいはどちらもであるならばあの松花堂流はしょぼくない
事実13: もしも「しょぼい」物があるとすればあの住宅改良運動は百姓らしいかあるいは細かくない
事実14: もしもこの住宅改良運動は水素エネルギーであるとすれば「あの松花堂流は再登場する」ということは成り立つ
事実15: 洒落臭くない物はカテコールアミンでないかもしくは概算要求であるかもしくは両方だ
事実16: とある物は水素エネルギーである
事実17: もし仮に「あの原子量は水素エネルギーである」ということは成り立つとすればこの住宅改良運動は水素エネルギーだ
事実18: 「細かいかもしくはしょぼくないか両方ともな」物があるとすればこの住宅改良運動は百姓らしい
事実19: 「なんらかのものは担ぎ上げるし踏み締める」ということは嘘だとすればそれは探知しない

仮説: この住宅改良運動は百姓らしくない
1. 事実16と事実2から、推論1: "あの松花堂流は細かいかあるいはそれはしょぼくないかまたは両方である"が導かれる
2. 推論1から、推論2: "なにがしかの物は細かいかもしくはしょぼくない"が導かれる
3. 推論2と事実18から、仮説が否定される

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