このＣＣＲは一般住宅でその上売却処理である
fact1: その普通商人は課税所得額でない fact2: このＣＣＲはばら蒔かないがしかし同情すれば売却処理だ fact3: この成果指標は代金引き換えでない fact4: この入会後は赤ランプだ fact5: 「もしなんらかの物は代金引き換えであるということはないとしたら「それは一般住宅でおまけにそれは売却処理である」ということは誤りだ」ということは本当だ fact6: もしもあの産出量は赤ランプでないなら「この入会後は塩っ辛いししかも一切手だ」ということは事実でない fact7: このＣＣＲは安堵し難いししかもそれは塩っ辛い fact8: もしもなんらかのものは同情しないとすれば「それは薄明るい物で一切手だ」ということは成り立たない fact9: 「「この成果指標は同情するということはないけれどばら蒔く」ということは成り立たない」ということは本当だとすればあのＣＣＲは同情するということはない fact10: 滞り易くない物は鬱陶しくておまけにおっそろし fact11: この入会後は代金引き換えだ fact12: 仮に何かは課税所得額でないとすれば「それは同情するということはないしまたそれはばら蒔く」ということは誤りだ fact13: なんらかの物は赤ランプであるかまたはばら蒔く fact14: もし仮に何らかのものが一切手であるか薄明るくないかどちらもであるとすればこのＣＣＲは一般住宅だ fact15: その普通商人が課税所得額でないならこのＣＣＲはばら蒔くということはないけれど同情する fact16: 仮に「なんらかの物は滲み出さない」ということは確かであるならば「「この入会後は浸出するということはないししかも御仕えしない」ということは成り立つということはない」ということは成り立つ fact17: 「同情するしおまけに売却処理な」物はある fact18: もしあの産出量が鬱陶しいとしたらこの成果指標は目新しいけれど手助けしない fact19: もし目新しいものが手助けしないとすると課税所得額でない fact20: もし仮に「「心無いかもしくは腑甲斐無くないかあるいは両方ともだ」ということは成り立たない」物があるとすればあの普通商人は滲み出すということはない fact21: あのアミノ酸製剤は粉っぽくないなら「それは心無いかまたは腑甲斐無くない」ということは誤りである fact22: あの産出量は一般住宅でないけど心無い fact23: 「その普通商人が課税所得額だしさらにそれは一切手だ」ということは成り立たない fact24: あのアミノ酸製剤は粉っぽいということはない fact25: もしもこの成果指標は代金引き換えでないとしたら「あの産出量が赤ランプだしさらにそれは塩っ辛い」ということは成り立たない fact26: もしも「「「赤ランプだし塩っ辛い」ということは成り立つ」ということは偽である」ものがあればこの入会後は一切手である fact27: 「「売却処理だしまたばら蒔く」ということは嘘な」ものはある
fact25 & fact3 -> int1: 「あの産出量は赤ランプで塩っ辛い」ということは誤りである; int1 -> int2: 「「赤ランプであるし更に塩っ辛い」ということは嘘である」ものはある; int2 & fact26 -> int3: この入会後は一切手だ; int3 -> int4: この入会後は一切手であるかそれは薄明るくないか両方ともである; int4 -> int5: 「一切手であるかあるいは薄明るいということはないかもしくはどちらもな」ものはある; int5 & fact14 -> int6: 「このＣＣＲは一般住宅だ」ということは正しい; fact15 & fact1 -> int7: このＣＣＲはばら蒔くということはないが同情する; int7 & fact2 -> int8: このＣＣＲは売却処理だ; int6 & int8 -> hypothesis;
「このＣＣＲは一般住宅でそれに売却処理だ」ということは間違いである
fact38 -> int9: もし仮にこのＣＣＲは代金引き換えでないなら「一般住宅であるしさらに売却処理である」ということは本当でない; fact30 -> int10: 仮に「このＣＣＲは同情しない」ということは真実だとしたら「薄明るくて一切手である」ということは本当でない; fact37 -> int11: もしこの成果指標は課税所得額でないとしたら「それは同情しないがばら蒔く」ということは事実でない; fact29 -> int12: もし仮にこの成果指標は目新しい一方で手助けしないとすると課税所得額でない; fact34 -> int13: もし仮にあの産出量が滞り易くないならそれは鬱陶しいしおっそろし; fact28 & fact31 -> int14: 「あのアミノ酸製剤は心無いかあるいは腑甲斐無くないかもしくは両方だ」ということは嘘だ; int14 -> int15: 「「心無いかまたは腑甲斐無くないかあるいはどちらもである」ということは成り立たない」物はある; int15 & fact36 -> int16: その普通商人は滲み出さない; int16 -> int17: 「滲み出さない」物はある; int17 & fact33 -> int18: 「この入会後が浸出しないしさらに御仕えしない」ということは偽である; int18 -> int19: 「「浸出しなくて御仕えしない」ということは成り立たない」ものはある;
$facts$ = fact1: その普通商人は課税所得額でない fact2: このＣＣＲはばら蒔かないがしかし同情すれば売却処理だ fact3: この成果指標は代金引き換えでない fact4: この入会後は赤ランプだ fact5: 「もしなんらかの物は代金引き換えであるということはないとしたら「それは一般住宅でおまけにそれは売却処理である」ということは誤りだ」ということは本当だ fact6: もしもあの産出量は赤ランプでないなら「この入会後は塩っ辛いししかも一切手だ」ということは事実でない fact7: このＣＣＲは安堵し難いししかもそれは塩っ辛い fact8: もしもなんらかのものは同情しないとすれば「それは薄明るい物で一切手だ」ということは成り立たない fact9: 「「この成果指標は同情するということはないけれどばら蒔く」ということは成り立たない」ということは本当だとすればあのＣＣＲは同情するということはない fact10: 滞り易くない物は鬱陶しくておまけにおっそろし fact11: この入会後は代金引き換えだ fact12: 仮に何かは課税所得額でないとすれば「それは同情するということはないしまたそれはばら蒔く」ということは誤りだ fact13: なんらかの物は赤ランプであるかまたはばら蒔く fact14: もし仮に何らかのものが一切手であるか薄明るくないかどちらもであるとすればこのＣＣＲは一般住宅だ fact15: その普通商人が課税所得額でないならこのＣＣＲはばら蒔くということはないけれど同情する fact16: 仮に「なんらかの物は滲み出さない」ということは確かであるならば「「この入会後は浸出するということはないししかも御仕えしない」ということは成り立つということはない」ということは成り立つ fact17: 「同情するしおまけに売却処理な」物はある fact18: もしあの産出量が鬱陶しいとしたらこの成果指標は目新しいけれど手助けしない fact19: もし目新しいものが手助けしないとすると課税所得額でない fact20: もし仮に「「心無いかもしくは腑甲斐無くないかあるいは両方ともだ」ということは成り立たない」物があるとすればあの普通商人は滲み出すということはない fact21: あのアミノ酸製剤は粉っぽくないなら「それは心無いかまたは腑甲斐無くない」ということは誤りである fact22: あの産出量は一般住宅でないけど心無い fact23: 「その普通商人が課税所得額だしさらにそれは一切手だ」ということは成り立たない fact24: あのアミノ酸製剤は粉っぽいということはない fact25: もしもこの成果指標は代金引き換えでないとしたら「あの産出量が赤ランプだしさらにそれは塩っ辛い」ということは成り立たない fact26: もしも「「「赤ランプだし塩っ辛い」ということは成り立つ」ということは偽である」ものがあればこの入会後は一切手である fact27: 「「売却処理だしまたばら蒔く」ということは嘘な」ものはある ; $hypothesis$ = このＣＣＲは一般住宅でその上売却処理である ; $proof$ = 
fact25 & fact3 -> int1: 「あの産出量は赤ランプで塩っ辛い」ということは誤りである; int1 -> int2: 「「赤ランプであるし更に塩っ辛い」ということは嘘である」ものはある; int2 & fact26 -> int3: この入会後は一切手だ; int3 -> int4: この入会後は一切手であるかそれは薄明るくないか両方ともである; int4 -> int5: 「一切手であるかあるいは薄明るいということはないかもしくはどちらもな」ものはある; int5 & fact14 -> int6: 「このＣＣＲは一般住宅だ」ということは正しい; fact15 & fact1 -> int7: このＣＣＲはばら蒔くということはないが同情する; int7 & fact2 -> int8: このＣＣＲは売却処理だ; int6 & int8 -> hypothesis; __PROVED__
事実1: その普通商人は課税所得額でない
事実2: このＣＣＲはばら蒔かないがしかし同情すれば売却処理だ
事実3: この成果指標は代金引き換えでない
事実4: この入会後は赤ランプだ
事実5: 「もしなんらかの物は代金引き換えであるということはないとしたら「それは一般住宅でおまけにそれは売却処理である」ということは誤りだ」ということは本当だ
事実6: もしもあの産出量は赤ランプでないなら「この入会後は塩っ辛いししかも一切手だ」ということは事実でない
事実7: このＣＣＲは安堵し難いししかもそれは塩っ辛い
事実8: もしもなんらかのものは同情しないとすれば「それは薄明るい物で一切手だ」ということは成り立たない
事実9: 「「この成果指標は同情するということはないけれどばら蒔く」ということは成り立たない」ということは本当だとすればあのＣＣＲは同情するということはない
事実10: 滞り易くない物は鬱陶しくておまけにおっそろし
事実11: この入会後は代金引き換えだ
事実12: 仮に何かは課税所得額でないとすれば「それは同情するということはないしまたそれはばら蒔く」ということは誤りだ
事実13: なんらかの物は赤ランプであるかまたはばら蒔く
事実14: もし仮に何らかのものが一切手であるか薄明るくないかどちらもであるとすればこのＣＣＲは一般住宅だ
事実15: その普通商人が課税所得額でないならこのＣＣＲはばら蒔くということはないけれど同情する
事実16: 仮に「なんらかの物は滲み出さない」ということは確かであるならば「「この入会後は浸出するということはないししかも御仕えしない」ということは成り立つということはない」ということは成り立つ
事実17: 「同情するしおまけに売却処理な」物はある
事実18: もしあの産出量が鬱陶しいとしたらこの成果指標は目新しいけれど手助けしない
事実19: もし目新しいものが手助けしないとすると課税所得額でない
事実20: もし仮に「「心無いかもしくは腑甲斐無くないかあるいは両方ともだ」ということは成り立たない」物があるとすればあの普通商人は滲み出すということはない
事実21: あのアミノ酸製剤は粉っぽくないなら「それは心無いかまたは腑甲斐無くない」ということは誤りである
事実22: あの産出量は一般住宅でないけど心無い
事実23: 「その普通商人が課税所得額だしさらにそれは一切手だ」ということは成り立たない
事実24: あのアミノ酸製剤は粉っぽいということはない
事実25: もしもこの成果指標は代金引き換えでないとしたら「あの産出量が赤ランプだしさらにそれは塩っ辛い」ということは成り立たない
事実26: もしも「「「赤ランプだし塩っ辛い」ということは成り立つ」ということは偽である」ものがあればこの入会後は一切手である
事実27: 「「売却処理だしまたばら蒔く」ということは嘘な」ものはある

仮説: このＣＣＲは一般住宅でその上売却処理である
1. 事実25と事実3から、推論1: "「あの産出量は赤ランプで塩っ辛い」ということは誤りである"が導かれる
2. 推論1から、推論2: "「「赤ランプであるし更に塩っ辛い」ということは嘘である」ものはある"が導かれる
3. 推論2と事実26から、推論3: "この入会後は一切手だ"が導かれる
4. 推論3から、推論4: "この入会後は一切手であるかそれは薄明るくないか両方ともである"が導かれる
5. 推論4から、推論5: "「一切手であるかあるいは薄明るいということはないかもしくはどちらもな」ものはある"が導かれる
6. 推論5と事実14から、推論6: "「このＣＣＲは一般住宅だ」ということは正しい"が導かれる
7. 事実15と事実1から、推論7: "このＣＣＲはばら蒔くということはないが同情する"が導かれる
8. 推論7と事実2から、推論8: "このＣＣＲは売却処理だ"が導かれる
9. 推論6と推論8から、仮説が導かれる

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