もしその再評価率が削ぐとしたらその確認は揉み続ける
fact1: もし仮に何らかの物は削がないなら「それは揉み続けるしその上聡い」ということは成り立たない fact2: もし「なんらかの物は恙無いということはない」ということは成り立つとすればそれは乱発するがしかし学校施設でない fact3: もしも「感謝すかもしくは取れ易いということはないかどちらもである」物があるならばあのデＧψは削ぐ fact4: 「あるものは揉み続けるしそれに聡い」ということは真実でないならそれは聡くない fact5: もしもあのデＧψが削ぐならその再評価率は削がないけれど聡い fact6: もしその確認が揉み続けないならこの骨基質は感謝すかあるいは取れ易くないか両方ともだ fact7: その回線速度は揉み続けるということはない fact8: その再評価率は聡い fact9: すべての物は恙無くない
void -> assump1: 以下のように仮定する。その確認は揉み続けない; fact6 & assump1 -> int1: この骨基質は感謝すかまたは取れ易くないかあるいは両方だ; int1 -> int2: 「感謝すかあるいは取れ易くないかあるいは両方である」ものはある; int2 & fact3 -> int3: あのデＧψは削ぐ; int3 & fact5 -> int4: その再評価率は削がないけれど聡い; int4 -> int5: その再評価率は削がない; void -> assump2: 以下のように仮定する。その再評価率は削ぐ; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: その確認は揉み続ける; [assump2] & int7 -> hypothesis;
あの一昔は聡くない
fact11 -> int8: もし仮に「あの一昔は揉み続けるし聡い」ということは事実と異なるとしたら聡くない; fact13 -> int9: その確認は恙無いということはない; fact12 -> int10: もしもその確認が恙無いということはないとしたら乱発するけれど学校施設でない; int9 & int10 -> int11: その確認は乱発する一方で学校施設でない; fact10 -> int12: その確認は削がないとすると「揉み続けるし更に聡い」ということは事実と異なる;
$facts$ = fact1: もし仮に何らかの物は削がないなら「それは揉み続けるしその上聡い」ということは成り立たない fact2: もし「なんらかの物は恙無いということはない」ということは成り立つとすればそれは乱発するがしかし学校施設でない fact3: もしも「感謝すかもしくは取れ易いということはないかどちらもである」物があるならばあのデＧψは削ぐ fact4: 「あるものは揉み続けるしそれに聡い」ということは真実でないならそれは聡くない fact5: もしもあのデＧψが削ぐならその再評価率は削がないけれど聡い fact6: もしその確認が揉み続けないならこの骨基質は感謝すかあるいは取れ易くないか両方ともだ fact7: その回線速度は揉み続けるということはない fact8: その再評価率は聡い fact9: すべての物は恙無くない ; $hypothesis$ = もしその再評価率が削ぐとしたらその確認は揉み続ける ; $proof$ = 
void -> assump1: 以下のように仮定する。その確認は揉み続けない; fact6 & assump1 -> int1: この骨基質は感謝すかまたは取れ易くないかあるいは両方だ; int1 -> int2: 「感謝すかあるいは取れ易くないかあるいは両方である」ものはある; int2 & fact3 -> int3: あのデＧψは削ぐ; int3 & fact5 -> int4: その再評価率は削がないけれど聡い; int4 -> int5: その再評価率は削がない; void -> assump2: 以下のように仮定する。その再評価率は削ぐ; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: その確認は揉み続ける; [assump2] & int7 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物は削がないなら「それは揉み続けるしその上聡い」ということは成り立たない
事実2: もし「なんらかの物は恙無いということはない」ということは成り立つとすればそれは乱発するがしかし学校施設でない
事実3: もしも「感謝すかもしくは取れ易いということはないかどちらもである」物があるならばあのデＧψは削ぐ
事実4: 「あるものは揉み続けるしそれに聡い」ということは真実でないならそれは聡くない
事実5: もしもあのデＧψが削ぐならその再評価率は削がないけれど聡い
事実6: もしその確認が揉み続けないならこの骨基質は感謝すかあるいは取れ易くないか両方ともだ
事実7: その回線速度は揉み続けるということはない
事実8: その再評価率は聡い
事実9: すべての物は恙無くない

仮説: もしその再評価率が削ぐとしたらその確認は揉み続ける
1. 仮定1: 以下のように仮定する。その確認は揉み続けない
2. 事実6と仮定1から、推論1: "この骨基質は感謝すかまたは取れ易くないかあるいは両方だ"が導かれる
3. 推論1から、推論2: "「感謝すかあるいは取れ易くないかあるいは両方である」ものはある"が導かれる
4. 推論2と事実3から、推論3: "あのデＧψは削ぐ"が導かれる
5. 推論3と事実5から、推論4: "その再評価率は削がないけれど聡い"が導かれる
6. 推論4から、推論5: "その再評価率は削がない"が導かれる
7. 仮定2: 以下のように仮定する。その再評価率は削ぐ
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "その確認は揉み続ける"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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