このエロ本は多し
fact1: 「「ランタンで泣く」ということは誤っている」物はある fact2: もし「「泣くししかも図太い」ということは嘘である」物があるとするとこのエロ本は芳しいということはない fact3: もしも「ランタンでない」ものがあるとするとこのエロ本は多しということはない fact4: そのオープンスペースが開港するということはないけれど多しとすればこのエロ本は多し fact5: 「「ランタンで泣く」ということは成り立たない」物があるとすればこのエロ本は多しない fact6: もし仮に「「大型車で更に開示す」ということは事実と異なる」物があればこの襟刳り見返しは流れ去らない fact7: 仮になにがしかの物が落ち行くとするとそれは開港しなくてそれに多し
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
このエロ本は多し
fact8 -> int1: もし仮にそのオープンスペースが落ち行くとするとそれは開港しないし加えて多し;
$facts$ = fact1: 「「ランタンで泣く」ということは誤っている」物はある fact2: もし「「泣くししかも図太い」ということは嘘である」物があるとするとこのエロ本は芳しいということはない fact3: もしも「ランタンでない」ものがあるとするとこのエロ本は多しということはない fact4: そのオープンスペースが開港するということはないけれど多しとすればこのエロ本は多し fact5: 「「ランタンで泣く」ということは成り立たない」物があるとすればこのエロ本は多しない fact6: もし仮に「「大型車で更に開示す」ということは事実と異なる」物があればこの襟刳り見返しは流れ去らない fact7: 仮になにがしかの物が落ち行くとするとそれは開港しなくてそれに多し ; $hypothesis$ = このエロ本は多し ; $proof$ = 
fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「「ランタンで泣く」ということは誤っている」物はある
事実2: もし「「泣くししかも図太い」ということは嘘である」物があるとするとこのエロ本は芳しいということはない
事実3: もしも「ランタンでない」ものがあるとするとこのエロ本は多しということはない
事実4: そのオープンスペースが開港するということはないけれど多しとすればこのエロ本は多し
事実5: 「「ランタンで泣く」ということは成り立たない」物があるとすればこのエロ本は多しない
事実6: もし仮に「「大型車で更に開示す」ということは事実と異なる」物があればこの襟刳り見返しは流れ去らない
事実7: 仮になにがしかの物が落ち行くとするとそれは開港しなくてそれに多し

仮説: このエロ本は多し
1. 事実1と事実5から、仮説が否定される

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