その元利合計は聡くない
fact1: 取得し易いものは第一条件である fact2: 「あの状況認識は切れ易くないかそれは聡い」ということは成り立たないとするとその元利合計は聡くない fact3: もし「あの状況認識はみっとも可愛いがしかし心優しくない」ということは成り立たないとしたらその元利合計は等し fact4: もしも「その行政手続き法は出来得ない」ということは正しいとしたら「あの透明水彩絵の具はキルティングだけれど甘ったるくない」ということは成り立たない fact5: 「あの状況認識はみっとも可愛いけれど心優しくない」ということは嘘である fact6: あるものが等しなら聡い fact7: もしも「あの状況認識は等し」ということは真実でないならその元利合計はみっとも可愛い fact8: もしもとある物が刷り込まないなら出来得なくてアメリカらしい fact9: 仮にあの調達先が出来得ないがしかしアメリカらしいならその行政手続き法は出来得ない fact10: 「あの透明水彩絵の具はキルティングだけれど甘ったるくない」ということは間違いならあの謎は等しない
fact3 & fact5 -> int1: その元利合計は等し; fact6 -> int2: もし仮にその元利合計は等しとすれば「それは聡い」ということは真実である; int1 & int2 -> hypothesis;
「その元利合計は聡くない」ということは成り立つ
fact15 -> int3: もしも「あの調達先は刷り込まない」ということは正しいとすれば出来得なくて加えてアメリカらしい;
$facts$ = fact1: 取得し易いものは第一条件である fact2: 「あの状況認識は切れ易くないかそれは聡い」ということは成り立たないとするとその元利合計は聡くない fact3: もし「あの状況認識はみっとも可愛いがしかし心優しくない」ということは成り立たないとしたらその元利合計は等し fact4: もしも「その行政手続き法は出来得ない」ということは正しいとしたら「あの透明水彩絵の具はキルティングだけれど甘ったるくない」ということは成り立たない fact5: 「あの状況認識はみっとも可愛いけれど心優しくない」ということは嘘である fact6: あるものが等しなら聡い fact7: もしも「あの状況認識は等し」ということは真実でないならその元利合計はみっとも可愛い fact8: もしもとある物が刷り込まないなら出来得なくてアメリカらしい fact9: 仮にあの調達先が出来得ないがしかしアメリカらしいならその行政手続き法は出来得ない fact10: 「あの透明水彩絵の具はキルティングだけれど甘ったるくない」ということは間違いならあの謎は等しない ; $hypothesis$ = その元利合計は聡くない ; $proof$ = 
fact3 & fact5 -> int1: その元利合計は等し; fact6 -> int2: もし仮にその元利合計は等しとすれば「それは聡い」ということは真実である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 取得し易いものは第一条件である
事実2: 「あの状況認識は切れ易くないかそれは聡い」ということは成り立たないとするとその元利合計は聡くない
事実3: もし「あの状況認識はみっとも可愛いがしかし心優しくない」ということは成り立たないとしたらその元利合計は等し
事実4: もしも「その行政手続き法は出来得ない」ということは正しいとしたら「あの透明水彩絵の具はキルティングだけれど甘ったるくない」ということは成り立たない
事実5: 「あの状況認識はみっとも可愛いけれど心優しくない」ということは嘘である
事実6: あるものが等しなら聡い
事実7: もしも「あの状況認識は等し」ということは真実でないならその元利合計はみっとも可愛い
事実8: もしもとある物が刷り込まないなら出来得なくてアメリカらしい
事実9: 仮にあの調達先が出来得ないがしかしアメリカらしいならその行政手続き法は出来得ない
事実10: 「あの透明水彩絵の具はキルティングだけれど甘ったるくない」ということは間違いならあの謎は等しない

仮説: その元利合計は聡くない
1. 事実3と事実5から、推論1: "その元利合計は等し"が導かれる
2. 事実6から、推論2: "もし仮にその元利合計は等しとすれば「それは聡い」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が否定される

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