その記録項目は翻す
fact1: その作用積分Ｓは見難い fact2: その記録項目はっ早い fact3: 「見難い物は翻す」ということは成り立つ fact4: もし仮にその記録項目は歩き易いがしかし厚ぼったくないとすれば見難い fact5: 「その東半部は歩き易い」ということは正しい fact6: もし仮にその東半部が平たくないとするとその約款は歩き易い fact7: もしその作用積分Ｓが見難いならばその約款は厚ぼったい fact8: その東半部は平たいかあるいはそれはっ早いかまたは両方である fact9: その東半部は平たくないかもしくはっ早いかあるいはどちらもである fact10: もし仮にその約款が厚ぼったくてそれが歩き易いとするとその記録項目は翻すということはない fact11: 仮にその東半部が平たくないかまたはっ早いか両方ともならその約款は歩き易い
fact7 & fact1 -> int1: その約款は厚ぼったい; fact11 & fact9 -> int2: その約款は歩き易い; int1 & int2 -> int3: その約款は厚ぼったくてさらに歩き易い; int3 & fact10 -> hypothesis;
その記録項目は翻す
fact13 -> int4: もしもその記録項目が見難いとしたらそれは翻す;
$facts$ = fact1: その作用積分Ｓは見難い fact2: その記録項目はっ早い fact3: 「見難い物は翻す」ということは成り立つ fact4: もし仮にその記録項目は歩き易いがしかし厚ぼったくないとすれば見難い fact5: 「その東半部は歩き易い」ということは正しい fact6: もし仮にその東半部が平たくないとするとその約款は歩き易い fact7: もしその作用積分Ｓが見難いならばその約款は厚ぼったい fact8: その東半部は平たいかあるいはそれはっ早いかまたは両方である fact9: その東半部は平たくないかもしくはっ早いかあるいはどちらもである fact10: もし仮にその約款が厚ぼったくてそれが歩き易いとするとその記録項目は翻すということはない fact11: 仮にその東半部が平たくないかまたはっ早いか両方ともならその約款は歩き易い ; $hypothesis$ = その記録項目は翻す ; $proof$ = 
fact7 & fact1 -> int1: その約款は厚ぼったい; fact11 & fact9 -> int2: その約款は歩き易い; int1 & int2 -> int3: その約款は厚ぼったくてさらに歩き易い; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: その作用積分Ｓは見難い
事実2: その記録項目はっ早い
事実3: 「見難い物は翻す」ということは成り立つ
事実4: もし仮にその記録項目は歩き易いがしかし厚ぼったくないとすれば見難い
事実5: 「その東半部は歩き易い」ということは正しい
事実6: もし仮にその東半部が平たくないとするとその約款は歩き易い
事実7: もしその作用積分Ｓが見難いならばその約款は厚ぼったい
事実8: その東半部は平たいかあるいはそれはっ早いかまたは両方である
事実9: その東半部は平たくないかもしくはっ早いかあるいはどちらもである
事実10: もし仮にその約款が厚ぼったくてそれが歩き易いとするとその記録項目は翻すということはない
事実11: 仮にその東半部が平たくないかまたはっ早いか両方ともならその約款は歩き易い

仮説: その記録項目は翻す
1. 事実7と事実1から、推論1: "その約款は厚ぼったい"が導かれる
2. 事実11と事実9から、推論2: "その約款は歩き易い"が導かれる
3. 推論1と推論2から、推論3: "その約款は厚ぼったくてさらに歩き易い"が導かれる
4. 推論3と事実10から、仮説が否定される

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