その笑いは手堅くない
fact1: この手作り弁当は手堅い fact2: その笑いは塩辛い fact3: もし仮にとあるものが手堅いとすればそれは怖い fact4: その笑いは羽ばたく fact5: その笑いは怖い fact6: 仮に「御出で為さらない」物はあるとすると「この航空隊は三等親でないしさらに授権しない」ということは本当でない fact7: その笑いは恐怖する fact8: もし仮に「何らかの物は浅しないかまたはぐらつくかどちらもだ」ということは嘘だとするとそれは存在する fact9: もしも何かは恐怖するし存在すればそれは御出で為さらない fact10: もしその笑いが怖いとすると手堅い fact11: もし何らかの物が三等親だとしたらそれは自然解凍するしおまけにそれは怖くない fact12: 仮にその笑いは塩辛いならば「それは浅しないかもしくはぐらつく」ということは偽だ fact13: もしも「何らかの物は三等親でないし授権しない」ということは成り立たないならば「それは自然解凍する」ということは真実だ fact14: もしも「なんらかのものは自然解凍する」ということは成り立つならそれは手堅い
fact10 & fact5 -> hypothesis;
fact10 & fact5 -> hypothesis;
その笑いは手堅くない
fact15 -> int1: 「そのレイプ犯は三等親だ」ということは間違っていないならば自然解凍するしそれにそれは怖くない;
$facts$ = fact1: この手作り弁当は手堅い fact2: その笑いは塩辛い fact3: もし仮にとあるものが手堅いとすればそれは怖い fact4: その笑いは羽ばたく fact5: その笑いは怖い fact6: 仮に「御出で為さらない」物はあるとすると「この航空隊は三等親でないしさらに授権しない」ということは本当でない fact7: その笑いは恐怖する fact8: もし仮に「何らかの物は浅しないかまたはぐらつくかどちらもだ」ということは嘘だとするとそれは存在する fact9: もしも何かは恐怖するし存在すればそれは御出で為さらない fact10: もしその笑いが怖いとすると手堅い fact11: もし何らかの物が三等親だとしたらそれは自然解凍するしおまけにそれは怖くない fact12: 仮にその笑いは塩辛いならば「それは浅しないかもしくはぐらつく」ということは偽だ fact13: もしも「何らかの物は三等親でないし授権しない」ということは成り立たないならば「それは自然解凍する」ということは真実だ fact14: もしも「なんらかのものは自然解凍する」ということは成り立つならそれは手堅い ; $hypothesis$ = その笑いは手堅くない ; $proof$ = 
fact10 & fact5 -> hypothesis; __DISPROVED__
事実1: この手作り弁当は手堅い
事実2: その笑いは塩辛い
事実3: もし仮にとあるものが手堅いとすればそれは怖い
事実4: その笑いは羽ばたく
事実5: その笑いは怖い
事実6: 仮に「御出で為さらない」物はあるとすると「この航空隊は三等親でないしさらに授権しない」ということは本当でない
事実7: その笑いは恐怖する
事実8: もし仮に「何らかの物は浅しないかまたはぐらつくかどちらもだ」ということは嘘だとするとそれは存在する
事実9: もしも何かは恐怖するし存在すればそれは御出で為さらない
事実10: もしその笑いが怖いとすると手堅い
事実11: もし何らかの物が三等親だとしたらそれは自然解凍するしおまけにそれは怖くない
事実12: 仮にその笑いは塩辛いならば「それは浅しないかもしくはぐらつく」ということは偽だ
事実13: もしも「何らかの物は三等親でないし授権しない」ということは成り立たないならば「それは自然解凍する」ということは真実だ
事実14: もしも「なんらかのものは自然解凍する」ということは成り立つならそれは手堅い

仮説: その笑いは手堅くない
1. 事実10と事実5から、仮説が否定される

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