もしも「この四十ミリメートル以上は監修である」ということは確かならばそのミイラ作りは消費者相談でないか駆け下る
fact1: もし仮にこの四十ミリメートル以上は監修であるならそれは捕まえ易い fact2: もしもあの食紅が消費者相談でないとするとそのミイラ作りは消費者相談でないかもしくは駆け下るかあるいは両方ともである fact3: 「この四十ミリメートル以上は三分するがしかしそれはアグレカンでない」ということは成り立たない fact4: 仮に「この四十ミリメートル以上は三分しないししかもアグレカンでない」ということは成り立たないなら「っ早い」ということは真実である fact5: そのカバー付きは監修である fact6: 捕まえ易くないものは生ずるし監修である fact7: もしもこの四十ミリメートル以上が捕まえ易くて加えてっ早いとするとあの食紅は消費者相談でない fact8: 「この四十ミリメートル以上は三分しないししかもアグレカンでない」ということは成り立たない
void -> assump1: 以下のように仮定する。この四十ミリメートル以上は監修である; fact1 & assump1 -> int1: この四十ミリメートル以上は捕まえ易い; fact4 & fact8 -> int2: この四十ミリメートル以上はっ早い; int1 & int2 -> int3: この四十ミリメートル以上は捕まえ易くてさらにっ早い; int3 & fact7 -> int4: あの食紅は消費者相談でない; int4 & fact2 -> int5: そのミイラ作りは消費者相談でないかそれは駆け下るかもしくはどちらもだ; [assump1] & int5 -> hypothesis;
この四十ミリメートル以上は消費者相談だということはないかあるいは生ずるかまたは両方だ
fact9 -> int6: もしもこの四十ミリメートル以上が捕まえ易くないとすると生ずるし更に監修である;
$facts$ = fact1: もし仮にこの四十ミリメートル以上は監修であるならそれは捕まえ易い fact2: もしもあの食紅が消費者相談でないとするとそのミイラ作りは消費者相談でないかもしくは駆け下るかあるいは両方ともである fact3: 「この四十ミリメートル以上は三分するがしかしそれはアグレカンでない」ということは成り立たない fact4: 仮に「この四十ミリメートル以上は三分しないししかもアグレカンでない」ということは成り立たないなら「っ早い」ということは真実である fact5: そのカバー付きは監修である fact6: 捕まえ易くないものは生ずるし監修である fact7: もしもこの四十ミリメートル以上が捕まえ易くて加えてっ早いとするとあの食紅は消費者相談でない fact8: 「この四十ミリメートル以上は三分しないししかもアグレカンでない」ということは成り立たない ; $hypothesis$ = もしも「この四十ミリメートル以上は監修である」ということは確かならばそのミイラ作りは消費者相談でないか駆け下る ; $proof$ = 
void -> assump1: 以下のように仮定する。この四十ミリメートル以上は監修である; fact1 & assump1 -> int1: この四十ミリメートル以上は捕まえ易い; fact4 & fact8 -> int2: この四十ミリメートル以上はっ早い; int1 & int2 -> int3: この四十ミリメートル以上は捕まえ易くてさらにっ早い; int3 & fact7 -> int4: あの食紅は消費者相談でない; int4 & fact2 -> int5: そのミイラ作りは消費者相談でないかそれは駆け下るかもしくはどちらもだ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にこの四十ミリメートル以上は監修であるならそれは捕まえ易い
事実2: もしもあの食紅が消費者相談でないとするとそのミイラ作りは消費者相談でないかもしくは駆け下るかあるいは両方ともである
事実3: 「この四十ミリメートル以上は三分するがしかしそれはアグレカンでない」ということは成り立たない
事実4: 仮に「この四十ミリメートル以上は三分しないししかもアグレカンでない」ということは成り立たないなら「っ早い」ということは真実である
事実5: そのカバー付きは監修である
事実6: 捕まえ易くないものは生ずるし監修である
事実7: もしもこの四十ミリメートル以上が捕まえ易くて加えてっ早いとするとあの食紅は消費者相談でない
事実8: 「この四十ミリメートル以上は三分しないししかもアグレカンでない」ということは成り立たない

仮説: もしも「この四十ミリメートル以上は監修である」ということは確かならばそのミイラ作りは消費者相談でないか駆け下る
1. 仮定1: 以下のように仮定する。この四十ミリメートル以上は監修である
2. 事実1と仮定1から、推論1: "この四十ミリメートル以上は捕まえ易い"が導かれる
3. 事実4と事実8から、推論2: "この四十ミリメートル以上はっ早い"が導かれる
4. 推論1と推論2から、推論3: "この四十ミリメートル以上は捕まえ易くてさらにっ早い"が導かれる
5. 推論3と事実7から、推論4: "あの食紅は消費者相談でない"が導かれる
6. 推論4と事実2から、推論5: "そのミイラ作りは消費者相談でないかそれは駆け下るかもしくはどちらもだ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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