この同僚執政官はピジン英語でない
fact1: その丸付けはピジン英語でない fact2: もしもなにがしかのものは表現し難いとすると「その丸付けは変わり得るし加えて学校階梯である」ということは真実でない fact3: もし何かは伝え難いとしたら潔い fact4: この物屋は自立しない fact5: 「とあるものはピジン英語でないかもしくは無農薬野菜であるかあるいは両方である」ということは誤りであるならば算しない fact6: もしこの物屋が自立するということはないならばあの掻器は見分け難くなくて加えてそれはドロップでない fact7: もしも「この同僚執政官は伝え難いということはないし潔いということはない」ということは偽なら無農薬野菜でない fact8: もし仮にその丸付けが算するししかもそれが無農薬野菜であるとしたらこの同僚執政官はピジン英語でない fact9: もし「見分け難くないしドロップでない」物はあるなら「この同僚執政官は表現し難い」ということは真実だ fact10: その空港警備は算する fact11: その丸付けが変わり得ないとするとこののげは伝え難いし加えて連隊砲だ fact12: その丸付けは無農薬野菜だ fact13: その丸付けは算する fact14: もしもなにがしかのものは潔いとすれば「それはピジン英語でないかあるいはそれは無農薬野菜であるかどちらもだ」ということは本当でない fact15: もし「あるものは変わり得るしさらに学校階梯だ」ということは成り立たないとするとそれは変わり得ない
fact13 & fact12 -> int1: 「その丸付けは算するししかも無農薬野菜だ」ということは真実だ; int1 & fact8 -> hypothesis;
fact13 & fact12 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> hypothesis;
この同僚執政官はピジン英語である
$facts$ = fact1: その丸付けはピジン英語でない fact2: もしもなにがしかのものは表現し難いとすると「その丸付けは変わり得るし加えて学校階梯である」ということは真実でない fact3: もし何かは伝え難いとしたら潔い fact4: この物屋は自立しない fact5: 「とあるものはピジン英語でないかもしくは無農薬野菜であるかあるいは両方である」ということは誤りであるならば算しない fact6: もしこの物屋が自立するということはないならばあの掻器は見分け難くなくて加えてそれはドロップでない fact7: もしも「この同僚執政官は伝え難いということはないし潔いということはない」ということは偽なら無農薬野菜でない fact8: もし仮にその丸付けが算するししかもそれが無農薬野菜であるとしたらこの同僚執政官はピジン英語でない fact9: もし「見分け難くないしドロップでない」物はあるなら「この同僚執政官は表現し難い」ということは真実だ fact10: その空港警備は算する fact11: その丸付けが変わり得ないとするとこののげは伝え難いし加えて連隊砲だ fact12: その丸付けは無農薬野菜だ fact13: その丸付けは算する fact14: もしもなにがしかのものは潔いとすれば「それはピジン英語でないかあるいはそれは無農薬野菜であるかどちらもだ」ということは本当でない fact15: もし「あるものは変わり得るしさらに学校階梯だ」ということは成り立たないとするとそれは変わり得ない ; $hypothesis$ = この同僚執政官はピジン英語でない ; $proof$ = 
fact13 & fact12 -> int1: 「その丸付けは算するししかも無農薬野菜だ」ということは真実だ; int1 & fact8 -> hypothesis; __PROVED__
事実1: その丸付けはピジン英語でない
事実2: もしもなにがしかのものは表現し難いとすると「その丸付けは変わり得るし加えて学校階梯である」ということは真実でない
事実3: もし何かは伝え難いとしたら潔い
事実4: この物屋は自立しない
事実5: 「とあるものはピジン英語でないかもしくは無農薬野菜であるかあるいは両方である」ということは誤りであるならば算しない
事実6: もしこの物屋が自立するということはないならばあの掻器は見分け難くなくて加えてそれはドロップでない
事実7: もしも「この同僚執政官は伝え難いということはないし潔いということはない」ということは偽なら無農薬野菜でない
事実8: もし仮にその丸付けが算するししかもそれが無農薬野菜であるとしたらこの同僚執政官はピジン英語でない
事実9: もし「見分け難くないしドロップでない」物はあるなら「この同僚執政官は表現し難い」ということは真実だ
事実10: その空港警備は算する
事実11: その丸付けが変わり得ないとするとこののげは伝え難いし加えて連隊砲だ
事実12: その丸付けは無農薬野菜だ
事実13: その丸付けは算する
事実14: もしもなにがしかのものは潔いとすれば「それはピジン英語でないかあるいはそれは無農薬野菜であるかどちらもだ」ということは本当でない
事実15: もし「あるものは変わり得るしさらに学校階梯だ」ということは成り立たないとするとそれは変わり得ない

仮説: この同僚執政官はピジン英語でない
1. 事実13と事実12から、推論1: "「その丸付けは算するししかも無農薬野菜だ」ということは真実だ"が導かれる
2. 推論1と事実8から、仮説が導かれる

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