この御気に入りは戦闘美少女だ
fact1: もしもその新大系本は屈折するとすれば「それは天使らしいということはなくてかつそれは最北端だ」ということは偽だ fact2: もしその新大系本は屈折するとしたら「「それが天使らしくないしさらに最北端だということはない」ということは事実だ」ということは間違いである fact3: 「その新大系本は最北端であるがしかし戦闘美少女でない」ということは成り立たない fact4: 仮にその新大系本は屈折するとすれば「天使らしいがしかし最北端でない」ということは偽だ fact5: 「その文士は屈折する」ということは成り立つ fact6: 「その新大系本は屈折するが戦闘美少女でない」ということは成り立つということはない fact7: 「この大牧場は屈折する」ということは成り立つ fact8: 「その新大系本は戦闘美少女でないしまた最北端でない」ということは間違っている fact9: もし「その新大系本は天使らしくないしかつ戦闘美少女でない」ということは間違いだとすればあの御気に入りは屈折しない fact10: 「この初日は人らしくない物であってかつ屈折しない」ということは誤りである fact11: 「その気侭は戦闘美少女でないがそれは勃発する」ということは誤りである fact12: 「この御気に入りは最北端でないけどそれは流され易い」ということは成り立たない fact13: もし仮になんらかの物が範読しなくてそれが審査しないならそれは戦闘美少女である fact14: 「この御気に入りは最北端でないが折り曲げる」ということは成り立たない fact15: 「その新大系本は戦闘美少女でなくて更にそれは天使らしくない」ということは嘘であるとするとこの御気に入りは最北端でない fact16: もしも「その新大系本は天使らしくないしまた最北端でない」ということは成り立たないならこの御気に入りは戦闘美少女であるということはない fact17: 「その新大系本は屈折する」ということは成り立つ fact18: この御気に入りは屈折しない fact19: この電子顕微鏡写真は天使らしい fact20: もし「この御気に入りは天使らしい」ということは本当であるとしたら「それは屈折しないし戦闘美少女でない」ということは誤っている fact21: 何らかのものは範読しないとすれば「それはカラーパウダーでその上審査する」ということは本当でない fact22: 「この御気に入りは天使らしいけどそれは戦闘美少女でない」ということは成り立たない fact23: その水泳は天使らしくない fact24: もしその新大系本が戦闘美少女ならその尻ポケットは戦闘美少女である
fact2 & fact17 -> int1: 「その新大系本が天使らしくないしさらにそれは最北端でない」ということは嘘だ; int1 & fact16 -> hypothesis;
この御気に入りは戦闘美少女である
fact25 -> int2: 仮にその新大系本は範読しないとすれば「それはカラーパウダーだし審査する」ということは成り立たない;
$facts$ = fact1: もしもその新大系本は屈折するとすれば「それは天使らしいということはなくてかつそれは最北端だ」ということは偽だ fact2: もしその新大系本は屈折するとしたら「「それが天使らしくないしさらに最北端だということはない」ということは事実だ」ということは間違いである fact3: 「その新大系本は最北端であるがしかし戦闘美少女でない」ということは成り立たない fact4: 仮にその新大系本は屈折するとすれば「天使らしいがしかし最北端でない」ということは偽だ fact5: 「その文士は屈折する」ということは成り立つ fact6: 「その新大系本は屈折するが戦闘美少女でない」ということは成り立つということはない fact7: 「この大牧場は屈折する」ということは成り立つ fact8: 「その新大系本は戦闘美少女でないしまた最北端でない」ということは間違っている fact9: もし「その新大系本は天使らしくないしかつ戦闘美少女でない」ということは間違いだとすればあの御気に入りは屈折しない fact10: 「この初日は人らしくない物であってかつ屈折しない」ということは誤りである fact11: 「その気侭は戦闘美少女でないがそれは勃発する」ということは誤りである fact12: 「この御気に入りは最北端でないけどそれは流され易い」ということは成り立たない fact13: もし仮になんらかの物が範読しなくてそれが審査しないならそれは戦闘美少女である fact14: 「この御気に入りは最北端でないが折り曲げる」ということは成り立たない fact15: 「その新大系本は戦闘美少女でなくて更にそれは天使らしくない」ということは嘘であるとするとこの御気に入りは最北端でない fact16: もしも「その新大系本は天使らしくないしまた最北端でない」ということは成り立たないならこの御気に入りは戦闘美少女であるということはない fact17: 「その新大系本は屈折する」ということは成り立つ fact18: この御気に入りは屈折しない fact19: この電子顕微鏡写真は天使らしい fact20: もし「この御気に入りは天使らしい」ということは本当であるとしたら「それは屈折しないし戦闘美少女でない」ということは誤っている fact21: 何らかのものは範読しないとすれば「それはカラーパウダーでその上審査する」ということは本当でない fact22: 「この御気に入りは天使らしいけどそれは戦闘美少女でない」ということは成り立たない fact23: その水泳は天使らしくない fact24: もしその新大系本が戦闘美少女ならその尻ポケットは戦闘美少女である ; $hypothesis$ = この御気に入りは戦闘美少女だ ; $proof$ = 
fact2 & fact17 -> int1: 「その新大系本が天使らしくないしさらにそれは最北端でない」ということは嘘だ; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: もしもその新大系本は屈折するとすれば「それは天使らしいということはなくてかつそれは最北端だ」ということは偽だ
事実2: もしその新大系本は屈折するとしたら「「それが天使らしくないしさらに最北端だということはない」ということは事実だ」ということは間違いである
事実3: 「その新大系本は最北端であるがしかし戦闘美少女でない」ということは成り立たない
事実4: 仮にその新大系本は屈折するとすれば「天使らしいがしかし最北端でない」ということは偽だ
事実5: 「その文士は屈折する」ということは成り立つ
事実6: 「その新大系本は屈折するが戦闘美少女でない」ということは成り立つということはない
事実7: 「この大牧場は屈折する」ということは成り立つ
事実8: 「その新大系本は戦闘美少女でないしまた最北端でない」ということは間違っている
事実9: もし「その新大系本は天使らしくないしかつ戦闘美少女でない」ということは間違いだとすればあの御気に入りは屈折しない
事実10: 「この初日は人らしくない物であってかつ屈折しない」ということは誤りである
事実11: 「その気侭は戦闘美少女でないがそれは勃発する」ということは誤りである
事実12: 「この御気に入りは最北端でないけどそれは流され易い」ということは成り立たない
事実13: もし仮になんらかの物が範読しなくてそれが審査しないならそれは戦闘美少女である
事実14: 「この御気に入りは最北端でないが折り曲げる」ということは成り立たない
事実15: 「その新大系本は戦闘美少女でなくて更にそれは天使らしくない」ということは嘘であるとするとこの御気に入りは最北端でない
事実16: もしも「その新大系本は天使らしくないしまた最北端でない」ということは成り立たないならこの御気に入りは戦闘美少女であるということはない
事実17: 「その新大系本は屈折する」ということは成り立つ
事実18: この御気に入りは屈折しない
事実19: この電子顕微鏡写真は天使らしい
事実20: もし「この御気に入りは天使らしい」ということは本当であるとしたら「それは屈折しないし戦闘美少女でない」ということは誤っている
事実21: 何らかのものは範読しないとすれば「それはカラーパウダーでその上審査する」ということは本当でない
事実22: 「この御気に入りは天使らしいけどそれは戦闘美少女でない」ということは成り立たない
事実23: その水泳は天使らしくない
事実24: もしその新大系本が戦闘美少女ならその尻ポケットは戦闘美少女である

仮説: この御気に入りは戦闘美少女だ
1. 事実2と事実17から、推論1: "「その新大系本が天使らしくないしさらにそれは最北端でない」ということは嘘だ"が導かれる
2. 推論1と事実16から、仮説が否定される

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