そのオンラインマニュアルは記録出来る
fact1: そのオンラインマニュアルは手緩くない fact2: もしもあのカットが手緩くないとしたらそのオンラインマニュアルは記録出来るということはない fact3: あのカットは記録出来ない fact4: あの博物誌は記録出来ない fact5: そのオンラインマニュアルが手緩くないとするとあのカットは記録出来ない fact6: その蘭城はコミュニケーション技術でない fact7: なんらかのものは統御出来るとしたら「手緩い」ということは成り立つ fact8: あのカットは手緩くない fact9: 仮になにかは統御出来ないとすると「記録出来るし手緩い」ということは確かでない fact10: もし仮にその蘭城がコミュニケーション技術でないならばあの十二例は科しない一方でそれは当たり難い fact11: この唯識仏教は手緩くない fact12: もしあのカットが記録出来ないならばそのオンラインマニュアルは手緩くない
fact2 & fact8 -> hypothesis;
fact2 & fact8 -> hypothesis;
そのオンラインマニュアルは記録出来る
fact13 -> int1: もし仮に「あのカットは統御出来る」ということは事実であるとしたら手緩い; fact14 & fact15 -> int2: その十二例は科しないけど当たり難い; int2 -> int3: その十二例は科しない; int3 -> int4: 「科するということはない」物はある;
$facts$ = fact1: そのオンラインマニュアルは手緩くない fact2: もしもあのカットが手緩くないとしたらそのオンラインマニュアルは記録出来るということはない fact3: あのカットは記録出来ない fact4: あの博物誌は記録出来ない fact5: そのオンラインマニュアルが手緩くないとするとあのカットは記録出来ない fact6: その蘭城はコミュニケーション技術でない fact7: なんらかのものは統御出来るとしたら「手緩い」ということは成り立つ fact8: あのカットは手緩くない fact9: 仮になにかは統御出来ないとすると「記録出来るし手緩い」ということは確かでない fact10: もし仮にその蘭城がコミュニケーション技術でないならばあの十二例は科しない一方でそれは当たり難い fact11: この唯識仏教は手緩くない fact12: もしあのカットが記録出来ないならばそのオンラインマニュアルは手緩くない ; $hypothesis$ = そのオンラインマニュアルは記録出来る ; $proof$ = 
fact2 & fact8 -> hypothesis; __DISPROVED__
事実1: そのオンラインマニュアルは手緩くない
事実2: もしもあのカットが手緩くないとしたらそのオンラインマニュアルは記録出来るということはない
事実3: あのカットは記録出来ない
事実4: あの博物誌は記録出来ない
事実5: そのオンラインマニュアルが手緩くないとするとあのカットは記録出来ない
事実6: その蘭城はコミュニケーション技術でない
事実7: なんらかのものは統御出来るとしたら「手緩い」ということは成り立つ
事実8: あのカットは手緩くない
事実9: 仮になにかは統御出来ないとすると「記録出来るし手緩い」ということは確かでない
事実10: もし仮にその蘭城がコミュニケーション技術でないならばあの十二例は科しない一方でそれは当たり難い
事実11: この唯識仏教は手緩くない
事実12: もしあのカットが記録出来ないならばそのオンラインマニュアルは手緩くない

仮説: そのオンラインマニュアルは記録出来る
1. 事実2と事実8から、仮説が否定される

よって、仮説が否定されました。