その湿り具合は預ける
fact1: 全てのものは寝入るししかも筆写する fact2: もし「あの十三年当時は基本レベルだ」ということは事実であるとするとそれは預けない fact3: すべては知的訓練であるしめんど臭い fact4: もしその湿り具合は脱・素人童貞であるならば「それは射掛けない」ということは正しい fact5: その湿り具合が筆写するとしたらそれはかったるいということはない fact6: もし何かは伝送するならそれは寝入らない fact7: その湿り具合は軌道修正するしそれは内モンゴルだ fact8: もしもその湿り具合は寝入るなら「それは預けない」ということは成り立つ fact9: 仮にその湿り具合は越すなら「寝入らない」ということは確かだ fact10: その湿り具合はブック内でない fact11: 仮にあの覆いは生産性向上運動でないならばそれは寝入るし構造型データベースである fact12: その湿り具合は斜め下でない
fact1 -> int1: その湿り具合は寝入るし筆写する; int1 -> int2: その湿り具合は寝入る; int2 & fact8 -> hypothesis;
fact1 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; int2 & fact8 -> hypothesis;
その湿り具合は預ける
$facts$ = fact1: 全てのものは寝入るししかも筆写する fact2: もし「あの十三年当時は基本レベルだ」ということは事実であるとするとそれは預けない fact3: すべては知的訓練であるしめんど臭い fact4: もしその湿り具合は脱・素人童貞であるならば「それは射掛けない」ということは正しい fact5: その湿り具合が筆写するとしたらそれはかったるいということはない fact6: もし何かは伝送するならそれは寝入らない fact7: その湿り具合は軌道修正するしそれは内モンゴルだ fact8: もしもその湿り具合は寝入るなら「それは預けない」ということは成り立つ fact9: 仮にその湿り具合は越すなら「寝入らない」ということは確かだ fact10: その湿り具合はブック内でない fact11: 仮にあの覆いは生産性向上運動でないならばそれは寝入るし構造型データベースである fact12: その湿り具合は斜め下でない ; $hypothesis$ = その湿り具合は預ける ; $proof$ = 
fact1 -> int1: その湿り具合は寝入るし筆写する; int1 -> int2: その湿り具合は寝入る; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: 全てのものは寝入るししかも筆写する
事実2: もし「あの十三年当時は基本レベルだ」ということは事実であるとするとそれは預けない
事実3: すべては知的訓練であるしめんど臭い
事実4: もしその湿り具合は脱・素人童貞であるならば「それは射掛けない」ということは正しい
事実5: その湿り具合が筆写するとしたらそれはかったるいということはない
事実6: もし何かは伝送するならそれは寝入らない
事実7: その湿り具合は軌道修正するしそれは内モンゴルだ
事実8: もしもその湿り具合は寝入るなら「それは預けない」ということは成り立つ
事実9: 仮にその湿り具合は越すなら「寝入らない」ということは確かだ
事実10: その湿り具合はブック内でない
事実11: 仮にあの覆いは生産性向上運動でないならばそれは寝入るし構造型データベースである
事実12: その湿り具合は斜め下でない

仮説: その湿り具合は預ける
1. 事実1から、推論1: "その湿り具合は寝入るし筆写する"が導かれる
2. 推論1から、推論2: "その湿り具合は寝入る"が導かれる
3. 推論2と事実8から、仮説が否定される

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