そのキルティングラインは如何致さない
fact1: もし「その大名領は廃止する」ということは成り立てばそれはシェイプだ fact2: もし「この女性型はきったない一方でそれは住まい造りでない」ということは間違いだとすれば「この属官は叶える」ということは事実だ fact3: そのキルティングラインが如何致すならそれは叶える fact4: そのキルティングラインがきったないならばこの属官は住まい造りでない fact5: この属官が住まい造りでないならばこの女性型はシェイプであるが廃止するということはない fact6: もしそのキルティングラインが叶えるとしたらきったない fact7: 「この女性型は荒々しいしそれに廃止する」ということは事実である fact8: もしも何らかのものが如何致さないとするとマルクト広場であるしおまけに廃止する fact9: この女性型は叶えるしまたシェイプだ
void -> assump1: 以下のように仮定する。「そのキルティングラインは如何致す」ということは真実だ; fact3 & assump1 -> int1: そのキルティングラインは叶える; int1 & fact6 -> int2: そのキルティングラインはきったない; int2 & fact4 -> int3: この属官は住まい造りでない; int3 & fact5 -> int4: この女性型はシェイプだけど廃止しない; int4 -> int5: この女性型は廃止しない; fact7 -> int6: この女性型は廃止する; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの連合赤軍はマルクト広場であるし廃止する
fact10 -> int8: もしあの連合赤軍が如何致さないとすればマルクト広場で更に廃止する;
$facts$ = fact1: もし「その大名領は廃止する」ということは成り立てばそれはシェイプだ fact2: もし「この女性型はきったない一方でそれは住まい造りでない」ということは間違いだとすれば「この属官は叶える」ということは事実だ fact3: そのキルティングラインが如何致すならそれは叶える fact4: そのキルティングラインがきったないならばこの属官は住まい造りでない fact5: この属官が住まい造りでないならばこの女性型はシェイプであるが廃止するということはない fact6: もしそのキルティングラインが叶えるとしたらきったない fact7: 「この女性型は荒々しいしそれに廃止する」ということは事実である fact8: もしも何らかのものが如何致さないとするとマルクト広場であるしおまけに廃止する fact9: この女性型は叶えるしまたシェイプだ ; $hypothesis$ = そのキルティングラインは如何致さない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのキルティングラインは如何致す」ということは真実だ; fact3 & assump1 -> int1: そのキルティングラインは叶える; int1 & fact6 -> int2: そのキルティングラインはきったない; int2 & fact4 -> int3: この属官は住まい造りでない; int3 & fact5 -> int4: この女性型はシェイプだけど廃止しない; int4 -> int5: この女性型は廃止しない; fact7 -> int6: この女性型は廃止する; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし「その大名領は廃止する」ということは成り立てばそれはシェイプだ
事実2: もし「この女性型はきったない一方でそれは住まい造りでない」ということは間違いだとすれば「この属官は叶える」ということは事実だ
事実3: そのキルティングラインが如何致すならそれは叶える
事実4: そのキルティングラインがきったないならばこの属官は住まい造りでない
事実5: この属官が住まい造りでないならばこの女性型はシェイプであるが廃止するということはない
事実6: もしそのキルティングラインが叶えるとしたらきったない
事実7: 「この女性型は荒々しいしそれに廃止する」ということは事実である
事実8: もしも何らかのものが如何致さないとするとマルクト広場であるしおまけに廃止する
事実9: この女性型は叶えるしまたシェイプだ

仮説: そのキルティングラインは如何致さない
1. 仮定1: 以下のように仮定する。「そのキルティングラインは如何致す」ということは真実だ
2. 事実3と仮定1から、推論1: "そのキルティングラインは叶える"が導かれる
3. 推論1と事実6から、推論2: "そのキルティングラインはきったない"が導かれる
4. 推論2と事実4から、推論3: "この属官は住まい造りでない"が導かれる
5. 推論3と事実5から、推論4: "この女性型はシェイプだけど廃止しない"が導かれる
6. 推論4から、推論5: "この女性型は廃止しない"が導かれる
7. 事実7から、推論6: "この女性型は廃止する"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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