この数理的評価額は饗しないかあるいは上げないかもしくは両方だ
fact1: 「この湾岸戦争後はブルマでないしさらにそれは納得性でない」ということは誤りだとすればこのアスペルガー障害は納得性だ fact2: もし仮に何かは温かくないとしたら司法執行機関である fact3: もしもとろ臭い物はあるとしたら「このアスペルガー障害は取っ付き易いけれど一意気でない」ということは間違っている fact4: このアスペルガー障害は饗しない fact5: もし仮にとろ臭い物が取っ付き易いということはないとしたらこのアスペルガー障害は一意気でない fact6: あの検査時間はとろ臭い fact7: もしもあの検査時間が納得性でないならばこの数理的評価額は饗しないかあるいはそれは上げるかまたは両方ともだ fact8: この数理的評価額は饗するか上げないか両方である fact9: あの検査時間は公刊する一方で飽きっぽいということはない fact10: 仮に「あの検査時間は納得性でない」ということは成り立つならこの数理的評価額は饗するかもしくは上げない fact11: もしも「このアスペルガー障害は取っ付き易いけど一意気だということはない」ということは成り立たないとすればこの分筆登記は一意気だということはない fact12: あの検査時間が取っ付き易くないならばこのアスペルガー障害は納得性でないかそれは一意気であるかもしくは両方ともである fact13: このアスペルガー障害は一意気である fact14: あるものはとろ臭い fact15: 何かは取っ付き易いということはない fact16: 仮にあの検査時間がとろ臭いということはないとすれば納得性でない fact17: もし何らかの物は納得性であるとすると「一意気でなくてそれに取っ付き易いということはない」ということは偽である fact18: この湾岸戦争後は司法執行機関であるとすれば「ブルマでなくてかつそれは納得性だということはない」ということは間違っている fact19: あの検査時間は納得性でないとしたら「この数理的評価額は饗しないかあるいは上げないかもしくは両方だ」ということは事実だ fact20: もしも「なにかは温かいしそれは駆け下る」ということは成り立たないとすれば温かくない fact21: 「饗するし加えて取っ付き易くない」ものはある fact22: 「なんらかの物はとろ臭いしさらに取っ付き易い」ということは成り立つ fact23: 「もしこの数理的評価額はとろ臭いならば「この数理的評価額は饗するということはないかあるいは上げないかもしくはどちらもだ」ということは嘘だ」ということは偽でない fact24: もしも「あの検査時間はとろ臭いが取っ付き易くない」ということは成り立たないとするとそれは納得性でない
void -> assump1: 以下のように仮定する。あの検査時間はとろ臭いけど取っ付き易くない; assump1 -> int1: 「とろ臭いが取っ付き易くない」ものはある; int1 & fact5 -> int2: このアスペルガー障害は一意気だということはない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「あの検査時間はとろ臭いけれど取っ付き易くない」ということは偽である」ということは誤っていない; int4 & fact24 -> int5: あの検査時間は納得性でない; int5 & fact19 -> hypothesis;
「この数理的評価額は饗するということはないかもしくは上げないかどちらもである」ということは成り立たない
fact30 -> int6: 仮にこのアスペルガー障害は納得性であるとすれば「一意気でないしかつ取っ付き易くない」ということは間違っている; fact26 -> int7: 仮にこの湾岸戦争後が温かくないならば司法執行機関だ; fact28 -> int8: もし仮に「この湾岸戦争後は温かいし駆け下る」ということは間違っているなら「それは温かいということはない」ということは成り立つ;
$facts$ = fact1: 「この湾岸戦争後はブルマでないしさらにそれは納得性でない」ということは誤りだとすればこのアスペルガー障害は納得性だ fact2: もし仮に何かは温かくないとしたら司法執行機関である fact3: もしもとろ臭い物はあるとしたら「このアスペルガー障害は取っ付き易いけれど一意気でない」ということは間違っている fact4: このアスペルガー障害は饗しない fact5: もし仮にとろ臭い物が取っ付き易いということはないとしたらこのアスペルガー障害は一意気でない fact6: あの検査時間はとろ臭い fact7: もしもあの検査時間が納得性でないならばこの数理的評価額は饗しないかあるいはそれは上げるかまたは両方ともだ fact8: この数理的評価額は饗するか上げないか両方である fact9: あの検査時間は公刊する一方で飽きっぽいということはない fact10: 仮に「あの検査時間は納得性でない」ということは成り立つならこの数理的評価額は饗するかもしくは上げない fact11: もしも「このアスペルガー障害は取っ付き易いけど一意気だということはない」ということは成り立たないとすればこの分筆登記は一意気だということはない fact12: あの検査時間が取っ付き易くないならばこのアスペルガー障害は納得性でないかそれは一意気であるかもしくは両方ともである fact13: このアスペルガー障害は一意気である fact14: あるものはとろ臭い fact15: 何かは取っ付き易いということはない fact16: 仮にあの検査時間がとろ臭いということはないとすれば納得性でない fact17: もし何らかの物は納得性であるとすると「一意気でなくてそれに取っ付き易いということはない」ということは偽である fact18: この湾岸戦争後は司法執行機関であるとすれば「ブルマでなくてかつそれは納得性だということはない」ということは間違っている fact19: あの検査時間は納得性でないとしたら「この数理的評価額は饗しないかあるいは上げないかもしくは両方だ」ということは事実だ fact20: もしも「なにかは温かいしそれは駆け下る」ということは成り立たないとすれば温かくない fact21: 「饗するし加えて取っ付き易くない」ものはある fact22: 「なんらかの物はとろ臭いしさらに取っ付き易い」ということは成り立つ fact23: 「もしこの数理的評価額はとろ臭いならば「この数理的評価額は饗するということはないかあるいは上げないかもしくはどちらもだ」ということは嘘だ」ということは偽でない fact24: もしも「あの検査時間はとろ臭いが取っ付き易くない」ということは成り立たないとするとそれは納得性でない ; $hypothesis$ = この数理的評価額は饗しないかあるいは上げないかもしくは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの検査時間はとろ臭いけど取っ付き易くない; assump1 -> int1: 「とろ臭いが取っ付き易くない」ものはある; int1 & fact5 -> int2: このアスペルガー障害は一意気だということはない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「あの検査時間はとろ臭いけれど取っ付き易くない」ということは偽である」ということは誤っていない; int4 & fact24 -> int5: あの検査時間は納得性でない; int5 & fact19 -> hypothesis; __PROVED__
事実1: 「この湾岸戦争後はブルマでないしさらにそれは納得性でない」ということは誤りだとすればこのアスペルガー障害は納得性だ
事実2: もし仮に何かは温かくないとしたら司法執行機関である
事実3: もしもとろ臭い物はあるとしたら「このアスペルガー障害は取っ付き易いけれど一意気でない」ということは間違っている
事実4: このアスペルガー障害は饗しない
事実5: もし仮にとろ臭い物が取っ付き易いということはないとしたらこのアスペルガー障害は一意気でない
事実6: あの検査時間はとろ臭い
事実7: もしもあの検査時間が納得性でないならばこの数理的評価額は饗しないかあるいはそれは上げるかまたは両方ともだ
事実8: この数理的評価額は饗するか上げないか両方である
事実9: あの検査時間は公刊する一方で飽きっぽいということはない
事実10: 仮に「あの検査時間は納得性でない」ということは成り立つならこの数理的評価額は饗するかもしくは上げない
事実11: もしも「このアスペルガー障害は取っ付き易いけど一意気だということはない」ということは成り立たないとすればこの分筆登記は一意気だということはない
事実12: あの検査時間が取っ付き易くないならばこのアスペルガー障害は納得性でないかそれは一意気であるかもしくは両方ともである
事実13: このアスペルガー障害は一意気である
事実14: あるものはとろ臭い
事実15: 何かは取っ付き易いということはない
事実16: 仮にあの検査時間がとろ臭いということはないとすれば納得性でない
事実17: もし何らかの物は納得性であるとすると「一意気でなくてそれに取っ付き易いということはない」ということは偽である
事実18: この湾岸戦争後は司法執行機関であるとすれば「ブルマでなくてかつそれは納得性だということはない」ということは間違っている
事実19: あの検査時間は納得性でないとしたら「この数理的評価額は饗しないかあるいは上げないかもしくは両方だ」ということは事実だ
事実20: もしも「なにかは温かいしそれは駆け下る」ということは成り立たないとすれば温かくない
事実21: 「饗するし加えて取っ付き易くない」ものはある
事実22: 「なんらかの物はとろ臭いしさらに取っ付き易い」ということは成り立つ
事実23: 「もしこの数理的評価額はとろ臭いならば「この数理的評価額は饗するということはないかあるいは上げないかもしくはどちらもだ」ということは嘘だ」ということは偽でない
事実24: もしも「あの検査時間はとろ臭いが取っ付き易くない」ということは成り立たないとするとそれは納得性でない

仮説: この数理的評価額は饗しないかあるいは上げないかもしくは両方だ
1. 仮定1: 以下のように仮定する。あの検査時間はとろ臭いけど取っ付き易くない
2. 仮定1から、推論1: "「とろ臭いが取っ付き易くない」ものはある"が導かれる
3. 推論1と事実5から、推論2: "このアスペルガー障害は一意気だということはない"が導かれる
4. 推論2と事実13から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「あの検査時間はとろ臭いけれど取っ付き易くない」ということは偽である」ということは誤っていない"が導かれる
6. 推論4と事実24から、推論5: "あの検査時間は納得性でない"が導かれる
7. 推論5と事実19から、仮説が導かれる

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