「「もしも「御挨拶しないか投与するかあるいは両方ともだ」ということは成り立たないなら義人だということはない」物はある」ということは成り立つということはない
fact1: 「もし仮に「御挨拶するかもしくは投与するかあるいはどちらもだ」ということは成り立つということはないとすれば義人でない」物はある fact2: もし仮になにがしかの物が御挨拶しないかもしくはそれが投与すればそれは義人でない fact3: もし仮にとあるものがトリコデルマでないか禿げるかもしくはどちらもだとしたらそれは赤しということはない fact4: 「もし「好ましくないか大陸横断鉄道であるかあるいは両方である」ということは確かでないなら温くない」物はある fact5: 「御挨拶しないか投与するか両方ともであるなら義人だということはない」ものはある fact6: もし「あの画廊は慕わしいということはないかもしくは投与するかもしくはどちらもである」ということは嘘であるとしたら私淑しない fact7: もし仮に「その第六種特別約款は御挨拶するかあるいはそれは投与するかまたは両方ともだ」ということは成り立つということはないならばそれは義人だということはない fact8: 「仮に「御挨拶しないかもしくは投与するかあるいは両方ともである」ということは成り立たないとすれば義人である」ものはある fact9: もし「なにかは御挨拶しないか投与する」ということは真実だということはないならば義人でない fact10: もしも「その第六種特別約款は御挨拶しないかあるいはそれは投与する」ということは成り立たないとしたら義人だ fact11: もしも「なにがしかの物は御挨拶するということはないかまたは投与するかあるいはどちらもである」ということは真実でないとすると「義人だ」ということは正しい fact12: 「なんらかの物は御挨拶するかそれは投与する」ということは誤りであるならばそれは義人だということはない fact13: その第六種特別約款が御挨拶しないかそれは投与するか両方であるならそれは義人でない
fact9 -> int1: 仮に「その第六種特別約款は御挨拶するということはないかあるいは投与するか両方ともである」ということは誤りならそれは義人でない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「御挨拶するかもしくは投与するかあるいはどちらもだ」ということは成り立つということはないとすれば義人でない」物はある fact2: もし仮になにがしかの物が御挨拶しないかもしくはそれが投与すればそれは義人でない fact3: もし仮にとあるものがトリコデルマでないか禿げるかもしくはどちらもだとしたらそれは赤しということはない fact4: 「もし「好ましくないか大陸横断鉄道であるかあるいは両方である」ということは確かでないなら温くない」物はある fact5: 「御挨拶しないか投与するか両方ともであるなら義人だということはない」ものはある fact6: もし「あの画廊は慕わしいということはないかもしくは投与するかもしくはどちらもである」ということは嘘であるとしたら私淑しない fact7: もし仮に「その第六種特別約款は御挨拶するかあるいはそれは投与するかまたは両方ともだ」ということは成り立つということはないならばそれは義人だということはない fact8: 「仮に「御挨拶しないかもしくは投与するかあるいは両方ともである」ということは成り立たないとすれば義人である」ものはある fact9: もし「なにかは御挨拶しないか投与する」ということは真実だということはないならば義人でない fact10: もしも「その第六種特別約款は御挨拶しないかあるいはそれは投与する」ということは成り立たないとしたら義人だ fact11: もしも「なにがしかの物は御挨拶するということはないかまたは投与するかあるいはどちらもである」ということは真実でないとすると「義人だ」ということは正しい fact12: 「なんらかの物は御挨拶するかそれは投与する」ということは誤りであるならばそれは義人だということはない fact13: その第六種特別約款が御挨拶しないかそれは投与するか両方であるならそれは義人でない ; $hypothesis$ = 「「もしも「御挨拶しないか投与するかあるいは両方ともだ」ということは成り立たないなら義人だということはない」物はある」ということは成り立つということはない ; $proof$ = 
fact9 -> int1: 仮に「その第六種特別約款は御挨拶するということはないかあるいは投与するか両方ともである」ということは誤りならそれは義人でない; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「御挨拶するかもしくは投与するかあるいはどちらもだ」ということは成り立つということはないとすれば義人でない」物はある
事実2: もし仮になにがしかの物が御挨拶しないかもしくはそれが投与すればそれは義人でない
事実3: もし仮にとあるものがトリコデルマでないか禿げるかもしくはどちらもだとしたらそれは赤しということはない
事実4: 「もし「好ましくないか大陸横断鉄道であるかあるいは両方である」ということは確かでないなら温くない」物はある
事実5: 「御挨拶しないか投与するか両方ともであるなら義人だということはない」ものはある
事実6: もし「あの画廊は慕わしいということはないかもしくは投与するかもしくはどちらもである」ということは嘘であるとしたら私淑しない
事実7: もし仮に「その第六種特別約款は御挨拶するかあるいはそれは投与するかまたは両方ともだ」ということは成り立つということはないならばそれは義人だということはない
事実8: 「仮に「御挨拶しないかもしくは投与するかあるいは両方ともである」ということは成り立たないとすれば義人である」ものはある
事実9: もし「なにかは御挨拶しないか投与する」ということは真実だということはないならば義人でない
事実10: もしも「その第六種特別約款は御挨拶しないかあるいはそれは投与する」ということは成り立たないとしたら義人だ
事実11: もしも「なにがしかの物は御挨拶するということはないかまたは投与するかあるいはどちらもである」ということは真実でないとすると「義人だ」ということは正しい
事実12: 「なんらかの物は御挨拶するかそれは投与する」ということは誤りであるならばそれは義人だということはない
事実13: その第六種特別約款が御挨拶しないかそれは投与するか両方であるならそれは義人でない

仮説: 「「もしも「御挨拶しないか投与するかあるいは両方ともだ」ということは成り立たないなら義人だということはない」物はある」ということは成り立つということはない
1. 事実9から、推論1: "仮に「その第六種特別約款は御挨拶するということはないかあるいは投与するか両方ともである」ということは誤りならそれは義人でない"が導かれる
2. 推論1から、仮説が否定される

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