その受験勉強は苦いし死滅する
fact1: この落とし格子戸が訓練中だということはないならばあの国家公安委員会規則はハワイ先住民局だ fact2: もしも「その国家公安委員会規則はハワイ先住民局だが財政資金でない」ということは偽だとするとハワイ先住民局でない fact3: もし仮に「この落とし格子戸は訓練中でないか実際問題でないか両方である」ということは成り立つということはないとすればださい fact4: その国家公安委員会規則は水揚げする fact5: 「このソフロリミナルは製造所である一方で徹し切れない」ということは成り立たないとしたら徹し切れる fact6: 仮にこの落とし格子戸がださいとするとそれは大審院判例だ fact7: 「その受験勉強はそそっかしいけどそれは死滅するということはない」ということは成り立たない fact8: もしもこの落とし格子戸が実際問題でないとすればあの国家公安委員会規則はハワイ先住民局だ fact9: 「この落とし格子戸は死滅するが実際問題でない」ということは嘘だ fact10: 「その受験勉強は憎たらしいということはないか清しないかまたは両方である」ということは間違っている fact11: 「その国家公安委員会規則はハワイ先住民局である一方で財政資金であるということはない」ということは真実でない fact12: もしも「この落とし格子戸は大審院判例だ」ということは事実であるとすれば「その受験勉強は苦い」ということは真実である fact13: もしも「その受験勉強はそそっかしいがしかし死滅しない」ということは本当だということはないとすると「それは死滅する」ということは正しい
void -> assump1: 以下のように仮定する。この落とし格子戸は訓練中でないかあるいはそれは実際問題でないか両方だ; assump1 & fact1 & fact8 -> int1: その国家公安委員会規則はハワイ先住民局だ; fact11 & fact2 -> int2: 「その国家公安委員会規則はハワイ先住民局でない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この落とし格子戸は訓練中でないかそれは実際問題でない」ということは成り立たない; int4 & fact3 -> int5: この落とし格子戸はださい; int5 & fact6 -> int6: この落とし格子戸は大審院判例だ; int6 & fact12 -> int7: その受験勉強は苦い; fact7 & fact13 -> int8: 「その受験勉強は死滅する」ということは真実だ; int7 & int8 -> hypothesis;
$facts$ = fact1: この落とし格子戸が訓練中だということはないならばあの国家公安委員会規則はハワイ先住民局だ fact2: もしも「その国家公安委員会規則はハワイ先住民局だが財政資金でない」ということは偽だとするとハワイ先住民局でない fact3: もし仮に「この落とし格子戸は訓練中でないか実際問題でないか両方である」ということは成り立つということはないとすればださい fact4: その国家公安委員会規則は水揚げする fact5: 「このソフロリミナルは製造所である一方で徹し切れない」ということは成り立たないとしたら徹し切れる fact6: 仮にこの落とし格子戸がださいとするとそれは大審院判例だ fact7: 「その受験勉強はそそっかしいけどそれは死滅するということはない」ということは成り立たない fact8: もしもこの落とし格子戸が実際問題でないとすればあの国家公安委員会規則はハワイ先住民局だ fact9: 「この落とし格子戸は死滅するが実際問題でない」ということは嘘だ fact10: 「その受験勉強は憎たらしいということはないか清しないかまたは両方である」ということは間違っている fact11: 「その国家公安委員会規則はハワイ先住民局である一方で財政資金であるということはない」ということは真実でない fact12: もしも「この落とし格子戸は大審院判例だ」ということは事実であるとすれば「その受験勉強は苦い」ということは真実である fact13: もしも「その受験勉強はそそっかしいがしかし死滅しない」ということは本当だということはないとすると「それは死滅する」ということは正しい ; $hypothesis$ = その受験勉強は苦いし死滅する ; $proof$ = 
void -> assump1: 以下のように仮定する。この落とし格子戸は訓練中でないかあるいはそれは実際問題でないか両方だ; assump1 & fact1 & fact8 -> int1: その国家公安委員会規則はハワイ先住民局だ; fact11 & fact2 -> int2: 「その国家公安委員会規則はハワイ先住民局でない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この落とし格子戸は訓練中でないかそれは実際問題でない」ということは成り立たない; int4 & fact3 -> int5: この落とし格子戸はださい; int5 & fact6 -> int6: この落とし格子戸は大審院判例だ; int6 & fact12 -> int7: その受験勉強は苦い; fact7 & fact13 -> int8: 「その受験勉強は死滅する」ということは真実だ; int7 & int8 -> hypothesis; __PROVED__
事実1: この落とし格子戸が訓練中だということはないならばあの国家公安委員会規則はハワイ先住民局だ
事実2: もしも「その国家公安委員会規則はハワイ先住民局だが財政資金でない」ということは偽だとするとハワイ先住民局でない
事実3: もし仮に「この落とし格子戸は訓練中でないか実際問題でないか両方である」ということは成り立つということはないとすればださい
事実4: その国家公安委員会規則は水揚げする
事実5: 「このソフロリミナルは製造所である一方で徹し切れない」ということは成り立たないとしたら徹し切れる
事実6: 仮にこの落とし格子戸がださいとするとそれは大審院判例だ
事実7: 「その受験勉強はそそっかしいけどそれは死滅するということはない」ということは成り立たない
事実8: もしもこの落とし格子戸が実際問題でないとすればあの国家公安委員会規則はハワイ先住民局だ
事実9: 「この落とし格子戸は死滅するが実際問題でない」ということは嘘だ
事実10: 「その受験勉強は憎たらしいということはないか清しないかまたは両方である」ということは間違っている
事実11: 「その国家公安委員会規則はハワイ先住民局である一方で財政資金であるということはない」ということは真実でない
事実12: もしも「この落とし格子戸は大審院判例だ」ということは事実であるとすれば「その受験勉強は苦い」ということは真実である
事実13: もしも「その受験勉強はそそっかしいがしかし死滅しない」ということは本当だということはないとすると「それは死滅する」ということは正しい

仮説: その受験勉強は苦いし死滅する
1. 仮定1: 以下のように仮定する。この落とし格子戸は訓練中でないかあるいはそれは実際問題でないか両方だ
2. 仮定1と事実1と事実8から、推論1: "その国家公安委員会規則はハワイ先住民局だ"が導かれる
3. 事実11と事実2から、推論2: "「その国家公安委員会規則はハワイ先住民局でない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この落とし格子戸は訓練中でないかそれは実際問題でない」ということは成り立たない"が導かれる
6. 推論4と事実3から、推論5: "この落とし格子戸はださい"が導かれる
7. 推論5と事実6から、推論6: "この落とし格子戸は大審院判例だ"が導かれる
8. 推論6と事実12から、推論7: "その受験勉強は苦い"が導かれる
9. 事実7と事実13から、推論8: "「その受験勉強は死滅する」ということは真実だ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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