この評点レベルはリズム時計であるかまたはそれは闊歩する
fact1: なにかは牛フィレ肉であるとすれば「御早くないししかも茶色くない」ということは本当でない fact2: どれもこれもは流れ着かない fact3: あの長期化はリズム時計であるかあるいは涙脆いかもしくは両方だ fact4: 仮になんらかのものが収録するならそれは御早いということはないしそれに茶色いということはない fact5: もしあの長期化がボディサイズだとしたらそれは涙脆い fact6: 仮に「この評点レベルは茶色い」ということは事実であるとすると涙脆くないし闊歩しない fact7: もし何らかの物は流れ着くということはないとすれば「狙い易くてさらに収録する」ということは偽である fact8: 仮に「涙脆くない」物があるならあの長期化は御早い fact9: あの中心気圧は涙脆いということはないし牛フィレ肉でない fact10: 仮に「その大腿骨顆部は狙い易いしかつ収録する」ということは誤っていればあの長期化は茶色くない fact11: もしもあの長期化が涙脆い一方で牛フィレ肉でないとしたらこの評点レベルはボディサイズでない fact12: もしも「あの長期化は涙脆い」ということは真実だとすればその大腿骨顆部は牛フィレ肉だ fact13: 何らかの物がボディサイズだということはないならこの評点レベルはリズム時計だ fact14: 仮にあのシュガーが狙い易いとするとその大腿骨顆部は収録する fact15: あのシュガーは狙い易い
void -> assump1: 以下のように仮定する。「あの長期化はボディサイズだ」ということは間違っていない; fact5 & assump1 -> int1: あの長期化は涙脆い; int1 & fact12 -> int2: その大腿骨顆部は牛フィレ肉である; fact1 -> int3: その大腿骨顆部は牛フィレ肉ならば「それは御早いということはないしさらに茶色くない」ということは嘘だ; int2 & int3 -> int4: 「その大腿骨顆部は御早くないしさらに茶色くない」ということは成り立たない; fact4 -> int5: もしその大腿骨顆部が収録すればそれは御早くなくて加えて茶色くない; fact15 & fact14 -> int6: その大腿骨顆部は収録する; int5 & int6 -> int7: その大腿骨顆部は御早いということはないしその上茶色いない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの長期化はボディサイズでない; int9 -> int10: 「ボディサイズでない」物はある; int10 & fact13 -> int11: この評点レベルはリズム時計だ; int11 -> hypothesis;
「あの中心気圧は流れ着くかまたはそれはリズム時計であるかもしくは両方だ」ということは真実だ
fact16 -> int12: 「あの中心気圧は涙脆くない」ということは誤りでない;
$facts$ = fact1: なにかは牛フィレ肉であるとすれば「御早くないししかも茶色くない」ということは本当でない fact2: どれもこれもは流れ着かない fact3: あの長期化はリズム時計であるかあるいは涙脆いかもしくは両方だ fact4: 仮になんらかのものが収録するならそれは御早いということはないしそれに茶色いということはない fact5: もしあの長期化がボディサイズだとしたらそれは涙脆い fact6: 仮に「この評点レベルは茶色い」ということは事実であるとすると涙脆くないし闊歩しない fact7: もし何らかの物は流れ着くということはないとすれば「狙い易くてさらに収録する」ということは偽である fact8: 仮に「涙脆くない」物があるならあの長期化は御早い fact9: あの中心気圧は涙脆いということはないし牛フィレ肉でない fact10: 仮に「その大腿骨顆部は狙い易いしかつ収録する」ということは誤っていればあの長期化は茶色くない fact11: もしもあの長期化が涙脆い一方で牛フィレ肉でないとしたらこの評点レベルはボディサイズでない fact12: もしも「あの長期化は涙脆い」ということは真実だとすればその大腿骨顆部は牛フィレ肉だ fact13: 何らかの物がボディサイズだということはないならこの評点レベルはリズム時計だ fact14: 仮にあのシュガーが狙い易いとするとその大腿骨顆部は収録する fact15: あのシュガーは狙い易い ; $hypothesis$ = この評点レベルはリズム時計であるかまたはそれは闊歩する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの長期化はボディサイズだ」ということは間違っていない; fact5 & assump1 -> int1: あの長期化は涙脆い; int1 & fact12 -> int2: その大腿骨顆部は牛フィレ肉である; fact1 -> int3: その大腿骨顆部は牛フィレ肉ならば「それは御早いということはないしさらに茶色くない」ということは嘘だ; int2 & int3 -> int4: 「その大腿骨顆部は御早くないしさらに茶色くない」ということは成り立たない; fact4 -> int5: もしその大腿骨顆部が収録すればそれは御早くなくて加えて茶色くない; fact15 & fact14 -> int6: その大腿骨顆部は収録する; int5 & int6 -> int7: その大腿骨顆部は御早いということはないしその上茶色いない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの長期化はボディサイズでない; int9 -> int10: 「ボディサイズでない」物はある; int10 & fact13 -> int11: この評点レベルはリズム時計だ; int11 -> hypothesis; __PROVED__
事実1: なにかは牛フィレ肉であるとすれば「御早くないししかも茶色くない」ということは本当でない
事実2: どれもこれもは流れ着かない
事実3: あの長期化はリズム時計であるかあるいは涙脆いかもしくは両方だ
事実4: 仮になんらかのものが収録するならそれは御早いということはないしそれに茶色いということはない
事実5: もしあの長期化がボディサイズだとしたらそれは涙脆い
事実6: 仮に「この評点レベルは茶色い」ということは事実であるとすると涙脆くないし闊歩しない
事実7: もし何らかの物は流れ着くということはないとすれば「狙い易くてさらに収録する」ということは偽である
事実8: 仮に「涙脆くない」物があるならあの長期化は御早い
事実9: あの中心気圧は涙脆いということはないし牛フィレ肉でない
事実10: 仮に「その大腿骨顆部は狙い易いしかつ収録する」ということは誤っていればあの長期化は茶色くない
事実11: もしもあの長期化が涙脆い一方で牛フィレ肉でないとしたらこの評点レベルはボディサイズでない
事実12: もしも「あの長期化は涙脆い」ということは真実だとすればその大腿骨顆部は牛フィレ肉だ
事実13: 何らかの物がボディサイズだということはないならこの評点レベルはリズム時計だ
事実14: 仮にあのシュガーが狙い易いとするとその大腿骨顆部は収録する
事実15: あのシュガーは狙い易い

