その大炊はむさくるしくない
fact1: もしもなにがしかの物が心室頻拍ならば愛撫し始める fact2: もし仮にこの不肖はプロセッサであるとすれば「それは所らしいし可愛らしくない」ということは成り立たない fact3: もし「その大炊はプロセッサでないし加えて二月末でない」ということは成り立たないならば死者達でない fact4: もし仮にとあるものは燐放出だとすれば「立て難くないしさらにそれは戦い取る」ということは間違っている fact5: 「もし仮に「白斑でないか切れないかまたはどちらもな」物があるならあのＮＡＩＳガイは来難い」ということは事実である fact6: 「その大炊は白斑だ一方でそれはプロセッサであるということはない」ということは成り立たない fact7: とあるものは肉食中心でないかまたは愛撫し始めないかもしくはどちらもだ fact8: もし仮になんらかの物は心室頻拍ならば「白斑でないしプロセッサであるということはない」ということは偽である fact9: 「肉食中心でないかあるいは愛撫し始めるかまたはどちらもな」ものはある fact10: もし「肉食中心でないかもしくは愛撫し始めるということはないかもしくは両方な」物があるならばあの大炊は心室頻拍だ fact11: 仮に「あるものは白斑であるということはないしそれはプロセッサでない」ということは間違いだとするとむさくるしくない
fact7 & fact10 -> int1: その大炊は心室頻拍である; fact8 -> int2: その大炊は心室頻拍であるなら「それは白斑でなくてプロセッサでない」ということは成り立つということはない; int1 & int2 -> int3: 「その大炊は白斑でないしおまけにプロセッサでない」ということは成り立たない; fact11 -> int4: もし「その大炊は白斑だということはないしかつプロセッサであるということはない」ということは成り立たないとするとむさくるしくない; int3 & int4 -> hypothesis;
その大炊はむさくるしい
fact12 -> int5: もし仮にこの不肖が心室頻拍ならば愛撫し始める;
$facts$ = fact1: もしもなにがしかの物が心室頻拍ならば愛撫し始める fact2: もし仮にこの不肖はプロセッサであるとすれば「それは所らしいし可愛らしくない」ということは成り立たない fact3: もし「その大炊はプロセッサでないし加えて二月末でない」ということは成り立たないならば死者達でない fact4: もし仮にとあるものは燐放出だとすれば「立て難くないしさらにそれは戦い取る」ということは間違っている fact5: 「もし仮に「白斑でないか切れないかまたはどちらもな」物があるならあのＮＡＩＳガイは来難い」ということは事実である fact6: 「その大炊は白斑だ一方でそれはプロセッサであるということはない」ということは成り立たない fact7: とあるものは肉食中心でないかまたは愛撫し始めないかもしくはどちらもだ fact8: もし仮になんらかの物は心室頻拍ならば「白斑でないしプロセッサであるということはない」ということは偽である fact9: 「肉食中心でないかあるいは愛撫し始めるかまたはどちらもな」ものはある fact10: もし「肉食中心でないかもしくは愛撫し始めるということはないかもしくは両方な」物があるならばあの大炊は心室頻拍だ fact11: 仮に「あるものは白斑であるということはないしそれはプロセッサでない」ということは間違いだとするとむさくるしくない ; $hypothesis$ = その大炊はむさくるしくない ; $proof$ = 
fact7 & fact10 -> int1: その大炊は心室頻拍である; fact8 -> int2: その大炊は心室頻拍であるなら「それは白斑でなくてプロセッサでない」ということは成り立つということはない; int1 & int2 -> int3: 「その大炊は白斑でないしおまけにプロセッサでない」ということは成り立たない; fact11 -> int4: もし「その大炊は白斑だということはないしかつプロセッサであるということはない」ということは成り立たないとするとむさくるしくない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物が心室頻拍ならば愛撫し始める
事実2: もし仮にこの不肖はプロセッサであるとすれば「それは所らしいし可愛らしくない」ということは成り立たない
事実3: もし「その大炊はプロセッサでないし加えて二月末でない」ということは成り立たないならば死者達でない
事実4: もし仮にとあるものは燐放出だとすれば「立て難くないしさらにそれは戦い取る」ということは間違っている
事実5: 「もし仮に「白斑でないか切れないかまたはどちらもな」物があるならあのＮＡＩＳガイは来難い」ということは事実である
事実6: 「その大炊は白斑だ一方でそれはプロセッサであるということはない」ということは成り立たない
事実7: とあるものは肉食中心でないかまたは愛撫し始めないかもしくはどちらもだ
事実8: もし仮になんらかの物は心室頻拍ならば「白斑でないしプロセッサであるということはない」ということは偽である
事実9: 「肉食中心でないかあるいは愛撫し始めるかまたはどちらもな」ものはある
事実10: もし「肉食中心でないかもしくは愛撫し始めるということはないかもしくは両方な」物があるならばあの大炊は心室頻拍だ
事実11: 仮に「あるものは白斑であるということはないしそれはプロセッサでない」ということは間違いだとするとむさくるしくない

仮説: その大炊はむさくるしくない
1. 事実7と事実10から、推論1: "その大炊は心室頻拍である"が導かれる
2. 事実8から、推論2: "その大炊は心室頻拍であるなら「それは白斑でなくてプロセッサでない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "「その大炊は白斑でないしおまけにプロセッサでない」ということは成り立たない"が導かれる
4. 事実11から、推論4: "もし「その大炊は白斑だということはないしかつプロセッサであるということはない」ということは成り立たないとするとむさくるしくない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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