もし仮にその十時以降は共同開発するということはないとしたら「あの無分別はど突かないけど父親らしい」ということは成り立たない
fact1: この株式評価額は共同開発する fact2: 仮にその校長室は関連付けし為さらないとするとそれは創作出来るか御偉い fact3: あの無分別は父親らしいかあるいは関連付けし為さるかあるいは両方である fact4: 「あの無分別は共同開発するしど突く」ということは成り立たない fact5: 仮にその十時以降は創作出来れば「その校長室は共同開発する」ということは偽であるということはない fact6: もしもその校長室がど突くとすればこの株式評価額はど突かないけれど創作出来る fact7: 「その十時以降は御偉くないがそれは共同開発する」ということは成り立つということはない fact8: もしその校長室は創作出来るとすれば「その十時以降は共同開発する」ということは正しい fact9: 仮にその校長室は父親らしいとすると「あの無分別は父親らしいということはない一方で関連付けし為さる」ということは誤りだ fact10: 「もしもこの株式評価額はど突くなら「あの無分別はど突かないがそれは父親らしい」ということは嘘だ」ということは成り立つ fact11: その校長室は弱過ぎる fact12: もしもその校長室が父親らしいとすればあの無分別は父親らしくないけど関連付けし為さる fact13: もしその校長室が御偉いとすればあの十時以降は共同開発する fact14: もしこの株式評価額が創作出来るとすればその校長室はど突く fact15: その校長室は関連付けし為されば「「その十時以降は関連付けし為さらないけど共同開発する」ということは確かである」ということは成り立たない fact16: あの無分別は渡り合える fact17: もし仮にその校長室が関連付けし為さるとすればこの株式評価額はど突く fact18: 「この株式評価額は父親らしいし加えて同項各号だ」ということは成り立つということはないならばそれは関連付けし為さらない fact19: 仮にあの無分別が父親らしいということはないならその十時以降は共同開発しないけどど突く fact20: もしその十時以降は共同開発するとすれば「その校長室は共同開発しないけれど御偉い」ということは事実と異なる
void -> assump2: 以下のように仮定する。その校長室は関連付けし為さらない; fact2 & assump2 -> int1: その校長室は創作出来るかそれは御偉い; int1 & fact8 & fact13 -> int2: その十時以降は共同開発する; void -> assump1: 以下のように仮定する。その十時以降は共同開発するということはない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「その校長室は関連付けし為さる」ということは本当だ; int4 & fact17 -> int5: この株式評価額はど突く; int5 & fact10 -> int6: 「あの無分別はど突かないが父親らしい」ということは成り立たない; [assump1] & int6 -> hypothesis;
その十時以降はど突かない
$facts$ = fact1: この株式評価額は共同開発する fact2: 仮にその校長室は関連付けし為さらないとするとそれは創作出来るか御偉い fact3: あの無分別は父親らしいかあるいは関連付けし為さるかあるいは両方である fact4: 「あの無分別は共同開発するしど突く」ということは成り立たない fact5: 仮にその十時以降は創作出来れば「その校長室は共同開発する」ということは偽であるということはない fact6: もしもその校長室がど突くとすればこの株式評価額はど突かないけれど創作出来る fact7: 「その十時以降は御偉くないがそれは共同開発する」ということは成り立つということはない fact8: もしその校長室は創作出来るとすれば「その十時以降は共同開発する」ということは正しい fact9: 仮にその校長室は父親らしいとすると「あの無分別は父親らしいということはない一方で関連付けし為さる」ということは誤りだ fact10: 「もしもこの株式評価額はど突くなら「あの無分別はど突かないがそれは父親らしい」ということは嘘だ」ということは成り立つ fact11: その校長室は弱過ぎる fact12: もしもその校長室が父親らしいとすればあの無分別は父親らしくないけど関連付けし為さる fact13: もしその校長室が御偉いとすればあの十時以降は共同開発する fact14: もしこの株式評価額が創作出来るとすればその校長室はど突く fact15: その校長室は関連付けし為されば「「その十時以降は関連付けし為さらないけど共同開発する」ということは確かである」ということは成り立たない fact16: あの無分別は渡り合える fact17: もし仮にその校長室が関連付けし為さるとすればこの株式評価額はど突く fact18: 「この株式評価額は父親らしいし加えて同項各号だ」ということは成り立つということはないならばそれは関連付けし為さらない fact19: 仮にあの無分別が父親らしいということはないならその十時以降は共同開発しないけどど突く fact20: もしその十時以降は共同開発するとすれば「その校長室は共同開発しないけれど御偉い」ということは事実と異なる ; $hypothesis$ = もし仮にその十時以降は共同開発するということはないとしたら「あの無分別はど突かないけど父親らしい」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。その校長室は関連付けし為さらない; fact2 & assump2 -> int1: その校長室は創作出来るかそれは御偉い; int1 & fact8 & fact13 -> int2: その十時以降は共同開発する; void -> assump1: 以下のように仮定する。その十時以降は共同開発するということはない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「その校長室は関連付けし為さる」ということは本当だ; int4 & fact17 -> int5: この株式評価額はど突く; int5 & fact10 -> int6: 「あの無分別はど突かないが父親らしい」ということは成り立たない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この株式評価額は共同開発する
事実2: 仮にその校長室は関連付けし為さらないとするとそれは創作出来るか御偉い
事実3: あの無分別は父親らしいかあるいは関連付けし為さるかあるいは両方である
事実4: 「あの無分別は共同開発するしど突く」ということは成り立たない
事実5: 仮にその十時以降は創作出来れば「その校長室は共同開発する」ということは偽であるということはない
事実6: もしもその校長室がど突くとすればこの株式評価額はど突かないけれど創作出来る
事実7: 「その十時以降は御偉くないがそれは共同開発する」ということは成り立つということはない
事実8: もしその校長室は創作出来るとすれば「その十時以降は共同開発する」ということは正しい
事実9: 仮にその校長室は父親らしいとすると「あの無分別は父親らしいということはない一方で関連付けし為さる」ということは誤りだ
事実10: 「もしもこの株式評価額はど突くなら「あの無分別はど突かないがそれは父親らしい」ということは嘘だ」ということは成り立つ
事実11: その校長室は弱過ぎる
事実12: もしもその校長室が父親らしいとすればあの無分別は父親らしくないけど関連付けし為さる
事実13: もしその校長室が御偉いとすればあの十時以降は共同開発する
事実14: もしこの株式評価額が創作出来るとすればその校長室はど突く
事実15: その校長室は関連付けし為されば「「その十時以降は関連付けし為さらないけど共同開発する」ということは確かである」ということは成り立たない
事実16: あの無分別は渡り合える
事実17: もし仮にその校長室が関連付けし為さるとすればこの株式評価額はど突く
事実18: 「この株式評価額は父親らしいし加えて同項各号だ」ということは成り立つということはないならばそれは関連付けし為さらない
事実19: 仮にあの無分別が父親らしいということはないならその十時以降は共同開発しないけどど突く
事実20: もしその十時以降は共同開発するとすれば「その校長室は共同開発しないけれど御偉い」ということは事実と異なる

仮説: もし仮にその十時以降は共同開発するということはないとしたら「あの無分別はど突かないけど父親らしい」ということは成り立たない
1. 仮定2: 以下のように仮定する。その校長室は関連付けし為さらない
2. 事実2と仮定2から、推論1: "その校長室は創作出来るかそれは御偉い"が導かれる
3. 推論1と事実8と事実13から、推論2: "その十時以降は共同開発する"が導かれる
4. 仮定1: 以下のように仮定する。その十時以降は共同開発するということはない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「その校長室は関連付けし為さる」ということは本当だ"が導かれる
7. 推論4と事実17から、推論5: "この株式評価額はど突く"が導かれる
8. 推論5と事実10から、推論6: "「あの無分別はど突かないが父親らしい」ということは成り立たない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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