「この改善領域はひもじくない一方でそれは超過勤務手当てだ」ということは偽である
fact1: 仮にその就業規則等は超過勤務手当てでないならば「この改善領域はひもじくないがしかしそれは超過勤務手当てである」ということは事実と異なる fact2: 「そのスクリーン・テストは狩猟民でないけど甲高い」ということは嘘である fact3: もしも荒々しい物が裁決しないとするとそれはひもじくない fact4: もしもそのトリプルＡが受け取らなくてしかもアルバイトしないならばこの改善領域は絞り取らない fact5: もし仮にこの郷党が狩猟民であるならばそのトリプルＡは絞り取る fact6: その就業規則等は超過勤務手当てでないならば「この改善領域はひもじくてそれは超過勤務手当てだ」ということは成り立たない fact7: そのスクリーン・テストは受け取るとしたら「それは甲高い」ということは成り立つ fact8: 「この改善領域が絞り取らないとするとこの改善領域は超過勤務手当てだ」ということは正しい fact9: 「この改善領域はひもじいししかも超過勤務手当てである」ということは誤っている fact10: この改善領域は裁決する fact11: 「その就業規則等は甲高い」ということは本当である fact12: この郷党は荒々しい fact13: この郷党は荒々しくて加えて裁決する fact14: とある物は絞り取る fact15: この改善領域は甲高くない fact16: もしも「なんらかのものは絞り取るしおまけに甲高い」ということは本当であるとしたらその就業規則等は超過勤務手当てでない fact17: もし仮にそのスクリーン・テストが甲高いならそのトリプルＡは甲高い fact18: 「甲高い」物はある fact19: この改善領域が超過勤務手当てであるならこの郷党は超過勤務手当てである fact20: 何らかの物が裁決すれば狩猟民だ fact21: そのスクリーン・テストは受け取る fact22: その闇飲みは受け取る
fact13 -> int1: 「この郷党は裁決する」ということは真実だ; fact20 -> int2: 仮にこの郷党が裁決するならそれは狩猟民である; int1 & int2 -> int3: 「この郷党は狩猟民だ」ということは成り立つ; int3 & fact5 -> int4: そのトリプルＡは絞り取る; fact7 & fact21 -> int5: そのスクリーン・テストは甲高い; int5 & fact17 -> int6: 「そのトリプルＡは甲高い」ということは正しい; int4 & int6 -> int7: そのトリプルＡは絞り取るしそれに甲高い; int7 -> int8: あるものは絞り取るし更にそれは甲高い; int8 & fact16 -> int9: その就業規則等は超過勤務手当てでない; int9 & fact1 -> hypothesis;
この改善領域はひもじくないけど超過勤務手当てだ
fact25 -> int10: もしこの改善領域は荒々しいけど裁決しないならばひもじくない; fact23 -> int11: 甲高い物はある;
$facts$ = fact1: 仮にその就業規則等は超過勤務手当てでないならば「この改善領域はひもじくないがしかしそれは超過勤務手当てである」ということは事実と異なる fact2: 「そのスクリーン・テストは狩猟民でないけど甲高い」ということは嘘である fact3: もしも荒々しい物が裁決しないとするとそれはひもじくない fact4: もしもそのトリプルＡが受け取らなくてしかもアルバイトしないならばこの改善領域は絞り取らない fact5: もし仮にこの郷党が狩猟民であるならばそのトリプルＡは絞り取る fact6: その就業規則等は超過勤務手当てでないならば「この改善領域はひもじくてそれは超過勤務手当てだ」ということは成り立たない fact7: そのスクリーン・テストは受け取るとしたら「それは甲高い」ということは成り立つ fact8: 「この改善領域が絞り取らないとするとこの改善領域は超過勤務手当てだ」ということは正しい fact9: 「この改善領域はひもじいししかも超過勤務手当てである」ということは誤っている fact10: この改善領域は裁決する fact11: 「その就業規則等は甲高い」ということは本当である fact12: この郷党は荒々しい fact13: この郷党は荒々しくて加えて裁決する fact14: とある物は絞り取る fact15: この改善領域は甲高くない fact16: もしも「なんらかのものは絞り取るしおまけに甲高い」ということは本当であるとしたらその就業規則等は超過勤務手当てでない fact17: もし仮にそのスクリーン・テストが甲高いならそのトリプルＡは甲高い fact18: 「甲高い」物はある fact19: この改善領域が超過勤務手当てであるならこの郷党は超過勤務手当てである fact20: 何らかの物が裁決すれば狩猟民だ fact21: そのスクリーン・テストは受け取る fact22: その闇飲みは受け取る ; $hypothesis$ = 「この改善領域はひもじくない一方でそれは超過勤務手当てだ」ということは偽である ; $proof$ = 
fact13 -> int1: 「この郷党は裁決する」ということは真実だ; fact20 -> int2: 仮にこの郷党が裁決するならそれは狩猟民である; int1 & int2 -> int3: 「この郷党は狩猟民だ」ということは成り立つ; int3 & fact5 -> int4: そのトリプルＡは絞り取る; fact7 & fact21 -> int5: そのスクリーン・テストは甲高い; int5 & fact17 -> int6: 「そのトリプルＡは甲高い」ということは正しい; int4 & int6 -> int7: そのトリプルＡは絞り取るしそれに甲高い; int7 -> int8: あるものは絞り取るし更にそれは甲高い; int8 & fact16 -> int9: その就業規則等は超過勤務手当てでない; int9 & fact1 -> hypothesis; __PROVED__
事実1: 仮にその就業規則等は超過勤務手当てでないならば「この改善領域はひもじくないがしかしそれは超過勤務手当てである」ということは事実と異なる
事実2: 「そのスクリーン・テストは狩猟民でないけど甲高い」ということは嘘である
事実3: もしも荒々しい物が裁決しないとするとそれはひもじくない
事実4: もしもそのトリプルＡが受け取らなくてしかもアルバイトしないならばこの改善領域は絞り取らない
事実5: もし仮にこの郷党が狩猟民であるならばそのトリプルＡは絞り取る
事実6: その就業規則等は超過勤務手当てでないならば「この改善領域はひもじくてそれは超過勤務手当てだ」ということは成り立たない
事実7: そのスクリーン・テストは受け取るとしたら「それは甲高い」ということは成り立つ
事実8: 「この改善領域が絞り取らないとするとこの改善領域は超過勤務手当てだ」ということは正しい
事実9: 「この改善領域はひもじいししかも超過勤務手当てである」ということは誤っている
事実10: この改善領域は裁決する
事実11: 「その就業規則等は甲高い」ということは本当である
事実12: この郷党は荒々しい
事実13: この郷党は荒々しくて加えて裁決する
事実14: とある物は絞り取る
事実15: この改善領域は甲高くない
事実16: もしも「なんらかのものは絞り取るしおまけに甲高い」ということは本当であるとしたらその就業規則等は超過勤務手当てでない
事実17: もし仮にそのスクリーン・テストが甲高いならそのトリプルＡは甲高い
事実18: 「甲高い」物はある
事実19: この改善領域が超過勤務手当てであるならこの郷党は超過勤務手当てである
事実20: 何らかの物が裁決すれば狩猟民だ
事実21: そのスクリーン・テストは受け取る
事実22: その闇飲みは受け取る

仮説: 「この改善領域はひもじくない一方でそれは超過勤務手当てだ」ということは偽である
1. 事実13から、推論1: "「この郷党は裁決する」ということは真実だ"が導かれる
2. 事実20から、推論2: "仮にこの郷党が裁決するならそれは狩猟民である"が導かれる
3. 推論1と推論2から、推論3: "「この郷党は狩猟民だ」ということは成り立つ"が導かれる
4. 推論3と事実5から、推論4: "そのトリプルＡは絞り取る"が導かれる
5. 事実7と事実21から、推論5: "そのスクリーン・テストは甲高い"が導かれる
6. 推論5と事実17から、推論6: "「そのトリプルＡは甲高い」ということは正しい"が導かれる
7. 推論4と推論6から、推論7: "そのトリプルＡは絞り取るしそれに甲高い"が導かれる
8. 推論7から、推論8: "あるものは絞り取るし更にそれは甲高い"が導かれる
9. 推論8と事実16から、推論9: "その就業規則等は超過勤務手当てでない"が導かれる
10. 推論9と事実1から、仮説が導かれる

よって、仮説が証明されました。