あの低頻度は甲斐甲斐しかない
fact1: もしその左大臣が防止出来ればあの低頻度は甲斐甲斐しい fact2: 「その芝刈りは通り易いが如実でない」ということは成り立たない fact3: 仮に「その芝刈りは通り易くないし如実だということはない」ということは誤っているとすればあの編集部注は防止出来る fact4: その芝刈りは防止出来るかまたはそれは通り易くないかまたは両方である fact5: 「その芝刈りは通り易くないしかつ如実でない」ということは偽である fact6: もしその左大臣が防止出来るかまたはそれが男っぽいということはないかあるいは両方だとするとあの低頻度は甲斐甲斐しい fact7: 「「その芝刈りは通り易いということはないが如実だ」ということは確かでない」ということは成り立つ fact8: もし仮にその編集部注が防止出来るとしたらその左大臣は防止出来るかまたは男っぽくないか両方ともである
fact3 & fact5 -> int1: その編集部注は防止出来る; int1 & fact8 -> int2: その左大臣は防止出来るかあるいは男っぽくない; int2 & fact6 -> hypothesis;
fact3 & fact5 -> int1: {B}{b}; int1 & fact8 -> int2: ({B}{c} v ¬{C}{c}); int2 & fact6 -> hypothesis;
$facts$ = fact1: もしその左大臣が防止出来ればあの低頻度は甲斐甲斐しい fact2: 「その芝刈りは通り易いが如実でない」ということは成り立たない fact3: 仮に「その芝刈りは通り易くないし如実だということはない」ということは誤っているとすればあの編集部注は防止出来る fact4: その芝刈りは防止出来るかまたはそれは通り易くないかまたは両方である fact5: 「その芝刈りは通り易くないしかつ如実でない」ということは偽である fact6: もしその左大臣が防止出来るかまたはそれが男っぽいということはないかあるいは両方だとするとあの低頻度は甲斐甲斐しい fact7: 「「その芝刈りは通り易いということはないが如実だ」ということは確かでない」ということは成り立つ fact8: もし仮にその編集部注が防止出来るとしたらその左大臣は防止出来るかまたは男っぽくないか両方ともである ; $hypothesis$ = あの低頻度は甲斐甲斐しかない ; $proof$ = 
fact3 & fact5 -> int1: その編集部注は防止出来る; int1 & fact8 -> int2: その左大臣は防止出来るかあるいは男っぽくない; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしその左大臣が防止出来ればあの低頻度は甲斐甲斐しい
事実2: 「その芝刈りは通り易いが如実でない」ということは成り立たない
事実3: 仮に「その芝刈りは通り易くないし如実だということはない」ということは誤っているとすればあの編集部注は防止出来る
事実4: その芝刈りは防止出来るかまたはそれは通り易くないかまたは両方である
事実5: 「その芝刈りは通り易くないしかつ如実でない」ということは偽である
事実6: もしその左大臣が防止出来るかまたはそれが男っぽいということはないかあるいは両方だとするとあの低頻度は甲斐甲斐しい
事実7: 「「その芝刈りは通り易いということはないが如実だ」ということは確かでない」ということは成り立つ
事実8: もし仮にその編集部注が防止出来るとしたらその左大臣は防止出来るかまたは男っぽくないか両方ともである

仮説: あの低頻度は甲斐甲斐しかない
1. 事実3と事実5から、推論1: "その編集部注は防止出来る"が導かれる
2. 推論1と事実8から、推論2: "その左大臣は防止出来るかあるいは男っぽくない"が導かれる
3. 推論2と事実6から、仮説が否定される

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