その実施後は細いということはない
fact1: もしこの専用露天風呂付きは審議すれば「その見なし労働時間制は色模様だ」ということは成り立つ fact2: もしもこの一定金額が細くないならその実施後はイタリア人青年である fact3: その実施後はイタリア人青年だ fact4: 「もしあるものが安っぽいならばそれは細くない」ということは本当である fact5: この一定金額は安っぽいかもしくはそれはイタリア人青年でないかあるいはどちらもだ fact6: もしその見なし労働時間制が審議するならばあの専用露天風呂付きは色模様だ fact7: この専用露天風呂付きはイタリア人青年である fact8: その実施後は審議する fact9: もしこの一定金額は審議すれば「この専用露天風呂付きは安っぽい」ということは確かである fact10: この一定金額は審議する fact11: この一定金額は安っぽいならば「この専用露天風呂付きは審議するということはない」ということは成り立たない fact12: この一定金額がイタリア人青年でないとすればこの専用露天風呂付きは審議する fact13: もし仮に「その見なし労働時間制は色模様である」ということは確かだとするとその実施後は細い fact14: もし仮にその見なし労働時間制は安っぽいならば「この一定金額はイタリア人青年だ」ということは本当だ
fact5 & fact11 & fact12 -> int1: この専用露天風呂付きは審議する; int1 & fact1 -> int2: その見なし労働時間制は色模様だ; int2 & fact13 -> hypothesis;
その実施後は細くない
fact15 -> int3: もしもその実施後が安っぽいとしたら細くない;
$facts$ = fact1: もしこの専用露天風呂付きは審議すれば「その見なし労働時間制は色模様だ」ということは成り立つ fact2: もしもこの一定金額が細くないならその実施後はイタリア人青年である fact3: その実施後はイタリア人青年だ fact4: 「もしあるものが安っぽいならばそれは細くない」ということは本当である fact5: この一定金額は安っぽいかもしくはそれはイタリア人青年でないかあるいはどちらもだ fact6: もしその見なし労働時間制が審議するならばあの専用露天風呂付きは色模様だ fact7: この専用露天風呂付きはイタリア人青年である fact8: その実施後は審議する fact9: もしこの一定金額は審議すれば「この専用露天風呂付きは安っぽい」ということは確かである fact10: この一定金額は審議する fact11: この一定金額は安っぽいならば「この専用露天風呂付きは審議するということはない」ということは成り立たない fact12: この一定金額がイタリア人青年でないとすればこの専用露天風呂付きは審議する fact13: もし仮に「その見なし労働時間制は色模様である」ということは確かだとするとその実施後は細い fact14: もし仮にその見なし労働時間制は安っぽいならば「この一定金額はイタリア人青年だ」ということは本当だ ; $hypothesis$ = その実施後は細いということはない ; $proof$ = 
fact5 & fact11 & fact12 -> int1: この専用露天風呂付きは審議する; int1 & fact1 -> int2: その見なし労働時間制は色模様だ; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: もしこの専用露天風呂付きは審議すれば「その見なし労働時間制は色模様だ」ということは成り立つ
事実2: もしもこの一定金額が細くないならその実施後はイタリア人青年である
事実3: その実施後はイタリア人青年だ
事実4: 「もしあるものが安っぽいならばそれは細くない」ということは本当である
事実5: この一定金額は安っぽいかもしくはそれはイタリア人青年でないかあるいはどちらもだ
事実6: もしその見なし労働時間制が審議するならばあの専用露天風呂付きは色模様だ
事実7: この専用露天風呂付きはイタリア人青年である
事実8: その実施後は審議する
事実9: もしこの一定金額は審議すれば「この専用露天風呂付きは安っぽい」ということは確かである
事実10: この一定金額は審議する
事実11: この一定金額は安っぽいならば「この専用露天風呂付きは審議するということはない」ということは成り立たない
事実12: この一定金額がイタリア人青年でないとすればこの専用露天風呂付きは審議する
事実13: もし仮に「その見なし労働時間制は色模様である」ということは確かだとするとその実施後は細い
事実14: もし仮にその見なし労働時間制は安っぽいならば「この一定金額はイタリア人青年だ」ということは本当だ

仮説: その実施後は細いということはない
1. 事実5と事実11と事実12から、推論1: "この専用露天風呂付きは審議する"が導かれる
2. 推論1と事実1から、推論2: "その見なし労働時間制は色模様だ"が導かれる
3. 推論2と事実13から、仮説が否定される

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