この元帥はネーミングしない
fact1: この最低額は自由化する fact2: もし仮に「何らかのものは手緩くないが恐懼する」ということは嘘ならばネーミングしない fact3: その法政は自由化する fact4: この元帥は長細くない fact5: あの終業式は恐懼しない fact6: もしこの最低額が手緩くないとするとそれは恐懼する fact7: 「自由化する」物はある fact8: とある物は自由化しないとすれば「それは手緩くなくてそれは恐懼する」ということは真実でない fact9: 仮に「この元帥は自由化しないかもしくはそれはネーミングする」ということは間違いだとすればこの最低額は自由化しない fact10: あの協奏曲はひもじい fact11: 仮に「自由化するしかつ手緩い」ものはあれば「この元帥はネーミングする」ということは真実だ fact12: 「「手緩い」ということは確かである」ものはある fact13: もし仮に何らかのものは対応出来るとすると「それは自由化しないかあるいはそれは某貴族でないかもしくは両方である」ということは成り立つということはない fact14: この捨身は自由化する fact15: 「この最低額は自由化しないかまたはそれは某貴族でないか両方だ」ということは誤っているとしたらこの元帥は自由化するということはない fact16: なんらかのものは手緩くてまた恐懼するとしたら「この最低額は自由化する」ということは成り立つ fact17: この最低額は恐懼しない fact18: もし何かは某貴族であるということはないなら「それは自由化するということはないかもしくはネーミングする」ということは偽である
void -> assump1: 以下のように仮定する。「この最低額は手緩くない」ということは成り立つ; fact6 & assump1 -> int1: この最低額は恐懼する; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: この最低額は手緩い; int3 & fact1 -> int4: この最低額は自由化するしそれに手緩い; int4 -> int5: 「自由化するしさらに手緩い」物はある; int5 & fact11 -> hypothesis;
このトラブルシュートは手緩い
fact20 -> int6: もしも「この元帥は某貴族でない」ということは真実であるならば「自由化しないかまたはネーミングする」ということは誤っている;
$facts$ = fact1: この最低額は自由化する fact2: もし仮に「何らかのものは手緩くないが恐懼する」ということは嘘ならばネーミングしない fact3: その法政は自由化する fact4: この元帥は長細くない fact5: あの終業式は恐懼しない fact6: もしこの最低額が手緩くないとするとそれは恐懼する fact7: 「自由化する」物はある fact8: とある物は自由化しないとすれば「それは手緩くなくてそれは恐懼する」ということは真実でない fact9: 仮に「この元帥は自由化しないかもしくはそれはネーミングする」ということは間違いだとすればこの最低額は自由化しない fact10: あの協奏曲はひもじい fact11: 仮に「自由化するしかつ手緩い」ものはあれば「この元帥はネーミングする」ということは真実だ fact12: 「「手緩い」ということは確かである」ものはある fact13: もし仮に何らかのものは対応出来るとすると「それは自由化しないかあるいはそれは某貴族でないかもしくは両方である」ということは成り立つということはない fact14: この捨身は自由化する fact15: 「この最低額は自由化しないかまたはそれは某貴族でないか両方だ」ということは誤っているとしたらこの元帥は自由化するということはない fact16: なんらかのものは手緩くてまた恐懼するとしたら「この最低額は自由化する」ということは成り立つ fact17: この最低額は恐懼しない fact18: もし何かは某貴族であるということはないなら「それは自由化するということはないかもしくはネーミングする」ということは偽である ; $hypothesis$ = この元帥はネーミングしない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この最低額は手緩くない」ということは成り立つ; fact6 & assump1 -> int1: この最低額は恐懼する; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: この最低額は手緩い; int3 & fact1 -> int4: この最低額は自由化するしそれに手緩い; int4 -> int5: 「自由化するしさらに手緩い」物はある; int5 & fact11 -> hypothesis; __DISPROVED__
事実1: この最低額は自由化する
事実2: もし仮に「何らかのものは手緩くないが恐懼する」ということは嘘ならばネーミングしない
事実3: その法政は自由化する
事実4: この元帥は長細くない
事実5: あの終業式は恐懼しない
事実6: もしこの最低額が手緩くないとするとそれは恐懼する
事実7: 「自由化する」物はある
事実8: とある物は自由化しないとすれば「それは手緩くなくてそれは恐懼する」ということは真実でない
事実9: 仮に「この元帥は自由化しないかもしくはそれはネーミングする」ということは間違いだとすればこの最低額は自由化しない
事実10: あの協奏曲はひもじい
事実11: 仮に「自由化するしかつ手緩い」ものはあれば「この元帥はネーミングする」ということは真実だ
事実12: 「「手緩い」ということは確かである」ものはある
事実13: もし仮に何らかのものは対応出来るとすると「それは自由化しないかあるいはそれは某貴族でないかもしくは両方である」ということは成り立つということはない
事実14: この捨身は自由化する
事実15: 「この最低額は自由化しないかまたはそれは某貴族でないか両方だ」ということは誤っているとしたらこの元帥は自由化するということはない
事実16: なんらかのものは手緩くてまた恐懼するとしたら「この最低額は自由化する」ということは成り立つ
事実17: この最低額は恐懼しない
事実18: もし何かは某貴族であるということはないなら「それは自由化するということはないかもしくはネーミングする」ということは偽である

仮説: この元帥はネーミングしない
1. 仮定1: 以下のように仮定する。「この最低額は手緩くない」ということは成り立つ
2. 事実6と仮定1から、推論1: "この最低額は恐懼する"が導かれる
3. 推論1と事実17から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この最低額は手緩い"が導かれる
5. 推論3と事実1から、推論4: "この最低額は自由化するしそれに手緩い"が導かれる
6. 推論4から、推論5: "「自由化するしさらに手緩い」物はある"が導かれる
7. 推論5と事実11から、仮説が否定される

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