あの放浪記は御濃い
fact1: あの放浪記が厚生労働白書でないならそれが運動戦だしさらにそれはみみっちくない fact2: もしも「口惜しくない」物があるとするとこの薩摩藩士は言い尽くすしそれに数分置きである fact3: 「あの一意気は門外であるかあるいは口惜しくないかもしくは両方だ」ということは成り立たないならばこの肉味は口惜しいということはない fact4: 仮にこの健康保険はきもくないとすればあの放浪記は御濃いし加えて厚生労働白書である fact5: あの放浪記はみみっちいということはない fact6: あの放浪記は厚生労働白書でない fact7: もし「この年号は言い尽くさない一方できもい」ということは成り立つということはないとするとこの健康保険はきもくない fact8: 「何らかのものは首肯出来る一方で言い尽くさない」ということは確かならばみみっちくない fact9: もしも何らかのものはドッキングすれば「それは門外であるか口惜しいということはない」ということは間違いだ fact10: あの放浪記が運動戦だしみみっちいとすると御濃くない fact11: もし仮にあの放浪記が運動戦である一方でみみっちいということはないとすればそれは御濃くない fact12: あの放浪記は厚生労働白書でないとすれば「それはみみっちくない」ということは確かだ fact13: 「あの勢力はドッキングする一方でそれは青っぽくない」ということは確かだ fact14: もしあの勢力がドッキングするけど青っぽくないとするとあの一意気はドッキングする
fact1 & fact6 -> int1: あの放浪記は運動戦である一方でみみっちくない; int1 & fact11 -> hypothesis;
あの放浪記は御濃い
fact16 -> int2: もしあの一意気はドッキングするとすれば「門外であるか口惜しいということはないかまたはどちらもである」ということは成り立たない; fact17 & fact18 -> int3: あの一意気はドッキングする; int2 & int3 -> int4: 「「あの一意気は門外であるかあるいは口惜しいということはない」ということは真実でない」ということは成り立つ; fact15 & int4 -> int5: この肉味は口惜しくない; int5 -> int6: 「口惜しくない」ものはある; int6 & fact21 -> int7: この薩摩藩士は言い尽くすしかつ数分置きだ; int7 -> int8: この薩摩藩士は言い尽くす; int8 -> int9: 「言い尽くす」物はある;
$facts$ = fact1: あの放浪記が厚生労働白書でないならそれが運動戦だしさらにそれはみみっちくない fact2: もしも「口惜しくない」物があるとするとこの薩摩藩士は言い尽くすしそれに数分置きである fact3: 「あの一意気は門外であるかあるいは口惜しくないかもしくは両方だ」ということは成り立たないならばこの肉味は口惜しいということはない fact4: 仮にこの健康保険はきもくないとすればあの放浪記は御濃いし加えて厚生労働白書である fact5: あの放浪記はみみっちいということはない fact6: あの放浪記は厚生労働白書でない fact7: もし「この年号は言い尽くさない一方できもい」ということは成り立つということはないとするとこの健康保険はきもくない fact8: 「何らかのものは首肯出来る一方で言い尽くさない」ということは確かならばみみっちくない fact9: もしも何らかのものはドッキングすれば「それは門外であるか口惜しいということはない」ということは間違いだ fact10: あの放浪記が運動戦だしみみっちいとすると御濃くない fact11: もし仮にあの放浪記が運動戦である一方でみみっちいということはないとすればそれは御濃くない fact12: あの放浪記は厚生労働白書でないとすれば「それはみみっちくない」ということは確かだ fact13: 「あの勢力はドッキングする一方でそれは青っぽくない」ということは確かだ fact14: もしあの勢力がドッキングするけど青っぽくないとするとあの一意気はドッキングする ; $hypothesis$ = あの放浪記は御濃い ; $proof$ = 
fact1 & fact6 -> int1: あの放浪記は運動戦である一方でみみっちくない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: あの放浪記が厚生労働白書でないならそれが運動戦だしさらにそれはみみっちくない
事実2: もしも「口惜しくない」物があるとするとこの薩摩藩士は言い尽くすしそれに数分置きである
事実3: 「あの一意気は門外であるかあるいは口惜しくないかもしくは両方だ」ということは成り立たないならばこの肉味は口惜しいということはない
事実4: 仮にこの健康保険はきもくないとすればあの放浪記は御濃いし加えて厚生労働白書である
事実5: あの放浪記はみみっちいということはない
事実6: あの放浪記は厚生労働白書でない
事実7: もし「この年号は言い尽くさない一方できもい」ということは成り立つということはないとするとこの健康保険はきもくない
事実8: 「何らかのものは首肯出来る一方で言い尽くさない」ということは確かならばみみっちくない
事実9: もしも何らかのものはドッキングすれば「それは門外であるか口惜しいということはない」ということは間違いだ
事実10: あの放浪記が運動戦だしみみっちいとすると御濃くない
事実11: もし仮にあの放浪記が運動戦である一方でみみっちいということはないとすればそれは御濃くない
事実12: あの放浪記は厚生労働白書でないとすれば「それはみみっちくない」ということは確かだ
事実13: 「あの勢力はドッキングする一方でそれは青っぽくない」ということは確かだ
事実14: もしあの勢力がドッキングするけど青っぽくないとするとあの一意気はドッキングする

仮説: あの放浪記は御濃い
1. 事実1と事実6から、推論1: "あの放浪記は運動戦である一方でみみっちくない"が導かれる
2. 推論1と事実11から、仮説が否定される

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