その障害基礎年金は四角四面でない
fact1: もしも「「「灰汁抜きするし加えて狡賢くない」ということは事実である」ということは誤っている」物があるならばあの見込み額は狡賢い fact2: 「あの射程外は憎しということはなくて更に寒しない」ということは成り立たない fact3: 「「灰汁抜きするけど狡賢くない」ということは成り立たない」物はある fact4: 「あの射程外は憎しということはなくてそれにそれは寒しない」ということは事実と異なるならその障害基礎年金は憎しない fact5: 「「四角四面であるし更に隣り合わせるということはない」ということは間違っている」ものはある fact6: 仮にとある物はホールドしないとすれば「それは四角四面でなくてそれは隣り合わせる」ということは誤りだ fact7: もしその見込み額が寒しない一方で狡賢いとすればあの障害基礎年金は四角四面でない fact8: 仮にこのフクシアが隣り合わせるということはないならその見込み額は寒しない fact9: もしも「とあるものは四角四面でないけど隣り合わせる」ということは成り立たないならば四角四面だ fact10: 仮にとある物は合わせ辛いとしたら「四角四面でないし加えて狡賢い」ということは事実でない fact11: 仮にこのフクシアが狡賢いとするとその障害基礎年金は隣り合わせないけれどそれは寒し fact12: あるものは灰汁抜きするけどそれは狡賢くない fact13: もし仮にその見込み額が隣り合わせないならこのフクシアは灰汁抜きするし加えてホールドする fact14: もし仮に「このフクシアはホールドする」ということは確かだとすればその見込み額は寒しない fact15: このフクシアはホールドするか隣り合わせないかまたは両方だ fact16: もし仮にこのフクシアは灰汁抜きするとすれば「その障害基礎年金は灰汁抜きする」ということは本当だ fact17: もしも「なんらかのものは寒ししさらに狡賢い」ということは間違いだとすればそれはホールドしない fact18: その見込み額が合わせ辛くなくてそれが灰汁抜きしないならばあのフクシアは狡賢い
fact15 & fact14 & fact8 -> int1: その見込み額は寒しない; fact3 & fact1 -> int2: その見込み額は狡賢い; int1 & int2 -> int3: その見込み額は寒しないけど狡賢い; int3 & fact7 -> hypothesis;
fact15 & fact14 & fact8 -> int1: ¬{C}{c}; fact3 & fact1 -> int2: {D}{c}; int1 & int2 -> int3: (¬{C}{c} & {D}{c}); int3 & fact7 -> hypothesis;
その障害基礎年金は四角四面である
$facts$ = fact1: もしも「「「灰汁抜きするし加えて狡賢くない」ということは事実である」ということは誤っている」物があるならばあの見込み額は狡賢い fact2: 「あの射程外は憎しということはなくて更に寒しない」ということは成り立たない fact3: 「「灰汁抜きするけど狡賢くない」ということは成り立たない」物はある fact4: 「あの射程外は憎しということはなくてそれにそれは寒しない」ということは事実と異なるならその障害基礎年金は憎しない fact5: 「「四角四面であるし更に隣り合わせるということはない」ということは間違っている」ものはある fact6: 仮にとある物はホールドしないとすれば「それは四角四面でなくてそれは隣り合わせる」ということは誤りだ fact7: もしその見込み額が寒しない一方で狡賢いとすればあの障害基礎年金は四角四面でない fact8: 仮にこのフクシアが隣り合わせるということはないならその見込み額は寒しない fact9: もしも「とあるものは四角四面でないけど隣り合わせる」ということは成り立たないならば四角四面だ fact10: 仮にとある物は合わせ辛いとしたら「四角四面でないし加えて狡賢い」ということは事実でない fact11: 仮にこのフクシアが狡賢いとするとその障害基礎年金は隣り合わせないけれどそれは寒し fact12: あるものは灰汁抜きするけどそれは狡賢くない fact13: もし仮にその見込み額が隣り合わせないならこのフクシアは灰汁抜きするし加えてホールドする fact14: もし仮に「このフクシアはホールドする」ということは確かだとすればその見込み額は寒しない fact15: このフクシアはホールドするか隣り合わせないかまたは両方だ fact16: もし仮にこのフクシアは灰汁抜きするとすれば「その障害基礎年金は灰汁抜きする」ということは本当だ fact17: もしも「なんらかのものは寒ししさらに狡賢い」ということは間違いだとすればそれはホールドしない fact18: その見込み額が合わせ辛くなくてそれが灰汁抜きしないならばあのフクシアは狡賢い ; $hypothesis$ = その障害基礎年金は四角四面でない ; $proof$ = 
fact15 & fact14 & fact8 -> int1: その見込み額は寒しない; fact3 & fact1 -> int2: その見込み額は狡賢い; int1 & int2 -> int3: その見込み額は寒しないけど狡賢い; int3 & fact7 -> hypothesis; __PROVED__
事実1: もしも「「「灰汁抜きするし加えて狡賢くない」ということは事実である」ということは誤っている」物があるならばあの見込み額は狡賢い
事実2: 「あの射程外は憎しということはなくて更に寒しない」ということは成り立たない
事実3: 「「灰汁抜きするけど狡賢くない」ということは成り立たない」物はある
事実4: 「あの射程外は憎しということはなくてそれにそれは寒しない」ということは事実と異なるならその障害基礎年金は憎しない
事実5: 「「四角四面であるし更に隣り合わせるということはない」ということは間違っている」ものはある
事実6: 仮にとある物はホールドしないとすれば「それは四角四面でなくてそれは隣り合わせる」ということは誤りだ
事実7: もしその見込み額が寒しない一方で狡賢いとすればあの障害基礎年金は四角四面でない
事実8: 仮にこのフクシアが隣り合わせるということはないならその見込み額は寒しない
事実9: もしも「とあるものは四角四面でないけど隣り合わせる」ということは成り立たないならば四角四面だ
事実10: 仮にとある物は合わせ辛いとしたら「四角四面でないし加えて狡賢い」ということは事実でない
事実11: 仮にこのフクシアが狡賢いとするとその障害基礎年金は隣り合わせないけれどそれは寒し
事実12: あるものは灰汁抜きするけどそれは狡賢くない
事実13: もし仮にその見込み額が隣り合わせないならこのフクシアは灰汁抜きするし加えてホールドする
事実14: もし仮に「このフクシアはホールドする」ということは確かだとすればその見込み額は寒しない
事実15: このフクシアはホールドするか隣り合わせないかまたは両方だ
事実16: もし仮にこのフクシアは灰汁抜きするとすれば「その障害基礎年金は灰汁抜きする」ということは本当だ
事実17: もしも「なんらかのものは寒ししさらに狡賢い」ということは間違いだとすればそれはホールドしない
事実18: その見込み額が合わせ辛くなくてそれが灰汁抜きしないならばあのフクシアは狡賢い

仮説: その障害基礎年金は四角四面でない
1. 事実15と事実14と事実8から、推論1: "その見込み額は寒しない"が導かれる
2. 事実3と事実1から、推論2: "その見込み額は狡賢い"が導かれる
3. 推論1と推論2から、推論3: "その見込み額は寒しないけど狡賢い"が導かれる
4. 推論3と事実7から、仮説が導かれる

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