「「御利用下さらないしおまけに得意気である」ということは偽である」物はある
fact1: 御固いものは赤みである fact2: その日本史は問う fact3: もし仮になんらかの物は再興すとすると「それは御固い」ということは本当である fact4: もしとある物が御利用下さらないが得意気だとしたらそれは御固くない fact5: このビヘイビアインスペクタは赤みだ fact6: もし仮に「「誇りっぽくない一方で小中学校である」ということは成り立たない」ものがあるとしたらあの前後軸は赤みでない fact7: もし仮に何らかの物は保釈金でないならば「このＦＣＲは積み立て不足額でないかあるいは神経回路でないかもしくは両方ともだ」ということは成り立たない fact8: もし「あのレストランひら松は赤みである」ということは正しいとしたら再興す fact9: 「もしもその日本史が問うとすればあの胃食道逆流は保釈金でない」ということは真実である fact10: 「あのレストランひら松は赤みである」ということは本当である fact11: 「このＦＣＲは積み立て不足額でないかもしくは神経回路でない」ということは嘘であるなら降車する fact12: 「あのレストランひら松は得意気だ」ということは本当である fact13: もし仮に「赤みでない」物はあるとすれば「あの葉序パターンは御固いか再興すかもしくはどちらもである」ということは誤っている fact14: とあるものは降車するとすれば「誇りっぽくないけど小中学校だ」ということは間違いである
fact4 -> int1: もしあのレストランひら松が御利用下さらないが得意気ならば御固くない; void -> assump1: 以下のように仮定する。あのレストランひら松は御利用下さるということはない一方で得意気だ; int1 & assump1 -> int2: あのレストランひら松は御固くない; fact3 -> int3: もし仮に「あのレストランひら松は再興す」ということは成り立つとすると御固い; fact10 & fact8 -> int4: あのレストランひら松は再興す; int3 & int4 -> int5: あのレストランひら松は御固い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あのレストランひら松は御利用下さらないけれど得意気である」ということは成り立たない; int7 -> hypothesis;
あのレストランひら松はデフレスパイラルだ
fact21 -> int8: もし仮に「このＦＣＲは降車する」ということは成り立つとしたら「誇りっぽくないしそれは小中学校である」ということは事実と異なる; fact17 & fact19 -> int9: その胃食道逆流は保釈金でない; int9 -> int10: ある物は保釈金でない; int10 & fact16 -> int11: 「このＦＣＲは積み立て不足額でないか神経回路でないかあるいは両方ともである」ということは間違っている; fact15 & int11 -> int12: このＦＣＲは降車する; int8 & int12 -> int13: 「このＦＣＲは誇りっぽくない一方で小中学校である」ということは嘘だ; int13 -> int14: 「「誇りっぽくないけど小中学校だ」ということは嘘である」ものはある; int14 & fact20 -> int15: あの前後軸は赤みでない; int15 -> int16: 「赤みであるということはない」物はある; int16 & fact18 -> int17: 「あの葉序パターンは御固いかあるいはそれは再興す」ということは成り立たない; int17 -> int18: 「「御固いか再興す」ということは間違っている」ものはある;
$facts$ = fact1: 御固いものは赤みである fact2: その日本史は問う fact3: もし仮になんらかの物は再興すとすると「それは御固い」ということは本当である fact4: もしとある物が御利用下さらないが得意気だとしたらそれは御固くない fact5: このビヘイビアインスペクタは赤みだ fact6: もし仮に「「誇りっぽくない一方で小中学校である」ということは成り立たない」ものがあるとしたらあの前後軸は赤みでない fact7: もし仮に何らかの物は保釈金でないならば「このＦＣＲは積み立て不足額でないかあるいは神経回路でないかもしくは両方ともだ」ということは成り立たない fact8: もし「あのレストランひら松は赤みである」ということは正しいとしたら再興す fact9: 「もしもその日本史が問うとすればあの胃食道逆流は保釈金でない」ということは真実である fact10: 「あのレストランひら松は赤みである」ということは本当である fact11: 「このＦＣＲは積み立て不足額でないかもしくは神経回路でない」ということは嘘であるなら降車する fact12: 「あのレストランひら松は得意気だ」ということは本当である fact13: もし仮に「赤みでない」物はあるとすれば「あの葉序パターンは御固いか再興すかもしくはどちらもである」ということは誤っている fact14: とあるものは降車するとすれば「誇りっぽくないけど小中学校だ」ということは間違いである ; $hypothesis$ = 「「御利用下さらないしおまけに得意気である」ということは偽である」物はある ; $proof$ = 
fact4 -> int1: もしあのレストランひら松が御利用下さらないが得意気ならば御固くない; void -> assump1: 以下のように仮定する。あのレストランひら松は御利用下さるということはない一方で得意気だ; int1 & assump1 -> int2: あのレストランひら松は御固くない; fact3 -> int3: もし仮に「あのレストランひら松は再興す」ということは成り立つとすると御固い; fact10 & fact8 -> int4: あのレストランひら松は再興す; int3 & int4 -> int5: あのレストランひら松は御固い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あのレストランひら松は御利用下さらないけれど得意気である」ということは成り立たない; int7 -> hypothesis; __PROVED__
事実1: 御固いものは赤みである
事実2: その日本史は問う
事実3: もし仮になんらかの物は再興すとすると「それは御固い」ということは本当である
事実4: もしとある物が御利用下さらないが得意気だとしたらそれは御固くない
事実5: このビヘイビアインスペクタは赤みだ
事実6: もし仮に「「誇りっぽくない一方で小中学校である」ということは成り立たない」ものがあるとしたらあの前後軸は赤みでない
事実7: もし仮に何らかの物は保釈金でないならば「このＦＣＲは積み立て不足額でないかあるいは神経回路でないかもしくは両方ともだ」ということは成り立たない
事実8: もし「あのレストランひら松は赤みである」ということは正しいとしたら再興す
事実9: 「もしもその日本史が問うとすればあの胃食道逆流は保釈金でない」ということは真実である
事実10: 「あのレストランひら松は赤みである」ということは本当である
事実11: 「このＦＣＲは積み立て不足額でないかもしくは神経回路でない」ということは嘘であるなら降車する
事実12: 「あのレストランひら松は得意気だ」ということは本当である
事実13: もし仮に「赤みでない」物はあるとすれば「あの葉序パターンは御固いか再興すかもしくはどちらもである」ということは誤っている
事実14: とあるものは降車するとすれば「誇りっぽくないけど小中学校だ」ということは間違いである

仮説: 「「御利用下さらないしおまけに得意気である」ということは偽である」物はある
1. 事実4から、推論1: "もしあのレストランひら松が御利用下さらないが得意気ならば御固くない"が導かれる
2. 仮定1: 以下のように仮定する。あのレストランひら松は御利用下さるということはない一方で得意気だ
3. 推論1と仮定1から、推論2: "あのレストランひら松は御固くない"が導かれる
4. 事実3から、推論3: "もし仮に「あのレストランひら松は再興す」ということは成り立つとすると御固い"が導かれる
5. 事実10と事実8から、推論4: "あのレストランひら松は再興す"が導かれる
6. 推論3と推論4から、推論5: "あのレストランひら松は御固い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あのレストランひら松は御利用下さらないけれど得意気である」ということは成り立たない"が導かれる
9. 推論7から、仮説が導かれる

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