「「「開戦後でない」ということは成り立つとすれば柑橘栽培であるしかつ近寄り難い」物はある」ということは成り立たない
fact1: 「もしも開戦後だとすると柑橘栽培だしさらに近寄り難い」物はある fact2: もし仮にこの国造が開戦後でないとすればそれは柑橘栽培である fact3: なにがしかのものが送り込めないならばそれはインセンティブ効果だしさらに親しみ易い fact4: なんらかのものが開戦後であるならばそれは柑橘栽培でそれは近寄り難い fact5: 何かは開戦後であるということはないならそれは柑橘栽培だし更に近寄り難い fact6: 何らかのものは冷飲しないとしたら「自殺出来るし加えてそれは疑わし」ということは確かだ fact7: 「汚いとすれば追加指定するししかも宿主側な」物はある fact8: もしなにかは開戦後でないなら柑橘栽培だ fact9: 「もしも見え辛いということはないなら運べるしさらに天井裏な」ものはある fact10: もし「この総返済額は大盛況である」ということは誤りだとすると泊まり客だし近寄り難い fact11: もしこの国造は開戦後であるならばそれは柑橘栽培だし近寄り難い fact12: 「もし「開戦後でない」ということは本当であるとすると柑橘栽培である」物はある
fact5 -> int1: この国造が開戦後でないとしたらそれが柑橘栽培だし更にそれは近寄り難い; int1 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もしも開戦後だとすると柑橘栽培だしさらに近寄り難い」物はある fact2: もし仮にこの国造が開戦後でないとすればそれは柑橘栽培である fact3: なにがしかのものが送り込めないならばそれはインセンティブ効果だしさらに親しみ易い fact4: なんらかのものが開戦後であるならばそれは柑橘栽培でそれは近寄り難い fact5: 何かは開戦後であるということはないならそれは柑橘栽培だし更に近寄り難い fact6: 何らかのものは冷飲しないとしたら「自殺出来るし加えてそれは疑わし」ということは確かだ fact7: 「汚いとすれば追加指定するししかも宿主側な」物はある fact8: もしなにかは開戦後でないなら柑橘栽培だ fact9: 「もしも見え辛いということはないなら運べるしさらに天井裏な」ものはある fact10: もし「この総返済額は大盛況である」ということは誤りだとすると泊まり客だし近寄り難い fact11: もしこの国造は開戦後であるならばそれは柑橘栽培だし近寄り難い fact12: 「もし「開戦後でない」ということは本当であるとすると柑橘栽培である」物はある ; $hypothesis$ = 「「「開戦後でない」ということは成り立つとすれば柑橘栽培であるしかつ近寄り難い」物はある」ということは成り立たない ; $proof$ = 
fact5 -> int1: この国造が開戦後でないとしたらそれが柑橘栽培だし更にそれは近寄り難い; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも開戦後だとすると柑橘栽培だしさらに近寄り難い」物はある
事実2: もし仮にこの国造が開戦後でないとすればそれは柑橘栽培である
事実3: なにがしかのものが送り込めないならばそれはインセンティブ効果だしさらに親しみ易い
事実4: なんらかのものが開戦後であるならばそれは柑橘栽培でそれは近寄り難い
事実5: 何かは開戦後であるということはないならそれは柑橘栽培だし更に近寄り難い
事実6: 何らかのものは冷飲しないとしたら「自殺出来るし加えてそれは疑わし」ということは確かだ
事実7: 「汚いとすれば追加指定するししかも宿主側な」物はある
事実8: もしなにかは開戦後でないなら柑橘栽培だ
事実9: 「もしも見え辛いということはないなら運べるしさらに天井裏な」ものはある
事実10: もし「この総返済額は大盛況である」ということは誤りだとすると泊まり客だし近寄り難い
事実11: もしこの国造は開戦後であるならばそれは柑橘栽培だし近寄り難い
事実12: 「もし「開戦後でない」ということは本当であるとすると柑橘栽培である」物はある

仮説: 「「「開戦後でない」ということは成り立つとすれば柑橘栽培であるしかつ近寄り難い」物はある」ということは成り立たない
1. 事実5から、推論1: "この国造が開戦後でないとしたらそれが柑橘栽培だし更にそれは近寄り難い"が導かれる
2. 推論1から、仮説が否定される

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