その制動力は回り始める
fact1: もし「その制動力がめでたくないしおまけに弁解はましくらない」ということは成り立つということはないとするとそれは回り始めない fact2: この誇大妄想は寝苦しい fact3: もしもこの誇大妄想は照合しないとすると「それが弁解はましくらないしかつそれはめでたくない」ということは成り立たない fact4: もし仮にこの誇大妄想が照合するとするとその制動力は回り始める fact5: もしもこの誇大妄想が弁解がましいとするとその制動力はめでたい fact6: 「この誇大妄想はめでたいが回り始めない」ということは誤りだ fact7: 仮にこの共鳴説はめでたくないならば「腫れぼったくないし更に酒臭くない」ということは成り立たない fact8: 「その制動力は回り始めるけれど寝苦しくない」ということは間違いだ fact9: この記憶力は照合する fact10: その制動力は照合する fact11: もし「この誇大妄想は弁解がましいということはないしおまけにめでたくない」ということは誤りならば寝苦しいということはない fact12: この手配は寝苦しくない fact13: あのオーケイは照合する fact14: 「このセファマイシン薬はめでたくないが中間財である」ということは成り立つということはない
void -> assump1: 以下のように仮定する。この誇大妄想は照合しない; fact3 & assump1 -> int1: 「この誇大妄想が弁解はましくらないしめでたくない」ということは嘘だ; int1 & fact11 -> int2: この誇大妄想は寝苦しくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この誇大妄想は照合する; int4 & fact4 -> hypothesis;
$facts$ = fact1: もし「その制動力がめでたくないしおまけに弁解はましくらない」ということは成り立つということはないとするとそれは回り始めない fact2: この誇大妄想は寝苦しい fact3: もしもこの誇大妄想は照合しないとすると「それが弁解はましくらないしかつそれはめでたくない」ということは成り立たない fact4: もし仮にこの誇大妄想が照合するとするとその制動力は回り始める fact5: もしもこの誇大妄想が弁解がましいとするとその制動力はめでたい fact6: 「この誇大妄想はめでたいが回り始めない」ということは誤りだ fact7: 仮にこの共鳴説はめでたくないならば「腫れぼったくないし更に酒臭くない」ということは成り立たない fact8: 「その制動力は回り始めるけれど寝苦しくない」ということは間違いだ fact9: この記憶力は照合する fact10: その制動力は照合する fact11: もし「この誇大妄想は弁解がましいということはないしおまけにめでたくない」ということは誤りならば寝苦しいということはない fact12: この手配は寝苦しくない fact13: あのオーケイは照合する fact14: 「このセファマイシン薬はめでたくないが中間財である」ということは成り立つということはない ; $hypothesis$ = その制動力は回り始める ; $proof$ = 
void -> assump1: 以下のように仮定する。この誇大妄想は照合しない; fact3 & assump1 -> int1: 「この誇大妄想が弁解はましくらないしめでたくない」ということは嘘だ; int1 & fact11 -> int2: この誇大妄想は寝苦しくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この誇大妄想は照合する; int4 & fact4 -> hypothesis; __PROVED__
事実1: もし「その制動力がめでたくないしおまけに弁解はましくらない」ということは成り立つということはないとするとそれは回り始めない
事実2: この誇大妄想は寝苦しい
事実3: もしもこの誇大妄想は照合しないとすると「それが弁解はましくらないしかつそれはめでたくない」ということは成り立たない
事実4: もし仮にこの誇大妄想が照合するとするとその制動力は回り始める
事実5: もしもこの誇大妄想が弁解がましいとするとその制動力はめでたい
事実6: 「この誇大妄想はめでたいが回り始めない」ということは誤りだ
事実7: 仮にこの共鳴説はめでたくないならば「腫れぼったくないし更に酒臭くない」ということは成り立たない
事実8: 「その制動力は回り始めるけれど寝苦しくない」ということは間違いだ
事実9: この記憶力は照合する
事実10: その制動力は照合する
事実11: もし「この誇大妄想は弁解がましいということはないしおまけにめでたくない」ということは誤りならば寝苦しいということはない
事実12: この手配は寝苦しくない
事実13: あのオーケイは照合する
事実14: 「このセファマイシン薬はめでたくないが中間財である」ということは成り立つということはない

仮説: その制動力は回り始める
1. 仮定1: 以下のように仮定する。この誇大妄想は照合しない
2. 事実3と仮定1から、推論1: "「この誇大妄想が弁解はましくらないしめでたくない」ということは嘘だ"が導かれる
3. 推論1と事実11から、推論2: "この誇大妄想は寝苦しくない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この誇大妄想は照合する"が導かれる
6. 推論4と事実4から、仮説が導かれる

よって、仮説が証明されました。