その英会話学習は人らしくない
fact1: もし仮になんらかの物は賢くないとすれば「それは進捗状況でないしおまけにそれは調べ易くない」ということは本当でない fact2: その英会話学習は賢くないとしたら「調べ易くないけど進捗状況である」ということは間違っている fact3: その補助化学療法は冗談めかす fact4: もしもとあるものはダーチャでないとすると「旨いししかも賢い」ということは成り立たない fact5: もし仮に「なんらかの物は旨くてかつ賢い」ということは偽であるとしたら「賢くない」ということは確かである fact6: その補助化学療法が冗談めかすし凍て付くならそれは再仕上げしない fact7: その補助化学療法は所狭し fact8: その補助化学療法はスクラムである fact9: もし「何らかの物は所狭しということはないしかつスクラムでない」ということは成り立たないなら人らしい fact10: その補助化学療法は凍て付く fact11: もしその補助化学療法が再仕上げしないならばそれはダーチャでないけど低温機である fact12: 仮にその補助化学療法が所狭ししかつスクラムだとすればその英会話学習は人らしくない fact13: もしも「あるものは調べ易いということはない一方でそれは進捗状況だ」ということは成り立たないならば「それは人らしい」ということは成り立つ fact14: 「その平安末は旨くないし更にダーチャでない」ということは偽である fact15: なにかは人らしいとすると「一等地だ一方でスクラムでない」ということは間違いだ fact16: もしもなにかは一等地であるとしたら「所狭くないしかつスクラムでない」ということは事実と異なる fact17: もしもその英会話学習は人らしいとすれば「その補助化学療法は人らしい」ということは成り立つ fact18: もしも「その補助化学療法は一等地であるけどスクラムでない」ということは間違いだとしたらこのエイトマクロはスクラムでない
fact7 & fact8 -> int1: その補助化学療法は所狭くてまたスクラムである; int1 & fact12 -> hypothesis;
fact7 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact12 -> hypothesis;
このエイトマクロは所狭くない
fact19 -> int2: その補助化学療法は人らしいとすれば「それは一等地であるし加えてスクラムでない」ということは誤りである; fact23 -> int3: 仮に「その英会話学習は調べ易くないけれど進捗状況だ」ということは偽であるとしたら人らしい; fact22 -> int4: 「「旨くないしダーチャでない」ということは嘘な」ものはある;
$facts$ = fact1: もし仮になんらかの物は賢くないとすれば「それは進捗状況でないしおまけにそれは調べ易くない」ということは本当でない fact2: その英会話学習は賢くないとしたら「調べ易くないけど進捗状況である」ということは間違っている fact3: その補助化学療法は冗談めかす fact4: もしもとあるものはダーチャでないとすると「旨いししかも賢い」ということは成り立たない fact5: もし仮に「なんらかの物は旨くてかつ賢い」ということは偽であるとしたら「賢くない」ということは確かである fact6: その補助化学療法が冗談めかすし凍て付くならそれは再仕上げしない fact7: その補助化学療法は所狭し fact8: その補助化学療法はスクラムである fact9: もし「何らかの物は所狭しということはないしかつスクラムでない」ということは成り立たないなら人らしい fact10: その補助化学療法は凍て付く fact11: もしその補助化学療法が再仕上げしないならばそれはダーチャでないけど低温機である fact12: 仮にその補助化学療法が所狭ししかつスクラムだとすればその英会話学習は人らしくない fact13: もしも「あるものは調べ易いということはない一方でそれは進捗状況だ」ということは成り立たないならば「それは人らしい」ということは成り立つ fact14: 「その平安末は旨くないし更にダーチャでない」ということは偽である fact15: なにかは人らしいとすると「一等地だ一方でスクラムでない」ということは間違いだ fact16: もしもなにかは一等地であるとしたら「所狭くないしかつスクラムでない」ということは事実と異なる fact17: もしもその英会話学習は人らしいとすれば「その補助化学療法は人らしい」ということは成り立つ fact18: もしも「その補助化学療法は一等地であるけどスクラムでない」ということは間違いだとしたらこのエイトマクロはスクラムでない ; $hypothesis$ = その英会話学習は人らしくない ; $proof$ = 
fact7 & fact8 -> int1: その補助化学療法は所狭くてまたスクラムである; int1 & fact12 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物は賢くないとすれば「それは進捗状況でないしおまけにそれは調べ易くない」ということは本当でない
事実2: その英会話学習は賢くないとしたら「調べ易くないけど進捗状況である」ということは間違っている
事実3: その補助化学療法は冗談めかす
事実4: もしもとあるものはダーチャでないとすると「旨いししかも賢い」ということは成り立たない
事実5: もし仮に「なんらかの物は旨くてかつ賢い」ということは偽であるとしたら「賢くない」ということは確かである
事実6: その補助化学療法が冗談めかすし凍て付くならそれは再仕上げしない
事実7: その補助化学療法は所狭し
事実8: その補助化学療法はスクラムである
事実9: もし「何らかの物は所狭しということはないしかつスクラムでない」ということは成り立たないなら人らしい
事実10: その補助化学療法は凍て付く
事実11: もしその補助化学療法が再仕上げしないならばそれはダーチャでないけど低温機である
事実12: 仮にその補助化学療法が所狭ししかつスクラムだとすればその英会話学習は人らしくない
事実13: もしも「あるものは調べ易いということはない一方でそれは進捗状況だ」ということは成り立たないならば「それは人らしい」ということは成り立つ
事実14: 「その平安末は旨くないし更にダーチャでない」ということは偽である
事実15: なにかは人らしいとすると「一等地だ一方でスクラムでない」ということは間違いだ
事実16: もしもなにかは一等地であるとしたら「所狭くないしかつスクラムでない」ということは事実と異なる
事実17: もしもその英会話学習は人らしいとすれば「その補助化学療法は人らしい」ということは成り立つ
事実18: もしも「その補助化学療法は一等地であるけどスクラムでない」ということは間違いだとしたらこのエイトマクロはスクラムでない

仮説: その英会話学習は人らしくない
1. 事実7と事実8から、推論1: "その補助化学療法は所狭くてまたスクラムである"が導かれる
2. 推論1と事実12から、仮説が導かれる

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