その正弦波信号は使い辛くない
fact1: もしその邸内が使い辛いならその正弦波信号は喜悦する fact2: その邸内は好季節であるしその上それは慌ただしい fact3: その邸内は使い辛くてかつ役らしい fact4: そのルポは使い辛い fact5: 仮にその邸内が使い辛いとしたらその正弦波信号は突っ切る fact6: その邸内は喜悦するし更にそれは突っ切る fact7: その邸内は再読するししかもそれは衝撃音だ fact8: その邸内は喜悦する fact9: その邸内は使い辛い fact10: その邸内は使い辛いし喜悦する fact11: その正弦波信号は突っ切る fact12: この引火は使い辛い fact13: その正弦波信号が突っ切るならその邸内は使い辛い fact14: もしも「その邸内は突っ切る」ということは成り立つとしたらその正弦波信号は使い辛い
fact6 -> int1: その邸内は突っ切る; int1 & fact14 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact14 -> hypothesis;
$facts$ = fact1: もしその邸内が使い辛いならその正弦波信号は喜悦する fact2: その邸内は好季節であるしその上それは慌ただしい fact3: その邸内は使い辛くてかつ役らしい fact4: そのルポは使い辛い fact5: 仮にその邸内が使い辛いとしたらその正弦波信号は突っ切る fact6: その邸内は喜悦するし更にそれは突っ切る fact7: その邸内は再読するししかもそれは衝撃音だ fact8: その邸内は喜悦する fact9: その邸内は使い辛い fact10: その邸内は使い辛いし喜悦する fact11: その正弦波信号は突っ切る fact12: この引火は使い辛い fact13: その正弦波信号が突っ切るならその邸内は使い辛い fact14: もしも「その邸内は突っ切る」ということは成り立つとしたらその正弦波信号は使い辛い ; $hypothesis$ = その正弦波信号は使い辛くない ; $proof$ = 
fact6 -> int1: その邸内は突っ切る; int1 & fact14 -> hypothesis; __DISPROVED__
事実1: もしその邸内が使い辛いならその正弦波信号は喜悦する
事実2: その邸内は好季節であるしその上それは慌ただしい
事実3: その邸内は使い辛くてかつ役らしい
事実4: そのルポは使い辛い
事実5: 仮にその邸内が使い辛いとしたらその正弦波信号は突っ切る
事実6: その邸内は喜悦するし更にそれは突っ切る
事実7: その邸内は再読するししかもそれは衝撃音だ
事実8: その邸内は喜悦する
事実9: その邸内は使い辛い
事実10: その邸内は使い辛いし喜悦する
事実11: その正弦波信号は突っ切る
事実12: この引火は使い辛い
事実13: その正弦波信号が突っ切るならその邸内は使い辛い
事実14: もしも「その邸内は突っ切る」ということは成り立つとしたらその正弦波信号は使い辛い

仮説: その正弦波信号は使い辛くない
1. 事実6から、推論1: "その邸内は突っ切る"が導かれる
2. 推論1と事実14から、仮説が否定される

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