その標榜は軽ーいかそれは軍需工場である
fact1: 「この税理士特約条項は弛み無くないかまたは耐え難くないかあるいは両方ともだ」ということは誤っている fact2: 仮にその病歴は渡世人でないならば「その標榜は軽ーいかそれは軍需工場であるかもしくはどちらもである」ということは成り立つということはない fact3: この税理士特約条項は耐え難い fact4: その標榜は軽ーくない fact5: 賢くないものは渡世人であるしさらに軽ーい fact6: 仮に「この税理士特約条項は弛み無いということはないかまたはそれは耐え難くないかどちらもである」ということは事実と異なればその病歴は渡世人でない
fact6 & fact1 -> int1: その病歴は渡世人だということはない; int1 & fact2 -> hypothesis;
その標榜は軽ーいかあるいは軍需工場であるかもしくは両方だ
fact7 -> int2: もしもその標榜が賢くないならそれは渡世人であるし軽ーい;
$facts$ = fact1: 「この税理士特約条項は弛み無くないかまたは耐え難くないかあるいは両方ともだ」ということは誤っている fact2: 仮にその病歴は渡世人でないならば「その標榜は軽ーいかそれは軍需工場であるかもしくはどちらもである」ということは成り立つということはない fact3: この税理士特約条項は耐え難い fact4: その標榜は軽ーくない fact5: 賢くないものは渡世人であるしさらに軽ーい fact6: 仮に「この税理士特約条項は弛み無いということはないかまたはそれは耐え難くないかどちらもである」ということは事実と異なればその病歴は渡世人でない ; $hypothesis$ = その標榜は軽ーいかそれは軍需工場である ; $proof$ = 
fact6 & fact1 -> int1: その病歴は渡世人だということはない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「この税理士特約条項は弛み無くないかまたは耐え難くないかあるいは両方ともだ」ということは誤っている
事実2: 仮にその病歴は渡世人でないならば「その標榜は軽ーいかそれは軍需工場であるかもしくはどちらもである」ということは成り立つということはない
事実3: この税理士特約条項は耐え難い
事実4: その標榜は軽ーくない
事実5: 賢くないものは渡世人であるしさらに軽ーい
事実6: 仮に「この税理士特約条項は弛み無いということはないかまたはそれは耐え難くないかどちらもである」ということは事実と異なればその病歴は渡世人でない

仮説: その標榜は軽ーいかそれは軍需工場である
1. 事実6と事実1から、推論1: "その病歴は渡世人だということはない"が導かれる
2. 推論1と事実2から、仮説が否定される

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