「あの教育計画は見え難い」ということは本当である
fact1: 仮にそのＡセブンが統御でなくて謳歌出来ないならばこの二十四文字は感じ易い fact2: もしもそのＡセブンはＢ君でないとしたらそれは腐敗・堕落するし持ち易い fact3: そのＡセブンは見え難い fact4: もしこの二十四文字が謳歌出来ないならばそのＡセブンは統御でない fact5: もしもあるものが見え難くないとするとそれは統御であるし謳歌出来る fact6: この二十四文字は感じ易い fact7: もしもそのＡセブンが統御だが感じ易くないとしたらあの教育計画は見え難い fact8: この二十四文字は謳歌出来ない fact9: そのＡセブンが謳歌出来ないしそれにそれが見え難いということはないとするとあの教育計画は統御である fact10: そのＡセブンはＢ君でない fact11: 仮になにかは目撃するということはないとしたら「それは売り難くてかつ謳歌出来る」ということは誤っている fact12: あの教育計画は生産過剰である fact13: そのＡセブンは謳歌出来る fact14: 「仮にあの教育計画が見え難くなくてそれは感じ易くないとすると「そのＡセブンは統御だ」ということは成り立つ」ということは本当だ fact15: 持ち易いものはココナツ課徴金でないし離陸しない fact16: もしあの教育計画が統御だということはないとするとそのＡセブンは感じ易くなくて加えて見え難くない fact17: そのＡセブンは統御でない fact18: あの澱粉質は謳歌出来ない fact19: もしも「ココナツ課徴金でないしその上離陸しない」ものがあればこの二十四文字は目撃しない fact20: 仮にこの二十四文字が謳歌出来ないとしたらそのＡセブンは統御でないし感じ易くない fact21: そのＡセブンが統御でないししかも感じ易くないとしたらあの教育計画は見え難い
fact20 & fact8 -> int1: そのＡセブンは統御だということはないし感じ易いということはない; int1 & fact21 -> hypothesis;
その涎は統御だ
fact22 -> int2: 仮にその涎が見え難いということはないとすればそれは統御で謳歌出来る;
$facts$ = fact1: 仮にそのＡセブンが統御でなくて謳歌出来ないならばこの二十四文字は感じ易い fact2: もしもそのＡセブンはＢ君でないとしたらそれは腐敗・堕落するし持ち易い fact3: そのＡセブンは見え難い fact4: もしこの二十四文字が謳歌出来ないならばそのＡセブンは統御でない fact5: もしもあるものが見え難くないとするとそれは統御であるし謳歌出来る fact6: この二十四文字は感じ易い fact7: もしもそのＡセブンが統御だが感じ易くないとしたらあの教育計画は見え難い fact8: この二十四文字は謳歌出来ない fact9: そのＡセブンが謳歌出来ないしそれにそれが見え難いということはないとするとあの教育計画は統御である fact10: そのＡセブンはＢ君でない fact11: 仮になにかは目撃するということはないとしたら「それは売り難くてかつ謳歌出来る」ということは誤っている fact12: あの教育計画は生産過剰である fact13: そのＡセブンは謳歌出来る fact14: 「仮にあの教育計画が見え難くなくてそれは感じ易くないとすると「そのＡセブンは統御だ」ということは成り立つ」ということは本当だ fact15: 持ち易いものはココナツ課徴金でないし離陸しない fact16: もしあの教育計画が統御だということはないとするとそのＡセブンは感じ易くなくて加えて見え難くない fact17: そのＡセブンは統御でない fact18: あの澱粉質は謳歌出来ない fact19: もしも「ココナツ課徴金でないしその上離陸しない」ものがあればこの二十四文字は目撃しない fact20: 仮にこの二十四文字が謳歌出来ないとしたらそのＡセブンは統御でないし感じ易くない fact21: そのＡセブンが統御でないししかも感じ易くないとしたらあの教育計画は見え難い ; $hypothesis$ = 「あの教育計画は見え難い」ということは本当である ; $proof$ = 
fact20 & fact8 -> int1: そのＡセブンは統御だということはないし感じ易いということはない; int1 & fact21 -> hypothesis; __PROVED__
事実1: 仮にそのＡセブンが統御でなくて謳歌出来ないならばこの二十四文字は感じ易い
事実2: もしもそのＡセブンはＢ君でないとしたらそれは腐敗・堕落するし持ち易い
事実3: そのＡセブンは見え難い
事実4: もしこの二十四文字が謳歌出来ないならばそのＡセブンは統御でない
事実5: もしもあるものが見え難くないとするとそれは統御であるし謳歌出来る
事実6: この二十四文字は感じ易い
事実7: もしもそのＡセブンが統御だが感じ易くないとしたらあの教育計画は見え難い
事実8: この二十四文字は謳歌出来ない
事実9: そのＡセブンが謳歌出来ないしそれにそれが見え難いということはないとするとあの教育計画は統御である
事実10: そのＡセブンはＢ君でない
事実11: 仮になにかは目撃するということはないとしたら「それは売り難くてかつ謳歌出来る」ということは誤っている
事実12: あの教育計画は生産過剰である
事実13: そのＡセブンは謳歌出来る
事実14: 「仮にあの教育計画が見え難くなくてそれは感じ易くないとすると「そのＡセブンは統御だ」ということは成り立つ」ということは本当だ
事実15: 持ち易いものはココナツ課徴金でないし離陸しない
事実16: もしあの教育計画が統御だということはないとするとそのＡセブンは感じ易くなくて加えて見え難くない
事実17: そのＡセブンは統御でない
事実18: あの澱粉質は謳歌出来ない
事実19: もしも「ココナツ課徴金でないしその上離陸しない」ものがあればこの二十四文字は目撃しない
事実20: 仮にこの二十四文字が謳歌出来ないとしたらそのＡセブンは統御でないし感じ易くない
事実21: そのＡセブンが統御でないししかも感じ易くないとしたらあの教育計画は見え難い

仮説: 「あの教育計画は見え難い」ということは本当である
1. 事実20と事実8から、推論1: "そのＡセブンは統御だということはないし感じ易いということはない"が導かれる
2. 推論1と事実21から、仮説が導かれる

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