「このトラブル事例は組織化するかそれは仲介するかもしくはどちらもである」ということは偽だ
fact1: このトラブル事例は言い返す fact2: あの加圧力はけたたましいということはない fact3: 仮にこのトラブル事例はヘイケ蛍でないとするとそれはけたたましいしかつ組織化する fact4: このトラブル事例は苦学するかあるいはそれはけたたましいかもしくは両方である fact5: なんらかの物が弁別しないとすれば倹約出来るし更に仲介する fact6: あの御化けはヘイケ蛍でない fact7: もしもこのトラブル事例は蕎麦粉であるとしたらそれはヘイケ蛍だ fact8: もしこのトラブル事例はハード部門でないとするとそれは仲介するしそれにリレーする fact9: このトラブル事例は随行するししかもじんじんする fact10: もしこの各保険はヘイケ蛍でないならば「このトラブル事例は組織化するかあるいは仲介するかもしくはどちらもである」ということは成り立つということはない fact11: もしも「このトラブル事例は弁別するし駆け入る」ということは正しいということはないならば弁別しない fact12: その旧村はけたたましい fact13: このトラブル事例はヘイケ蛍でない fact14: もしもこのトラブル事例がヘイケ蛍であるし倹約出来るならあの客間はヘイケ蛍であるということはない fact15: この狭小化はココログナビであるか抗議するかあるいは両方だ
fact3 & fact13 -> int1: このトラブル事例はけたたましいしそれは組織化する; int1 -> int2: このトラブル事例は組織化する; int2 -> hypothesis;
fact3 & fact13 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 -> hypothesis;
あの客間はヘイケ蛍であるということはない
fact17 -> int3: もしもこのトラブル事例が弁別しないなら倹約出来るしその上仲介する;
$facts$ = fact1: このトラブル事例は言い返す fact2: あの加圧力はけたたましいということはない fact3: 仮にこのトラブル事例はヘイケ蛍でないとするとそれはけたたましいしかつ組織化する fact4: このトラブル事例は苦学するかあるいはそれはけたたましいかもしくは両方である fact5: なんらかの物が弁別しないとすれば倹約出来るし更に仲介する fact6: あの御化けはヘイケ蛍でない fact7: もしもこのトラブル事例は蕎麦粉であるとしたらそれはヘイケ蛍だ fact8: もしこのトラブル事例はハード部門でないとするとそれは仲介するしそれにリレーする fact9: このトラブル事例は随行するししかもじんじんする fact10: もしこの各保険はヘイケ蛍でないならば「このトラブル事例は組織化するかあるいは仲介するかもしくはどちらもである」ということは成り立つということはない fact11: もしも「このトラブル事例は弁別するし駆け入る」ということは正しいということはないならば弁別しない fact12: その旧村はけたたましい fact13: このトラブル事例はヘイケ蛍でない fact14: もしもこのトラブル事例がヘイケ蛍であるし倹約出来るならあの客間はヘイケ蛍であるということはない fact15: この狭小化はココログナビであるか抗議するかあるいは両方だ ; $hypothesis$ = 「このトラブル事例は組織化するかそれは仲介するかもしくはどちらもである」ということは偽だ ; $proof$ = 
fact3 & fact13 -> int1: このトラブル事例はけたたましいしそれは組織化する; int1 -> int2: このトラブル事例は組織化する; int2 -> hypothesis; __DISPROVED__
事実1: このトラブル事例は言い返す
事実2: あの加圧力はけたたましいということはない
事実3: 仮にこのトラブル事例はヘイケ蛍でないとするとそれはけたたましいしかつ組織化する
事実4: このトラブル事例は苦学するかあるいはそれはけたたましいかもしくは両方である
事実5: なんらかの物が弁別しないとすれば倹約出来るし更に仲介する
事実6: あの御化けはヘイケ蛍でない
事実7: もしもこのトラブル事例は蕎麦粉であるとしたらそれはヘイケ蛍だ
事実8: もしこのトラブル事例はハード部門でないとするとそれは仲介するしそれにリレーする
事実9: このトラブル事例は随行するししかもじんじんする
事実10: もしこの各保険はヘイケ蛍でないならば「このトラブル事例は組織化するかあるいは仲介するかもしくはどちらもである」ということは成り立つということはない
事実11: もしも「このトラブル事例は弁別するし駆け入る」ということは正しいということはないならば弁別しない
事実12: その旧村はけたたましい
事実13: このトラブル事例はヘイケ蛍でない
事実14: もしもこのトラブル事例がヘイケ蛍であるし倹約出来るならあの客間はヘイケ蛍であるということはない
事実15: この狭小化はココログナビであるか抗議するかあるいは両方だ

仮説: 「このトラブル事例は組織化するかそれは仲介するかもしくはどちらもである」ということは偽だ
1. 事実3と事実13から、推論1: "このトラブル事例はけたたましいしそれは組織化する"が導かれる
2. 推論1から、推論2: "このトラブル事例は組織化する"が導かれる
3. 推論2から、仮説が否定される

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