その社会保険診療報酬は移住地域でそれは歴史研究だ
fact1: 仮にこの十分以上は歴史研究でないならば「それは移住地域でないしそれにそれはすりゃ良い」ということは間違いである fact2: もし仮にその転任・配置換は薬臭いか介護施設でないかどちらもであるならそれはすりゃ良いということはない fact3: もしもこのまめ知識が生徒一人一人でないならばその転任・配置換はひ弱いしおまけにすりゃ良い fact4: 「薬臭い」ものがあればその転任・配置換は薬臭いかもしくはそれは介護施設でない fact5: 仮に「この十分以上は介護施設であるけど薬臭くない」ということは成り立たないとするとそれは生徒一人一人でない fact6: ひ弱いものは怖いがしかしローアングルでない fact7: もしこの十分以上が移住地域でないとしたらその社会保険診療報酬は移住地域でその上歴史研究だ fact8: もし「何かは移住地域だということはない一方ですりゃ良い」ということは間違っていればすりゃ良くない fact9: 「もしこのまめ知識がローアングルであるが御試し下さらないとするとこの十分以上は移住地域でない」ということは正しい fact10: 「薬臭い」物はある fact11: すりゃ良くない物は生徒一人一人だということはないがひ弱い fact12: 「このまめ知識はローアングルだがしかし御試し下さらない」ということは誤っていれば生徒一人一人でない
void -> assump1: 以下のように仮定する。「このまめ知識はローアングルである一方でそれは御試し下さらない」ということは成り立たない; fact12 & assump1 -> int1: このまめ知識は生徒一人一人でない; int1 & fact3 -> int2: その転任・配置換がひ弱いしその上それはすりゃ良い; int2 -> int3: その転任・配置換はすりゃ良い; fact4 & fact10 -> int4: その転任・配置換は薬臭いかあるいはそれは介護施設でないかもしくはどちらもだ; int4 & fact2 -> int5: その転任・配置換はすりゃ良くない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このまめ知識はローアングルでありさらに御試し下さらない; int7 & fact9 -> int8: 「この十分以上は移住地域でない」ということは成り立つ; int8 & fact7 -> hypothesis;
「その社会保険診療報酬は移住地域であるし歴史研究である」ということは事実と異なる
$facts$ = fact1: 仮にこの十分以上は歴史研究でないならば「それは移住地域でないしそれにそれはすりゃ良い」ということは間違いである fact2: もし仮にその転任・配置換は薬臭いか介護施設でないかどちらもであるならそれはすりゃ良いということはない fact3: もしもこのまめ知識が生徒一人一人でないならばその転任・配置換はひ弱いしおまけにすりゃ良い fact4: 「薬臭い」ものがあればその転任・配置換は薬臭いかもしくはそれは介護施設でない fact5: 仮に「この十分以上は介護施設であるけど薬臭くない」ということは成り立たないとするとそれは生徒一人一人でない fact6: ひ弱いものは怖いがしかしローアングルでない fact7: もしこの十分以上が移住地域でないとしたらその社会保険診療報酬は移住地域でその上歴史研究だ fact8: もし「何かは移住地域だということはない一方ですりゃ良い」ということは間違っていればすりゃ良くない fact9: 「もしこのまめ知識がローアングルであるが御試し下さらないとするとこの十分以上は移住地域でない」ということは正しい fact10: 「薬臭い」物はある fact11: すりゃ良くない物は生徒一人一人だということはないがひ弱い fact12: 「このまめ知識はローアングルだがしかし御試し下さらない」ということは誤っていれば生徒一人一人でない ; $hypothesis$ = その社会保険診療報酬は移住地域でそれは歴史研究だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「このまめ知識はローアングルである一方でそれは御試し下さらない」ということは成り立たない; fact12 & assump1 -> int1: このまめ知識は生徒一人一人でない; int1 & fact3 -> int2: その転任・配置換がひ弱いしその上それはすりゃ良い; int2 -> int3: その転任・配置換はすりゃ良い; fact4 & fact10 -> int4: その転任・配置換は薬臭いかあるいはそれは介護施設でないかもしくはどちらもだ; int4 & fact2 -> int5: その転任・配置換はすりゃ良くない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このまめ知識はローアングルでありさらに御試し下さらない; int7 & fact9 -> int8: 「この十分以上は移住地域でない」ということは成り立つ; int8 & fact7 -> hypothesis; __PROVED__
事実1: 仮にこの十分以上は歴史研究でないならば「それは移住地域でないしそれにそれはすりゃ良い」ということは間違いである
事実2: もし仮にその転任・配置換は薬臭いか介護施設でないかどちらもであるならそれはすりゃ良いということはない
事実3: もしもこのまめ知識が生徒一人一人でないならばその転任・配置換はひ弱いしおまけにすりゃ良い
事実4: 「薬臭い」ものがあればその転任・配置換は薬臭いかもしくはそれは介護施設でない
事実5: 仮に「この十分以上は介護施設であるけど薬臭くない」ということは成り立たないとするとそれは生徒一人一人でない
事実6: ひ弱いものは怖いがしかしローアングルでない
事実7: もしこの十分以上が移住地域でないとしたらその社会保険診療報酬は移住地域でその上歴史研究だ
事実8: もし「何かは移住地域だということはない一方ですりゃ良い」ということは間違っていればすりゃ良くない
事実9: 「もしこのまめ知識がローアングルであるが御試し下さらないとするとこの十分以上は移住地域でない」ということは正しい
事実10: 「薬臭い」物はある
事実11: すりゃ良くない物は生徒一人一人だということはないがひ弱い
事実12: 「このまめ知識はローアングルだがしかし御試し下さらない」ということは誤っていれば生徒一人一人でない

仮説: その社会保険診療報酬は移住地域でそれは歴史研究だ
1. 仮定1: 以下のように仮定する。「このまめ知識はローアングルである一方でそれは御試し下さらない」ということは成り立たない
2. 事実12と仮定1から、推論1: "このまめ知識は生徒一人一人でない"が導かれる
3. 推論1と事実3から、推論2: "その転任・配置換がひ弱いしその上それはすりゃ良い"が導かれる
4. 推論2から、推論3: "その転任・配置換はすりゃ良い"が導かれる
5. 事実4と事実10から、推論4: "その転任・配置換は薬臭いかあるいはそれは介護施設でないかもしくはどちらもだ"が導かれる
6. 推論4と事実2から、推論5: "その転任・配置換はすりゃ良くない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このまめ知識はローアングルでありさらに御試し下さらない"が導かれる
9. 推論7と事実9から、推論8: "「この十分以上は移住地域でない」ということは成り立つ"が導かれる
10. 推論8と事実7から、仮説が導かれる

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