その制条は公定する
fact1: 仮にその年金財政が公定するということはないならばその制条は公定しない fact2: もしなにがしかのものは床しいとすると「この制条はすーごくないがしかしアジェンダである」ということは成り立たない fact3: 何らかのものは床しい fact4: その振る舞い方は御考える fact5: もしも「あの制条はすーごくないがしかしアジェンダだ」ということは成り立たないならばこの一生物はアジェンダでない fact6: もしも「この制条は曲尺だ」ということは真実であるなら公定する fact7: もし仮にこの制条がアクセルだとすると御考えない fact8: もしもその制条が公定しないならばそれは見境無い fact9: もし「なんらかの物はアクセルであるということはないけど可決成立する」ということは成り立つとしたら御考える fact10: この戦闘部隊は消化し易くないとすると薄らぎ始める fact11: もしもあの制条が出品出来るとしたら前世紀でない fact12: その制条は御考える fact13: もしもなにがしかのものはアジェンダでないなら「それは公定するしつれない」ということは誤っている fact14: あの角回は曲尺であるかそれはアクセルでない fact15: もし仮に「その制条は可決成立する」ということは成り立つとすると「それはアクセルだ」ということは事実である fact16: もしこの制条が可決成立しないならばそれは曲尺だ
void -> assump1: 以下のように仮定する。その制条は可決成立する; fact15 & assump1 -> int1: その制条はアクセルだ; int1 & fact7 -> int2: その制条は御考えない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: この制条は可決成立するということはない; int4 & fact16 -> int5: この制条は曲尺だ; int5 & fact6 -> hypothesis;
その制条は公定しない
fact17 -> int6: とある物は曲尺であるかあるいはアクセルでない;
$facts$ = fact1: 仮にその年金財政が公定するということはないならばその制条は公定しない fact2: もしなにがしかのものは床しいとすると「この制条はすーごくないがしかしアジェンダである」ということは成り立たない fact3: 何らかのものは床しい fact4: その振る舞い方は御考える fact5: もしも「あの制条はすーごくないがしかしアジェンダだ」ということは成り立たないならばこの一生物はアジェンダでない fact6: もしも「この制条は曲尺だ」ということは真実であるなら公定する fact7: もし仮にこの制条がアクセルだとすると御考えない fact8: もしもその制条が公定しないならばそれは見境無い fact9: もし「なんらかの物はアクセルであるということはないけど可決成立する」ということは成り立つとしたら御考える fact10: この戦闘部隊は消化し易くないとすると薄らぎ始める fact11: もしもあの制条が出品出来るとしたら前世紀でない fact12: その制条は御考える fact13: もしもなにがしかのものはアジェンダでないなら「それは公定するしつれない」ということは誤っている fact14: あの角回は曲尺であるかそれはアクセルでない fact15: もし仮に「その制条は可決成立する」ということは成り立つとすると「それはアクセルだ」ということは事実である fact16: もしこの制条が可決成立しないならばそれは曲尺だ ; $hypothesis$ = その制条は公定する ; $proof$ = 
void -> assump1: 以下のように仮定する。その制条は可決成立する; fact15 & assump1 -> int1: その制条はアクセルだ; int1 & fact7 -> int2: その制条は御考えない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: この制条は可決成立するということはない; int4 & fact16 -> int5: この制条は曲尺だ; int5 & fact6 -> hypothesis; __PROVED__
事実1: 仮にその年金財政が公定するということはないならばその制条は公定しない
事実2: もしなにがしかのものは床しいとすると「この制条はすーごくないがしかしアジェンダである」ということは成り立たない
事実3: 何らかのものは床しい
事実4: その振る舞い方は御考える
事実5: もしも「あの制条はすーごくないがしかしアジェンダだ」ということは成り立たないならばこの一生物はアジェンダでない
事実6: もしも「この制条は曲尺だ」ということは真実であるなら公定する
事実7: もし仮にこの制条がアクセルだとすると御考えない
事実8: もしもその制条が公定しないならばそれは見境無い
事実9: もし「なんらかの物はアクセルであるということはないけど可決成立する」ということは成り立つとしたら御考える
事実10: この戦闘部隊は消化し易くないとすると薄らぎ始める
事実11: もしもあの制条が出品出来るとしたら前世紀でない
事実12: その制条は御考える
事実13: もしもなにがしかのものはアジェンダでないなら「それは公定するしつれない」ということは誤っている
事実14: あの角回は曲尺であるかそれはアクセルでない
事実15: もし仮に「その制条は可決成立する」ということは成り立つとすると「それはアクセルだ」ということは事実である
事実16: もしこの制条が可決成立しないならばそれは曲尺だ

仮説: その制条は公定する
1. 仮定1: 以下のように仮定する。その制条は可決成立する
2. 事実15と仮定1から、推論1: "その制条はアクセルだ"が導かれる
3. 推論1と事実7から、推論2: "その制条は御考えない"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この制条は可決成立するということはない"が導かれる
6. 推論4と事実16から、推論5: "この制条は曲尺だ"が導かれる
7. 推論5と事実6から、仮説が導かれる

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