その調剤はバウンディングボックスでなくてそれはイチジクだということはない
fact1: もし仮になにがしかの物が除名するなら開隊する fact2: もし仮にこの詰め込み型が除名するとすればその調剤は除名する fact3: 紳士らしいものは除名する fact4: 仮になにがしかのものが開隊するならそれはバウンディングボックスでないしさらにそれはイチジクでない fact5: この詰め込み型は池田家でブレイクしない fact6: その調剤は患児自身であるがそれはイチジクだということはない fact7: もしその調剤は開隊しないなら「それはバウンディングボックスでなくて更にイチジクでない」ということは間違いである fact8: 仮にその調剤は開隊しないならば「イチジクであるしそれにブレイクしない」ということは成り立たない fact9: もしもその調剤がブレイクするけれど池田家でないならばこの詰め込み型はバウンディングボックスでない fact10: 「その調剤はバウンディングボックスでない一方でイチジクである」ということは間違いだ fact11: 「紳士らしくない」物はある fact12: 仮にこの詰め込み型は池田家だけれどブレイクしないならば「その調剤は開隊しない」ということは確かだ fact13: 「その調剤はバウンディングボックスでないがしかしそれはブレイクする」ということは嘘だ fact14: この詰め込み型は池田家だ fact15: 「この詰め込み型はバウンディングボックスであるがしかし池田家だということはない」ということは成り立たない fact16: もし仮に「この詰め込み型は開隊しない」ということは真実だとしたら「ブレイクしないがしかしバウンディングボックスである」ということは成り立たない fact17: 「この詰め込み型はべた付き易くない一方で与し易い」ということは成り立たない fact18: もし仮にこの詰め込み型は開隊しないとすると「それは池田家でないしイチジクでない」ということは偽だ fact19: もしもこの詰め込み型はブレイクしないなら「それは池田家でないし更に開隊する」ということは間違っている fact20: もしもその調剤は開隊しないなら「それがバウンディングボックスだということはないしさらにイチジクである」ということは偽である
fact12 & fact5 -> int1: その調剤は開隊しない; int1 & fact7 -> hypothesis;
あの基礎科学はイチジクであるが仰角撮影像でない
$facts$ = fact1: もし仮になにがしかの物が除名するなら開隊する fact2: もし仮にこの詰め込み型が除名するとすればその調剤は除名する fact3: 紳士らしいものは除名する fact4: 仮になにがしかのものが開隊するならそれはバウンディングボックスでないしさらにそれはイチジクでない fact5: この詰め込み型は池田家でブレイクしない fact6: その調剤は患児自身であるがそれはイチジクだということはない fact7: もしその調剤は開隊しないなら「それはバウンディングボックスでなくて更にイチジクでない」ということは間違いである fact8: 仮にその調剤は開隊しないならば「イチジクであるしそれにブレイクしない」ということは成り立たない fact9: もしもその調剤がブレイクするけれど池田家でないならばこの詰め込み型はバウンディングボックスでない fact10: 「その調剤はバウンディングボックスでない一方でイチジクである」ということは間違いだ fact11: 「紳士らしくない」物はある fact12: 仮にこの詰め込み型は池田家だけれどブレイクしないならば「その調剤は開隊しない」ということは確かだ fact13: 「その調剤はバウンディングボックスでないがしかしそれはブレイクする」ということは嘘だ fact14: この詰め込み型は池田家だ fact15: 「この詰め込み型はバウンディングボックスであるがしかし池田家だということはない」ということは成り立たない fact16: もし仮に「この詰め込み型は開隊しない」ということは真実だとしたら「ブレイクしないがしかしバウンディングボックスである」ということは成り立たない fact17: 「この詰め込み型はべた付き易くない一方で与し易い」ということは成り立たない fact18: もし仮にこの詰め込み型は開隊しないとすると「それは池田家でないしイチジクでない」ということは偽だ fact19: もしもこの詰め込み型はブレイクしないなら「それは池田家でないし更に開隊する」ということは間違っている fact20: もしもその調剤は開隊しないなら「それがバウンディングボックスだということはないしさらにイチジクである」ということは偽である ; $hypothesis$ = その調剤はバウンディングボックスでなくてそれはイチジクだということはない ; $proof$ = 
fact12 & fact5 -> int1: その調剤は開隊しない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物が除名するなら開隊する
事実2: もし仮にこの詰め込み型が除名するとすればその調剤は除名する
事実3: 紳士らしいものは除名する
事実4: 仮になにがしかのものが開隊するならそれはバウンディングボックスでないしさらにそれはイチジクでない
事実5: この詰め込み型は池田家でブレイクしない
事実6: その調剤は患児自身であるがそれはイチジクだということはない
事実7: もしその調剤は開隊しないなら「それはバウンディングボックスでなくて更にイチジクでない」ということは間違いである
事実8: 仮にその調剤は開隊しないならば「イチジクであるしそれにブレイクしない」ということは成り立たない
事実9: もしもその調剤がブレイクするけれど池田家でないならばこの詰め込み型はバウンディングボックスでない
事実10: 「その調剤はバウンディングボックスでない一方でイチジクである」ということは間違いだ
事実11: 「紳士らしくない」物はある
事実12: 仮にこの詰め込み型は池田家だけれどブレイクしないならば「その調剤は開隊しない」ということは確かだ
事実13: 「その調剤はバウンディングボックスでないがしかしそれはブレイクする」ということは嘘だ
事実14: この詰め込み型は池田家だ
事実15: 「この詰め込み型はバウンディングボックスであるがしかし池田家だということはない」ということは成り立たない
事実16: もし仮に「この詰め込み型は開隊しない」ということは真実だとしたら「ブレイクしないがしかしバウンディングボックスである」ということは成り立たない
事実17: 「この詰め込み型はべた付き易くない一方で与し易い」ということは成り立たない
事実18: もし仮にこの詰め込み型は開隊しないとすると「それは池田家でないしイチジクでない」ということは偽だ
事実19: もしもこの詰め込み型はブレイクしないなら「それは池田家でないし更に開隊する」ということは間違っている
事実20: もしもその調剤は開隊しないなら「それがバウンディングボックスだということはないしさらにイチジクである」ということは偽である

仮説: その調剤はバウンディングボックスでなくてそれはイチジクだということはない
1. 事実12と事実5から、推論1: "その調剤は開隊しない"が導かれる
2. 推論1と事実7から、仮説が否定される

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