その百姓は分かり難くないしそれは疼かない
fact1: もし「なにがしかのものは屈従するがそれは鍔しない」ということは事実と異なるとすると点ぜない fact2: 仮に何かは点ぜないとすると「それは分かり難くないししかも疼くということはない」ということは成り立たない fact3: 「その上の句は分かり難いしおまけにそれは演算だ」ということは成り立たない fact4: 「「その上の句は演算であるしその上それはやんごとない」ということは真実だ」ということは誤りである fact5: もしも「その百姓は疼くしまたやんごとない」ということは嘘ならその部隊は演算でない fact6: その部隊はやんごとなくない fact7: もしその上の句が点ぜないし加えて鍔しないとすればその百姓は点ずるということはない fact8: もし仮にその部隊が疼かないならその百姓は分かり難くないしその上疼かない fact9: 仮にその部隊が疼くということはないならその百姓は疼くということはない fact10: もしあのアウトラインＳがサンドペーパーでないとするとその上の句は屈従するということはない fact11: 仮に「あのアウトラインＳは点ずるということはない」ということは成り立てばその部隊は疼かない fact12: 仮に「その上の句は点ずるしおまけにやんごとない」ということは成り立たないならあのアウトラインＳは演算でない fact13: 「その上の句は演算であるしそれはやんごとない」ということは事実と異なるならあのアウトラインＳは点ぜない fact14: もしもその部隊がサンドペーパーだということはないとしたらあのアウトラインＳは屈従するということはない fact15: 「その百姓は点ずるしさらに疼く」ということは成り立たない fact16: もし仮に「その上の句はやんごとなくない」ということは成り立つならばあのアウトラインＳは点ぜない fact17: その百姓が演算だということはないとすればその上の句は分かり難くない fact18: この秘密クラブは不活化するということはないししかも演算でない fact19: 「その百姓は疼かない」ということは偽でない
fact13 & fact4 -> int1: 「あのアウトラインＳは点ぜない」ということは間違いでない; int1 & fact11 -> int2: その部隊は疼かない; int2 & fact8 -> hypothesis;
「その百姓は分かり難くないしまた疼かない」ということは間違いである
fact20 -> int3: もしも「その百姓は屈従するがしかし鍔するということはない」ということは成り立たないなら点ずるということはない;
$facts$ = fact1: もし「なにがしかのものは屈従するがそれは鍔しない」ということは事実と異なるとすると点ぜない fact2: 仮に何かは点ぜないとすると「それは分かり難くないししかも疼くということはない」ということは成り立たない fact3: 「その上の句は分かり難いしおまけにそれは演算だ」ということは成り立たない fact4: 「「その上の句は演算であるしその上それはやんごとない」ということは真実だ」ということは誤りである fact5: もしも「その百姓は疼くしまたやんごとない」ということは嘘ならその部隊は演算でない fact6: その部隊はやんごとなくない fact7: もしその上の句が点ぜないし加えて鍔しないとすればその百姓は点ずるということはない fact8: もし仮にその部隊が疼かないならその百姓は分かり難くないしその上疼かない fact9: 仮にその部隊が疼くということはないならその百姓は疼くということはない fact10: もしあのアウトラインＳがサンドペーパーでないとするとその上の句は屈従するということはない fact11: 仮に「あのアウトラインＳは点ずるということはない」ということは成り立てばその部隊は疼かない fact12: 仮に「その上の句は点ずるしおまけにやんごとない」ということは成り立たないならあのアウトラインＳは演算でない fact13: 「その上の句は演算であるしそれはやんごとない」ということは事実と異なるならあのアウトラインＳは点ぜない fact14: もしもその部隊がサンドペーパーだということはないとしたらあのアウトラインＳは屈従するということはない fact15: 「その百姓は点ずるしさらに疼く」ということは成り立たない fact16: もし仮に「その上の句はやんごとなくない」ということは成り立つならばあのアウトラインＳは点ぜない fact17: その百姓が演算だということはないとすればその上の句は分かり難くない fact18: この秘密クラブは不活化するということはないししかも演算でない fact19: 「その百姓は疼かない」ということは偽でない ; $hypothesis$ = その百姓は分かり難くないしそれは疼かない ; $proof$ = 
fact13 & fact4 -> int1: 「あのアウトラインＳは点ぜない」ということは間違いでない; int1 & fact11 -> int2: その部隊は疼かない; int2 & fact8 -> hypothesis; __PROVED__
事実1: もし「なにがしかのものは屈従するがそれは鍔しない」ということは事実と異なるとすると点ぜない
事実2: 仮に何かは点ぜないとすると「それは分かり難くないししかも疼くということはない」ということは成り立たない
事実3: 「その上の句は分かり難いしおまけにそれは演算だ」ということは成り立たない
事実4: 「「その上の句は演算であるしその上それはやんごとない」ということは真実だ」ということは誤りである
事実5: もしも「その百姓は疼くしまたやんごとない」ということは嘘ならその部隊は演算でない
事実6: その部隊はやんごとなくない
事実7: もしその上の句が点ぜないし加えて鍔しないとすればその百姓は点ずるということはない
事実8: もし仮にその部隊が疼かないならその百姓は分かり難くないしその上疼かない
事実9: 仮にその部隊が疼くということはないならその百姓は疼くということはない
事実10: もしあのアウトラインＳがサンドペーパーでないとするとその上の句は屈従するということはない
事実11: 仮に「あのアウトラインＳは点ずるということはない」ということは成り立てばその部隊は疼かない
事実12: 仮に「その上の句は点ずるしおまけにやんごとない」ということは成り立たないならあのアウトラインＳは演算でない
事実13: 「その上の句は演算であるしそれはやんごとない」ということは事実と異なるならあのアウトラインＳは点ぜない
事実14: もしもその部隊がサンドペーパーだということはないとしたらあのアウトラインＳは屈従するということはない
事実15: 「その百姓は点ずるしさらに疼く」ということは成り立たない
事実16: もし仮に「その上の句はやんごとなくない」ということは成り立つならばあのアウトラインＳは点ぜない
事実17: その百姓が演算だということはないとすればその上の句は分かり難くない
事実18: この秘密クラブは不活化するということはないししかも演算でない
事実19: 「その百姓は疼かない」ということは偽でない

仮説: その百姓は分かり難くないしそれは疼かない
1. 事実13と事実4から、推論1: "「あのアウトラインＳは点ぜない」ということは間違いでない"が導かれる
2. 推論1と事実11から、推論2: "その部隊は疼かない"が導かれる
3. 推論2と事実8から、仮説が導かれる

よって、仮説が証明されました。