その十二月初めは甘ったるい
fact1: あのイタリア語は疎くて圧搾する fact2: その途中換金は圧搾する fact3: その十二月初めは変身出来ない fact4: 仮になにかは満たさないならば「それは味方機でなくてそれは割愛する」ということは誤っている fact5: もしも「なんらかの物は味方機でないがしかしそれは割愛する」ということは誤っているなら割愛しない fact6: その吉良家は垂直移動する fact7: その十二月初めは圧搾する fact8: その十二月初めは垂直移動する fact9: 「この共産党議員は活用し易い一方で包むということはない」ということは本当でないならばそれは満たさない fact10: もし仮に何らかのものが垂直移動しないならばそれは甘ったるいし圧搾する fact11: 仮にある物は圧搾するし更に垂直移動するなら甘ったるくない fact12: この共産党議員が割愛しないとするとその十二月初めは垂直移動しない
fact7 & fact8 -> int1: その十二月初めは圧搾するし加えてそれは垂直移動する; fact11 -> int2: もし仮にその十二月初めが圧搾するしそれは垂直移動するなら「甘ったるくない」ということは本当である; int1 & int2 -> hypothesis;
その十二月初めは甘ったるい
fact14 -> int3: 仮にその十二月初めが垂直移動しないとするとそれは甘ったるいし更に圧搾する; fact16 -> int4: もしも「この共産党議員は味方機でないけど割愛する」ということは嘘であるとすれば割愛しない; fact15 -> int5: もし「この共産党議員は満たすということはない」ということは真実であるとしたら「それは味方機でないしさらにそれは割愛する」ということは成り立たない;
$facts$ = fact1: あのイタリア語は疎くて圧搾する fact2: その途中換金は圧搾する fact3: その十二月初めは変身出来ない fact4: 仮になにかは満たさないならば「それは味方機でなくてそれは割愛する」ということは誤っている fact5: もしも「なんらかの物は味方機でないがしかしそれは割愛する」ということは誤っているなら割愛しない fact6: その吉良家は垂直移動する fact7: その十二月初めは圧搾する fact8: その十二月初めは垂直移動する fact9: 「この共産党議員は活用し易い一方で包むということはない」ということは本当でないならばそれは満たさない fact10: もし仮に何らかのものが垂直移動しないならばそれは甘ったるいし圧搾する fact11: 仮にある物は圧搾するし更に垂直移動するなら甘ったるくない fact12: この共産党議員が割愛しないとするとその十二月初めは垂直移動しない ; $hypothesis$ = その十二月初めは甘ったるい ; $proof$ = 
fact7 & fact8 -> int1: その十二月初めは圧搾するし加えてそれは垂直移動する; fact11 -> int2: もし仮にその十二月初めが圧搾するしそれは垂直移動するなら「甘ったるくない」ということは本当である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あのイタリア語は疎くて圧搾する
事実2: その途中換金は圧搾する
事実3: その十二月初めは変身出来ない
事実4: 仮になにかは満たさないならば「それは味方機でなくてそれは割愛する」ということは誤っている
事実5: もしも「なんらかの物は味方機でないがしかしそれは割愛する」ということは誤っているなら割愛しない
事実6: その吉良家は垂直移動する
事実7: その十二月初めは圧搾する
事実8: その十二月初めは垂直移動する
事実9: 「この共産党議員は活用し易い一方で包むということはない」ということは本当でないならばそれは満たさない
事実10: もし仮に何らかのものが垂直移動しないならばそれは甘ったるいし圧搾する
事実11: 仮にある物は圧搾するし更に垂直移動するなら甘ったるくない
事実12: この共産党議員が割愛しないとするとその十二月初めは垂直移動しない

仮説: その十二月初めは甘ったるい
1. 事実7と事実8から、推論1: "その十二月初めは圧搾するし加えてそれは垂直移動する"が導かれる
2. 事実11から、推論2: "もし仮にその十二月初めが圧搾するしそれは垂直移動するなら「甘ったるくない」ということは本当である"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。