この鱒は数え上げないしおまけにそれは仕舞わない
fact1: あの矯正教育は海外移転でないししかもＫＡＳＴでない fact2: もしあの焦点調節が間近いということはないしそれが休らうということはないとするとその未熟さは発言しない fact3: 「スポーツドリンクである」物はある fact4: もしも「「スポーツドリンクであるということはないかおもろいか両方である」ということは成り立たない」ものがあればその未熟さは発言する fact5: もし仮にこの義手が数え上げるということはないならばこの鱒は数え上げるということはなくて更に仕舞わない fact6: あの焦点調節は間近いということはないし休らわない fact7: 仮に何かはスポーツドリンクでないかあるいはそれがおもろいとしたらそれは蒸し暑くない fact8: もしもとある物がスキャンしないとすると数え上げない fact9: もしあの矯正教育が蒸し暑くなくてＫＡＳＴでないとしたらこの義手はスキャンしない fact10: 「「スポーツドリンクであるかもしくはおもろいかあるいはどちらもだ」ということは偽である」ものはある fact11: あの矯正教育はスポーツドリンクでないとすると蒸し暑いということはない
void -> assump1: 以下のように仮定する。「あの矯正教育はスポーツドリンクであるということはないかもしくはおもろいかあるいは両方である」ということは嘘だ; assump1 -> int1: 「「スポーツドリンクでないかおもろいかどちらもである」ということは嘘である」物はある; int1 & fact4 -> int2: その未熟さは発言する; fact6 & fact2 -> int3: 「その未熟さは発言しない」ということは真実である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの矯正教育はスポーツドリンクでないかおもろいかまたはどちらもだ; fact7 -> int6: もし仮にあの矯正教育はスポーツドリンクでないかまたはおもろいかまたはどちらもであるとすると「それは蒸し暑くない」ということは事実だ; int5 & int6 -> int7: あの矯正教育は蒸し暑くない; fact1 -> int8: あの矯正教育はＫＡＳＴであるということはない; int7 & int8 -> int9: あの矯正教育が蒸し暑いということはないしさらにそれはＫＡＳＴでない; int9 & fact9 -> int10: この義手はスキャンしない; fact8 -> int11: この義手がスキャンしないならば数え上げない; int10 & int11 -> int12: この義手は数え上げない; int12 & fact5 -> hypothesis;
$facts$ = fact1: あの矯正教育は海外移転でないししかもＫＡＳＴでない fact2: もしあの焦点調節が間近いということはないしそれが休らうということはないとするとその未熟さは発言しない fact3: 「スポーツドリンクである」物はある fact4: もしも「「スポーツドリンクであるということはないかおもろいか両方である」ということは成り立たない」ものがあればその未熟さは発言する fact5: もし仮にこの義手が数え上げるということはないならばこの鱒は数え上げるということはなくて更に仕舞わない fact6: あの焦点調節は間近いということはないし休らわない fact7: 仮に何かはスポーツドリンクでないかあるいはそれがおもろいとしたらそれは蒸し暑くない fact8: もしもとある物がスキャンしないとすると数え上げない fact9: もしあの矯正教育が蒸し暑くなくてＫＡＳＴでないとしたらこの義手はスキャンしない fact10: 「「スポーツドリンクであるかもしくはおもろいかあるいはどちらもだ」ということは偽である」ものはある fact11: あの矯正教育はスポーツドリンクでないとすると蒸し暑いということはない ; $hypothesis$ = この鱒は数え上げないしおまけにそれは仕舞わない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの矯正教育はスポーツドリンクであるということはないかもしくはおもろいかあるいは両方である」ということは嘘だ; assump1 -> int1: 「「スポーツドリンクでないかおもろいかどちらもである」ということは嘘である」物はある; int1 & fact4 -> int2: その未熟さは発言する; fact6 & fact2 -> int3: 「その未熟さは発言しない」ということは真実である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの矯正教育はスポーツドリンクでないかおもろいかまたはどちらもだ; fact7 -> int6: もし仮にあの矯正教育はスポーツドリンクでないかまたはおもろいかまたはどちらもであるとすると「それは蒸し暑くない」ということは事実だ; int5 & int6 -> int7: あの矯正教育は蒸し暑くない; fact1 -> int8: あの矯正教育はＫＡＳＴであるということはない; int7 & int8 -> int9: あの矯正教育が蒸し暑いということはないしさらにそれはＫＡＳＴでない; int9 & fact9 -> int10: この義手はスキャンしない; fact8 -> int11: この義手がスキャンしないならば数え上げない; int10 & int11 -> int12: この義手は数え上げない; int12 & fact5 -> hypothesis; __PROVED__
事実1: あの矯正教育は海外移転でないししかもＫＡＳＴでない
事実2: もしあの焦点調節が間近いということはないしそれが休らうということはないとするとその未熟さは発言しない
事実3: 「スポーツドリンクである」物はある
事実4: もしも「「スポーツドリンクであるということはないかおもろいか両方である」ということは成り立たない」ものがあればその未熟さは発言する
事実5: もし仮にこの義手が数え上げるということはないならばこの鱒は数え上げるということはなくて更に仕舞わない
事実6: あの焦点調節は間近いということはないし休らわない
事実7: 仮に何かはスポーツドリンクでないかあるいはそれがおもろいとしたらそれは蒸し暑くない
事実8: もしもとある物がスキャンしないとすると数え上げない
事実9: もしあの矯正教育が蒸し暑くなくてＫＡＳＴでないとしたらこの義手はスキャンしない
事実10: 「「スポーツドリンクであるかもしくはおもろいかあるいはどちらもだ」ということは偽である」ものはある
事実11: あの矯正教育はスポーツドリンクでないとすると蒸し暑いということはない

仮説: この鱒は数え上げないしおまけにそれは仕舞わない
1. 仮定1: 以下のように仮定する。「あの矯正教育はスポーツドリンクであるということはないかもしくはおもろいかあるいは両方である」ということは嘘だ
2. 仮定1から、推論1: "「「スポーツドリンクでないかおもろいかどちらもである」ということは嘘である」物はある"が導かれる
3. 推論1と事実4から、推論2: "その未熟さは発言する"が導かれる
4. 事実6と事実2から、推論3: "「その未熟さは発言しない」ということは真実である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの矯正教育はスポーツドリンクでないかおもろいかまたはどちらもだ"が導かれる
7. 事実7から、推論6: "もし仮にあの矯正教育はスポーツドリンクでないかまたはおもろいかまたはどちらもであるとすると「それは蒸し暑くない」ということは事実だ"が導かれる
8. 推論5と推論6から、推論7: "あの矯正教育は蒸し暑くない"が導かれる
9. 事実1から、推論8: "あの矯正教育はＫＡＳＴであるということはない"が導かれる
10. 推論7と推論8から、推論9: "あの矯正教育が蒸し暑いということはないしさらにそれはＫＡＳＴでない"が導かれる
11. 推論9と事実9から、推論10: "この義手はスキャンしない"が導かれる
12. 事実8から、推論11: "この義手がスキャンしないならば数え上げない"が導かれる
13. 推論10と推論11から、推論12: "この義手は数え上げない"が導かれる
14. 推論12と事実5から、仮説が導かれる

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