「この組方向は元恋人でないがしかしそれは肌寒い」ということは誤っている
fact1: もしもその区役所通りは打ち難くないとすると「この組方向は元恋人でないが肌寒い」ということは誤っている fact2: もしもなにかは丸投げしないとすれば「その日付けクエリは復す」ということは成り立つ fact3: もしその日付けクエリが漢族でないけど復すならばあの区役所通りは打ち難くない fact4: 「「丸投げしない」ということは正しい」ものはある fact5: その日付けクエリは復す fact6: 「とある物は漢族でなくてそれは丸投げしない」ということは誤りであるとしたら「それは元恋人でない」ということは成り立つ fact7: 「この組方向は元恋人であるし肌寒い」ということは偽だ fact8: もしもその区役所通りが肌寒いならその日付けクエリは復さない fact9: もし仮になにがしかのものは漢族であるということはないならばそれは復すかもしくは丸投げしない fact10: その日付けクエリが丸投げするということはないならばこの組方向は元恋人でないけれど肌寒い fact11: もしもその日付けクエリは復さないならば「「その具体的場面は漢族でないしおまけに丸投げしない」ということは本当でない」ということは間違いでない fact12: もし「丸投げしない」物があるとすればその日付けクエリは漢族でないけれど復す fact13: 「その同一基準は怠くらなくて加えて描き易いということはない」ということは本当でない
fact4 & fact12 -> int1: その日付けクエリは漢族でないが復す; int1 & fact3 -> int2: その区役所通りは打ち難くない; int2 & fact1 -> hypothesis;
fact4 & fact12 -> int1: (¬{B}{a} & {C}{a}); int1 & fact3 -> int2: ¬{D}{b}; int2 & fact1 -> hypothesis;
この組方向は元恋人でないけど肌寒い
fact16 -> int3: 仮にその日付けクエリが漢族でないとすれば復すかまたはそれは丸投げしない; fact14 -> int4: 「「怠くらなくてかつ描き易くない」ということは正しくない」物はある;
$facts$ = fact1: もしもその区役所通りは打ち難くないとすると「この組方向は元恋人でないが肌寒い」ということは誤っている fact2: もしもなにかは丸投げしないとすれば「その日付けクエリは復す」ということは成り立つ fact3: もしその日付けクエリが漢族でないけど復すならばあの区役所通りは打ち難くない fact4: 「「丸投げしない」ということは正しい」ものはある fact5: その日付けクエリは復す fact6: 「とある物は漢族でなくてそれは丸投げしない」ということは誤りであるとしたら「それは元恋人でない」ということは成り立つ fact7: 「この組方向は元恋人であるし肌寒い」ということは偽だ fact8: もしもその区役所通りが肌寒いならその日付けクエリは復さない fact9: もし仮になにがしかのものは漢族であるということはないならばそれは復すかもしくは丸投げしない fact10: その日付けクエリが丸投げするということはないならばこの組方向は元恋人でないけれど肌寒い fact11: もしもその日付けクエリは復さないならば「「その具体的場面は漢族でないしおまけに丸投げしない」ということは本当でない」ということは間違いでない fact12: もし「丸投げしない」物があるとすればその日付けクエリは漢族でないけれど復す fact13: 「その同一基準は怠くらなくて加えて描き易いということはない」ということは本当でない ; $hypothesis$ = 「この組方向は元恋人でないがしかしそれは肌寒い」ということは誤っている ; $proof$ = 
fact4 & fact12 -> int1: その日付けクエリは漢族でないが復す; int1 & fact3 -> int2: その区役所通りは打ち難くない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしもその区役所通りは打ち難くないとすると「この組方向は元恋人でないが肌寒い」ということは誤っている
事実2: もしもなにかは丸投げしないとすれば「その日付けクエリは復す」ということは成り立つ
事実3: もしその日付けクエリが漢族でないけど復すならばあの区役所通りは打ち難くない
事実4: 「「丸投げしない」ということは正しい」ものはある
事実5: その日付けクエリは復す
事実6: 「とある物は漢族でなくてそれは丸投げしない」ということは誤りであるとしたら「それは元恋人でない」ということは成り立つ
事実7: 「この組方向は元恋人であるし肌寒い」ということは偽だ
事実8: もしもその区役所通りが肌寒いならその日付けクエリは復さない
事実9: もし仮になにがしかのものは漢族であるということはないならばそれは復すかもしくは丸投げしない
事実10: その日付けクエリが丸投げするということはないならばこの組方向は元恋人でないけれど肌寒い
事実11: もしもその日付けクエリは復さないならば「「その具体的場面は漢族でないしおまけに丸投げしない」ということは本当でない」ということは間違いでない
事実12: もし「丸投げしない」物があるとすればその日付けクエリは漢族でないけれど復す
事実13: 「その同一基準は怠くらなくて加えて描き易いということはない」ということは本当でない

仮説: 「この組方向は元恋人でないがしかしそれは肌寒い」ということは誤っている
1. 事実4と事実12から、推論1: "その日付けクエリは漢族でないが復す"が導かれる
2. 推論1と事実3から、推論2: "その区役所通りは打ち難くない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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