「この土地整理は夜陰でないかあるいはそれは手緩くない」ということは誤っている
fact1: 仮にその霹靂が引き出せるとすると増長でないけど冗談ぽい fact2: もしもこの滋賀県警が連結リストだとしたらその霹靂は引き出せる fact3: もし何かは増長であるかそれは冗談ぽいかあるいは両方であるなら手緩くない fact4: もし仮にその霹靂が冗談ぽくないならばこの土地整理は増長であるかまたは冗談ぽくないかまたは両方である fact5: その霹靂は嬉しくない fact6: もしとある物は甲高いならば「連結リストだ」ということは確かである fact7: その霹靂は増長だ fact8: もしその霹靂が手緩くないならばあの土地整理は夜陰だということはないか手緩くないかあるいは両方ともである fact9: この土地整理は夜陰であるかまたは手緩いということはないかまたは両方だ fact10: もしその収用等が手緩いかまたは繰り出すかもしくは両方だとするとそれはつま弾くということはない fact11: もしとある物は冗談ぽいとすると「それは手緩いということはない」ということは本当である fact12: もし仮にその霹靂は増長でないとすれば「この土地整理は夜陰であるということはないか手緩くないかどちらもである」ということは真実でない fact13: もし仮にその霹靂が手緩くないならばあの土地整理は夜陰であるか手緩くないかまたは両方だ
fact7 -> int1: その霹靂は増長であるかもしくはそれは冗談ぽい; fact3 -> int2: もしその霹靂は増長であるかもしくは冗談ぽいとすると手緩くない; int1 & int2 -> int3: その霹靂は手緩くない; int3 & fact8 -> hypothesis;
「この土地整理は夜陰でないかまたはそれは手緩くない」ということは成り立たない
fact14 -> int4: もしもこの滋賀県警が甲高いとすれば連結リストだ;
$facts$ = fact1: 仮にその霹靂が引き出せるとすると増長でないけど冗談ぽい fact2: もしもこの滋賀県警が連結リストだとしたらその霹靂は引き出せる fact3: もし何かは増長であるかそれは冗談ぽいかあるいは両方であるなら手緩くない fact4: もし仮にその霹靂が冗談ぽくないならばこの土地整理は増長であるかまたは冗談ぽくないかまたは両方である fact5: その霹靂は嬉しくない fact6: もしとある物は甲高いならば「連結リストだ」ということは確かである fact7: その霹靂は増長だ fact8: もしその霹靂が手緩くないならばあの土地整理は夜陰だということはないか手緩くないかあるいは両方ともである fact9: この土地整理は夜陰であるかまたは手緩いということはないかまたは両方だ fact10: もしその収用等が手緩いかまたは繰り出すかもしくは両方だとするとそれはつま弾くということはない fact11: もしとある物は冗談ぽいとすると「それは手緩いということはない」ということは本当である fact12: もし仮にその霹靂は増長でないとすれば「この土地整理は夜陰であるということはないか手緩くないかどちらもである」ということは真実でない fact13: もし仮にその霹靂が手緩くないならばあの土地整理は夜陰であるか手緩くないかまたは両方だ ; $hypothesis$ = 「この土地整理は夜陰でないかあるいはそれは手緩くない」ということは誤っている ; $proof$ = 
fact7 -> int1: その霹靂は増長であるかもしくはそれは冗談ぽい; fact3 -> int2: もしその霹靂は増長であるかもしくは冗談ぽいとすると手緩くない; int1 & int2 -> int3: その霹靂は手緩くない; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にその霹靂が引き出せるとすると増長でないけど冗談ぽい
事実2: もしもこの滋賀県警が連結リストだとしたらその霹靂は引き出せる
事実3: もし何かは増長であるかそれは冗談ぽいかあるいは両方であるなら手緩くない
事実4: もし仮にその霹靂が冗談ぽくないならばこの土地整理は増長であるかまたは冗談ぽくないかまたは両方である
事実5: その霹靂は嬉しくない
事実6: もしとある物は甲高いならば「連結リストだ」ということは確かである
事実7: その霹靂は増長だ
事実8: もしその霹靂が手緩くないならばあの土地整理は夜陰だということはないか手緩くないかあるいは両方ともである
事実9: この土地整理は夜陰であるかまたは手緩いということはないかまたは両方だ
事実10: もしその収用等が手緩いかまたは繰り出すかもしくは両方だとするとそれはつま弾くということはない
事実11: もしとある物は冗談ぽいとすると「それは手緩いということはない」ということは本当である
事実12: もし仮にその霹靂は増長でないとすれば「この土地整理は夜陰であるということはないか手緩くないかどちらもである」ということは真実でない
事実13: もし仮にその霹靂が手緩くないならばあの土地整理は夜陰であるか手緩くないかまたは両方だ

仮説: 「この土地整理は夜陰でないかあるいはそれは手緩くない」ということは誤っている
1. 事実7から、推論1: "その霹靂は増長であるかもしくはそれは冗談ぽい"が導かれる
2. 事実3から、推論2: "もしその霹靂は増長であるかもしくは冗談ぽいとすると手緩くない"が導かれる
3. 推論1と推論2から、推論3: "その霹靂は手緩くない"が導かれる
4. 推論3と事実8から、仮説が否定される

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