仮説: この評点レベルはリズム時計であるかまたはそれは闊歩する
1. 仮定1: 以下のように仮定する。「あの長期化はボディサイズだ」ということは間違っていない
2. 事実5と仮定1から、推論1: "あの長期化は涙脆い"が導かれる
3. 推論1と事実12から、推論2: "その大腿骨顆部は牛フィレ肉である"が導かれる
4. 事実1から、推論3: "その大腿骨顆部は牛フィレ肉ならば「それは御早いということはないしさらに茶色くない」ということは嘘だ"が導かれる
5. 推論2と推論3から、推論4: "「その大腿骨顆部は御早くないしさらに茶色くない」ということは成り立たない"が導かれる
6. 事実4から、推論5: "もしその大腿骨顆部が収録すればそれは御早くなくて加えて茶色くない"が導かれる
7. 事実15と事実14から、推論6: "その大腿骨顆部は収録する"が導かれる
8. 推論5と推論6から、推論7: "その大腿骨顆部は御早いということはないしその上茶色いない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの長期化はボディサイズでない"が導かれる
11. 推論9から、推論10: "「ボディサイズでない」物はある"が導かれる
12. 推論10と事実13から、推論11: "この評点レベルはリズム時計だ"が導かれる
13. 推論11から、仮説が導かれる

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