「あのトルネードは男らしいがしかし御満足頂けない」ということは本当でない
fact1: もしもその下請け負人選定者が男らしくないならあのトルネードは男らしいけど御満足頂けない fact2: その下請け負人選定者は煙たい fact3: その下請け負人選定者は煙たいけれどそれは項部硬直だということはない fact4: もし煙たいものは項部硬直であるということはないとしたらそれは男らしくない fact5: あのトルネードは御満足頂けるということはない
fact4 -> int1: もし仮にその下請け負人選定者が煙たいけど項部硬直でないとすると男らしいということはない; int1 & fact3 -> int2: その下請け負人選定者は男らしいということはない; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしもその下請け負人選定者が男らしくないならあのトルネードは男らしいけど御満足頂けない fact2: その下請け負人選定者は煙たい fact3: その下請け負人選定者は煙たいけれどそれは項部硬直だということはない fact4: もし煙たいものは項部硬直であるということはないとしたらそれは男らしくない fact5: あのトルネードは御満足頂けるということはない ; $hypothesis$ = 「あのトルネードは男らしいがしかし御満足頂けない」ということは本当でない ; $proof$ = 
fact4 -> int1: もし仮にその下請け負人選定者が煙たいけど項部硬直でないとすると男らしいということはない; int1 & fact3 -> int2: その下請け負人選定者は男らしいということはない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその下請け負人選定者が男らしくないならあのトルネードは男らしいけど御満足頂けない
事実2: その下請け負人選定者は煙たい
事実3: その下請け負人選定者は煙たいけれどそれは項部硬直だということはない
事実4: もし煙たいものは項部硬直であるということはないとしたらそれは男らしくない
事実5: あのトルネードは御満足頂けるということはない

仮説: 「あのトルネードは男らしいがしかし御満足頂けない」ということは本当でない
1. 事実4から、推論1: "もし仮にその下請け負人選定者が煙たいけど項部硬直でないとすると男らしいということはない"が導かれる
2. 推論1と事実3から、推論2: "その下請け負人選定者は男らしいということはない"が導かれる
3. 推論2と事実1から、仮説が否定される

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